{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:33:45Z","timestamp":1764783225852,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262237"},{"type":"electronic","value":"9783540315421"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11496137_9","type":"book-chapter","created":{"date-parts":[[2010,9,25]],"date-time":"2010-09-25T19:14:24Z","timestamp":1285442064000},"page":"122-137","source":"Crossref","is-referenced-by-count":21,"title":["Searching for High-Value Rare Events with Uncheatable Grid Computing"],"prefix":"10.1007","author":[{"given":"Wenliang","family":"Du","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael T.","family":"Goodrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Achlioptas, D., Gomes, C.P., Kautz, H.A., Selman, B.: Generating satisfiable problem instances. In: AAAI\/IAAI, pp. 256\u2013261 (2000)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/3-540-48910-X_28","volume-title":"Advances in Cryptology - EUROCRYPT \u201999","author":"C. Cachin","year":"1999","unstructured":"Cachin, C., Micali, S., Stadler, M.: Computationally private information retrieval with polylogarithmic communication. In: Stern, J. (ed.) EUROCRYPT 1999. LNCS, vol.\u00a01592, pp. 402\u2013414. Springer, Heidelberg (1999)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Du, W., Jia, J., Mangal, M., Murugesan, M.: Uncheatable grid computing. In: The 24th International Conference on Distributed Computing Systems (ICDCS 2004), Tokyo, Japan, March 23\u201326, pp. 4\u201311 (2004)","DOI":"10.1109\/ICDCS.2004.1281562"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/3-540-45353-9_31","volume-title":"Topics in Cryptology - CT-RSA 2001","author":"P. Golle","year":"2001","unstructured":"Golle, P., Mironov, I.: Uncheatable distributed computations. In: Naccache, D. (ed.) CT-RSA 2001. LNCS, vol.\u00a02020, pp. 425\u2013440. Springer, Heidelberg (2001)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/3-540-46088-8_23","volume-title":"Financial Cryptography","author":"P. Golle","year":"2002","unstructured":"Golle, P., Stubblebine, S.: Secure distributed computing in a commercial environment. In: Syverson, P.F. (ed.) FC 2001. LNCS, vol.\u00a02339, pp. 289\u2013304. Springer, Heidelberg (2002)"},{"key":"9_CR6","volume-title":"Algorithm Design: Foundations, Analysis, and Internet Examples","author":"M.T. Goodrich","year":"2002","unstructured":"Goodrich, M.T., Tamassia, R.: Algorithm Design: Foundations, Analysis, and Internet Examples. John Wiley & Sons, New York (2002)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-68671-1_6","volume-title":"Mobile Agents and Security","author":"F. Hohl","year":"1998","unstructured":"Hohl, F.: Time limited blackbox security: Protecting mobile agents from malicious hosts. In: Vigna, G. (ed.) Mobile Agents and Security. LNCS, vol.\u00a01419, pp. 92\u2013113. Springer, Heidelberg (1998)"},{"key":"9_CR8","unstructured":"Kahney, L.: Cheaters bow to peer pressure. Wired Magazine (February 15, 2001)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Kautz, H.A., Ruan, Y., Achlioptas, D., Gomes, C.P., Selman, B., Stickel, M.E.: Balance and filtering in structured satisfiable problems. In: IJCAI, pp. 351\u2013358 (2001)","DOI":"10.1016\/S1571-0653(04)00310-5"},{"issue":"1-2","key":"9_CR10","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1006326723002","volume":"24","author":"F. Massacci","year":"2000","unstructured":"Massacci, F., Marraro, L.: Logical cryptanalysis as a SAT problem: The encoding of the Data Encryption Standard. Journal of Automated Reasoning\u00a024(1-2), 165\u2013203 (2000)","journal-title":"Journal of Automated Reasoning"},{"key":"9_CR11","unstructured":"Monrose, F., Wykoff, P.: Aviel D. Rubin. Distributed execution with remote audit. In: Proceedings of ISOC Symposium on Network and Distributed System Security, February 1999, pp. 103\u2013113 (1999)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-68671-1_4","volume-title":"Mobile Agents and Security","author":"T. Sander","year":"1998","unstructured":"Sander, T., Tschudin, C.F.: Protecting mobile agents against malicious hosts, springerverlag. In: Vigna, G. (ed.) Mobile Agents and Security. LNCS, vol.\u00a01419, pp. 44\u201360. Springer, Heidelberg (1998)"},{"key":"9_CR13","unstructured":"Szajda, D., Lawson, B., Owen, J.: Hardening functions for large scale distributed computations. In: IEEE Symposium on Security and Privacy (2003)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Mobile Object Systems Towards the Programmable Internet","author":"G. Vigna","year":"1997","unstructured":"Vigna, G.: Protecting mobile agents through tracing. In: Tschudin, C.F., Vitek, J. (eds.) MOS 1996. LNCS, vol.\u00a01222. Springer, Heidelberg (1997)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Mobile Agents and Security","year":"1998","unstructured":"Vigna, G. (ed.): Mobile Agents and Security. LNCS, vol.\u00a01419. Springer, Heidelberg (1998)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/3-540-45022-X_39","volume-title":"Automata, Languages and Programming","author":"R. Ostrovsky","year":"2000","unstructured":"Ostrovsky, R., Aiello, W., Bhatt, S., Rajagopalan, S.: Fast verification of any remote procedure call: short witness-indistinguishable one-round proofs for np. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 463\u2013474. Springer, Heidelberg (2000)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Schneider, F., Minsky, Y., van Renesse, R., Stoller, S.D.: Cryptographic support for fault-tolerant distributed computing. In: Proceedings of Seventh ACM SIGOPS European Workshop, System Support for Worldwide Applications, Connemara, Ireland, pp. 109\u2013114 (September 1996)","DOI":"10.1145\/504450.504472"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/3-540-48749-2_12","volume-title":"Secure Internet Programming","author":"B.S. Yee","year":"1999","unstructured":"Yee, B.S.: A sanctuary for mobile agents. In: Vitek, J. (ed.) Secure Internet Programming. LNCS, vol.\u00a01603, pp. 261\u2013273. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Applied Cryptography and Network Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11496137_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T02:18:22Z","timestamp":1740536302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11496137_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262237","9783540315421"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11496137_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}