{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:36:05Z","timestamp":1742387765834},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540300076"},{"type":"electronic","value":"9783540314837"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11580850_9","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T00:50:36Z","timestamp":1133830236000},"page":"146-162","source":"Crossref","is-referenced-by-count":7,"title":["A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange"],"prefix":"10.1007","author":[{"given":"Konstantinos","family":"Chatzikokolakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Rabin, M.: How to exchange secrets by oblivious transfer. Technical Memo TR-81, Aiken Computation Laboratory, Harvard University (1981)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1145\/3812.3818","volume":"28","author":"S. Even","year":"1985","unstructured":"Even, S., Goldreich, O., Lempel, A.: A randomized protocol for signing contracts. Commun. ACM\u00a028, 637\u2013647 (1985)","journal-title":"Commun. ACM"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1145\/336992.337028","volume-title":"Proceedings of the 1st ACM conference on Electronic commerce","author":"M. Naor","year":"1999","unstructured":"Naor, M., Pinkas, B., Sumner, R.: Privacy preserving auctions and mechanism design. In: Proceedings of the 1st ACM conference on Electronic commerce, Colorado, pp. 129\u2013139. ACM Press, New York (1999)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-45605-8_3","volume-title":"Process Algebra and Probabilistic Methods. Performance Modeling and Verification","author":"A. Aldini","year":"2002","unstructured":"Aldini, A., Gorrieri, R.: Security analysis of a probabilistic non-repudiation protocol. In: Hermanns, H., Segala, R. (eds.) PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol.\u00a02399, p. 17. Springer, Heidelberg (2002)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-46432-8_10","volume-title":"Foundation of Software Science and Computation Structures","author":"O.M. Herescu","year":"2000","unstructured":"Herescu, O.M., Palamidessi, C.: Probabilistic asynchronous \u03c0-calculus. In: Tiuryn, J. (ed.) FOSSACS 2000. LNCS, vol.\u00a01784, pp. 146\u2013160. Springer, Heidelberg (2000)"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R.D. Nicola","year":"1984","unstructured":"Nicola, R.D., Hennessy, M.C.B.: Testing equivalences for processes. Theoretical Computer Science\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Abadi, M., Gordon, A.: A calculus for cryptographic protocols: The spi calculus. Information and Computation\u00a0148, 1\u201370 (1999)","journal-title":"Information and Computation"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Chatzikokolakis, K., Palamidessi, C.: A framework for analyzing probabilistic protocols and its application to the partial secrets exchange. Report version (2005), available at http:\/\/www.lix.polytechnique.fr\/~catuscia\/papers\/PartialSecrets\/report.pdf","DOI":"10.1007\/11580850_9"},{"key":"9_CR9","first-page":"250","volume":"2","author":"R. Segala","year":"1995","unstructured":"Segala, R., Lynch, N.: Probabilistic simulations for probabilistic processes. Nordic Journal of Computing\u00a02, 250\u2013273 (1995)","journal-title":"Nordic Journal of Computing"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Palamidessi, C., Herescu, O.M.: A randomized encoding of the pi-calculus with mixed choice. In: Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science, pp. 537\u2013549 (2002)","DOI":"10.1007\/978-0-387-35608-2_44"},{"key":"9_CR11","unstructured":"Jonsson, B., Larsen, K.G., Yi, W.: Probabilistic extensions of process algebras. In: Handbook of Process Algebras (2001)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-40981-6_9","volume-title":"Formal Aspects of Security","author":"G. Norman","year":"2003","unstructured":"Norman, G., Shmatikov, V.: Analysis of probabilistic contract signing. In: Abdallah, A.E., Ryan, P.Y.A., Schneider, S. (eds.) FASec 2002. LNCS, vol.\u00a02629, pp. 81\u201396. Springer, Heidelberg (2003)"},{"key":"9_CR13","unstructured":"Norman, G., Shmatikov, V.: Analysis of probabilistic contract signing. Formal Aspects of Computing (2005) (to appear)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"L. Christoff","year":"1992","unstructured":"Christoff, L., Christoff, I.: Efficient algorithms for verification of equivalences for probabilistic processes. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575, Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11580850_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T06:58:22Z","timestamp":1586588302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11580850_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540300076","9783540314837"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11580850_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}