{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T15:05:42Z","timestamp":1781708742142,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540665878","type":"print"},{"value":"9783540481195","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48119-2_43","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T01:23:00Z","timestamp":1188350580000},"page":"776-793","source":"Crossref","is-referenced-by-count":31,"title":["Probabilistic Polynomial-Time Equivalence and Security Analysis"],"prefix":"10.1007","author":[{"given":"P.","family":"Lincoln","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Scedrovy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"43_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and A. Gordon. A calculus for cryptographic protocols: the spi calculus. In Proc. 4th ACM Conference on Computer and Communications Security, pages 36\u201347, 1997. Revised and expanded versions to appear in Information and Computation and as SRC Research Report 149 (January 1998).","DOI":"10.1145\/266420.266432"},{"issue":"1871","key":"43_CR2","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1098\/rspa.1989.0125","volume":"426","author":"M. Burrows","year":"1989","unstructured":"M. Burrows, M. Abadi, and R. Needham. A logic of authentication. Proceedings of the Royal Society, Series A, 426(1871):233\u2013271, 1989. Also appeared as SRC Research Report 39 and, in a shortened form, in ACM Transactions on Computer Systems 8, 1 (February 1990), 18-36.","journal-title":"Proceedings of the Royal Society"},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. In Proc. 17th ACM Symp. Principles of Programming Languages, pages 81\u201394, 1990.","DOI":"10.1145\/96709.96717"},{"key":"43_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Cryptology-CRYPTO\u2019 93","author":"M. Bellare","year":"1994","unstructured":"M. Bellare and P. Rogaway. Entity authentication and key distribution. In Advances in Cryptology-CRYPTO\u2019 93, Lecture Notes in Computer Science, Vol. 773, 1994."},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"M. Bellare and P. Rogaway. Provably secure session key distribution the three party case. In Proc. 27th ACM Symposium on the Theory of Computing, 1995.","DOI":"10.1145\/225058.225084"},{"key":"43_CR6","doi-asserted-by":"crossref","unstructured":"D. Dolev and A. Yao. On the security of public-key protocols. IEEE Transactions on Information Theory, 2(29), 1983.","DOI":"10.1109\/TIT.1983.1056650"},{"key":"43_CR7","unstructured":"A. Freier, P. Karlton, and P. Kocher. The SSL protocol version 3.0. draft-ietf-tls-ssl-version3-00.txt, November 18 1996."},{"issue":"2","key":"43_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF00197942","volume":"7","author":"R. Kemmerer","year":"1994","unstructured":"R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. J. Cryptology, 7(2):79\u2013130, 1994.","journal-title":"J. Cryptology"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"J.T. Kohl and B.C. Neuman. The Kerberos network authentication service (version 5). Internet Request For Comment RFC-1510, September 1993.","DOI":"10.17487\/rfc1510"},{"key":"43_CR10","doi-asserted-by":"crossref","unstructured":"J.T. Kohl, B.C. Neuman, and T.Y. Ts\u2019o. The evolution of the Kerberos authentication service, pages 78\u201394. IEEE Computer Society Press, 1994.","DOI":"10.17487\/rfc1510"},{"key":"43_CR11","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1016\/0022-0000(81)90036-2","volume":"22","author":"D. Kozen","year":"1981","unstructured":"D. Kozen. Semantics of probabilistic programs. Journal of Computer and System Sciences, 22:328\u2013350, 1981.","journal-title":"Journal of Computer and System Sciences"},{"key":"43_CR12","doi-asserted-by":"crossref","unstructured":"P.D. Lincoln, J.C. Mitchell, M. Mitchell, and A. Scedrov. A probabilistic poly-time framework for protocol analysis. In ACM Conf. Computer and Communication Security, 1998.","DOI":"10.1145\/288090.288117"},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"G. Lowe. Breaking and xing the Needham-Schroeder public-key protocol using CSP and FDR. In 2 nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61042-1_43"},{"key":"43_CR14","doi-asserted-by":"crossref","unstructured":"C. Meadows. Analyzing the Needham-Schroeder public-key protocol: a comparison of two approaches. In Proc. European Symposium On Research In Computer Security. Springer Verlag, 1996.","DOI":"10.21236\/ADA465136"},{"issue":"2","key":"43_CR15","first-page":"119","volume":"2","author":"R. Milner","year":"1992","unstructured":"R. Milner. Functions as processes. Math. Structures in Computer Science, 2(2):119\u2013141, 1992.","journal-title":"Math"},{"key":"43_CR16","unstructured":"J.C. Mitchell, M. Mitchell, and U. Stern. Automated analysis of cryptographic protocols using Mur\u2019. In Proc. IEEE Symp. Security and Privacy, pages 141\u2013151, 1997."},{"key":"43_CR17","doi-asserted-by":"crossref","unstructured":"J. Mitchell, M. Mitchell, and A. Scedrov. A linguistic characterization of bounded oracle computation and probabilistic polynomial time. In IEEE Symp. Foundations of Computer Science, 1998.","DOI":"10.1109\/SFCS.1998.743523"},{"issue":"12","key":"43_CR18","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"R.M. Needham","year":"1978","unstructured":"R.M. Needham and M.D. Schroeder. Using encryption for authentication in large networks of computers. Communications of the ACM, 21(12):993\u2013999, 1978.","journal-title":"Communications of the ACM"},{"key":"43_CR19","doi-asserted-by":"crossref","unstructured":"L.C. Paulson. Mechanized proofs for a recursive authentication protocol. In 10th IEEE Computer Security Foundations Workshop, pages 84\u201395, 1997.","DOI":"10.1109\/CSFW.1997.596790"},{"key":"43_CR20","doi-asserted-by":"crossref","unstructured":"L.C. Paulson. Proving properties of security protocols by induction. In 10th IEEE Computer Security Foundations Workshop, pages 70\u201383, 1997.","DOI":"10.1109\/CSFW.1997.596788"},{"key":"43_CR21","doi-asserted-by":"crossref","unstructured":"A. W. Roscoe. Modelling and verifying key-exchange protocols using CSP and FDR. In 8th IEEE Computer Security Foundations Workshop, pages 98\u2013107. IEEE Computer Soc Press, 1995.","DOI":"10.1109\/CSFW.1995.518556"},{"key":"43_CR22","doi-asserted-by":"crossref","unstructured":"S. Schneider. Security properties and CSP. In IEEE Symp. Security and Privacy, 1996.","DOI":"10.1109\/SECPRI.1996.502680"},{"key":"43_CR23","doi-asserted-by":"crossref","unstructured":"D. Volpano and G. Smith. Probabilistic noninterference in a concurrent language. In 11th IEEE Computer Security Foundations Workshop, pages 34\u201343. IEEE Computer Soc Press, 1998.","DOI":"10.1109\/CSFW.1998.683153"},{"key":"43_CR24","doi-asserted-by":"crossref","unstructured":"A. Yao. Theory and applications of trapdoor functions. In IEEE Foundations of Computer Science, pages 80\u201391, 1982.","DOI":"10.1109\/SFCS.1982.45"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48119-2_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:26:54Z","timestamp":1556818014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48119-2_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665878","9783540481195"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-48119-2_43","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}