{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:01:55Z","timestamp":1753884115088,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540562467"},{"type":"electronic","value":"9783540474883"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0013893","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:24:15Z","timestamp":1132730655000},"page":"77-101","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Separating the specification and implementation phases in cryptology"],"prefix":"10.1007","author":[{"given":"Marie-Jeanne","family":"Toussaint","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"M. Burrows, M. Abadi, and R. Needham. A Logic of Authentication. Technical Report 39, Digital \u2014 Systems Research Center (SRC), 1989.","DOI":"10.1145\/74850.74852"},{"key":"5_CR2","unstructured":"P. Bieber. Aspects Epist\u00e9miques des Protocoles Cryptographiques. PhD thesis, Universit\u00e9 Paul-Sabatier de Toulouse (Sciences), October 1989."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"E.F. Brickell, P.J. Lee, and Y. Yacobi. Secure Audio Teleconference. In C. Pomerance, editor, Lecture Notes in Computer Science. Advances in Cryptology \u2014 CRYPTO'87, #293, pages 418\u2013426. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-48184-2_36"},{"issue":"4","key":"5_CR4","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1137\/0213053","volume":"13","author":"M. Blum","year":"1984","unstructured":"M. Blum and S. Micali. How to Generate Cryptographically Strong Sequences of Pseudo-Random Bits. SIAM Journal on Computing, 13(4):850\u2013864, 1984.","journal-title":"SIAM Journal on Computing"},{"key":"5_CR5","unstructured":"CCITT. CCITT blue book, Recommendation X.509, The Directory \u2014 Authentication Framework, November 1988."},{"key":"5_CR6","volume-title":"Analysis of ISO\/CCTTI Document X.509 Annex D","author":"D. Coppersmith","year":"1989","unstructured":"Don Coppersmith. Analysis of ISO\/CCTTI Document X.509 Annex D. IBM Thomas J. Watson Research Center, Yorktown Heights, June 1989."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"A. Fiat and A. Shamir. How to Prove Yourself: Practical Solutions to Identification and Signature Problems. In A. M. Odlyzko, editor, Lecture Notes in Computer Science. Advances in Cryptology \u2014 CRYPTO'86, #263, pages 186\u2013194. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-47721-7_12"},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1137\/0218012","volume":"18","author":"S. Goldwasser","year":"1989","unstructured":"S. Goldwasser, S. Micali, and C. Rackoff. The Knowledge Complexity of Interactive Proof-Systems. SIAM Journal on Computing, 18(1):186\u2013208, 1989.","journal-title":"SIAM Journal on Computing"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"L. Gong, R. Needham, and R. Yahalom. Reasoning about Belief in Cryptographic Protocols. In Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy, pages 234\u2013248. IEEE Computer Society Press, 1990.","DOI":"10.1109\/RISP.1990.63854"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/378570.378623","volume":"20","author":"C I'Anson","year":"1990","unstructured":"C I'Anson and C. Mitchell. Security Defects in CCITT Recommendation X.509 \u2014 The Directory Authentication Framework. Computer Communication Review, 20(2):30\u201334, 1990.","journal-title":"Computer Communication Review"},{"key":"5_CR11","unstructured":"ISO. 7498-2. Information processing systems-Open Systems Interconnection-Basic Reference Model-Part 2: Security Architecture, 1989."},{"issue":"4","key":"5_CR12","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/49.17707","volume":"7","author":"R. A. Kemmerer","year":"1989","unstructured":"R. A. Kemmerer. Analyzing Encryption Protocols Using Formal Verification Techniques. IEEE Journal on Selected Areas in Communications, 7(4):448\u2013457, 1989.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"issue":"2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1109\/TSE.1987.233151","volume":"13","author":"J. K. Millen","year":"1987","unstructured":"J. K. Millen, S. C. Clark, and S. B. Freedman. The Interrogator: Protocol Security Analysis. IEEE Transactions on Software Engineering, 13(2):274\u2013288, 1987.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"C. Meadows. Representing Partial Knowledge in an Algebraic Security Model. In Proceedings of the Computer Security Foundations Workshop III, pages 23\u201331. IEEE Computer Society Press, 1990.","DOI":"10.1109\/CSFW.1990.128182"},{"key":"5_CR15","unstructured":"M. J. Merritt. Cryptographic Protocols. PhD thesis, Georgia Institute of Technology, 1983."},{"key":"5_CR16","unstructured":"M. Merritt and P. Wolper. States of Knowledge in Cryptographic Protocols (extended abstract). Unpublished Manuscript, 1985."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"P. Syverson. The Use of Logic in the Analysis of Cryptographic Protocols. In Proceedings of the 1991 IEEE Symposium on Research in Security and Privacy, pages 156\u2013170. IEEE Computer Society Press, 1991.","DOI":"10.1109\/RISP.1991.130784"},{"key":"5_CR18","unstructured":"M-J. Toussaint. Reasoning about Probabilistic Properties of Cryptographic Protocols (extended abstract). Abstract of the talk at the F.N.R.S. day on Computer Security, May 1989."},{"key":"5_CR19","unstructured":"M-J. Toussaint. Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract), in the proceedings of ASIACRYPT'91, November 1991."},{"key":"5_CR20","volume-title":"PhD thesis","author":"M.-J. Toussaint","year":"1991","unstructured":"M.-J. Toussaint. Verification of Cryptographic Protocols. PhD thesis, Universit\u00e9 de Li\u00e8ge (Belgium), 1991. in the Publications Collection (to appear)."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"M-J. Toussaint. Deriving the Complete Knowledge of Participants in Cryptographic Protocols (Extended Abstract). In J. Feigenbaum, editor, Lecture Notes in Computer Science. Advances in Cryptology \u2014 CRYPT0'91, #576, pages 24\u201343. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-46766-1_2"},{"key":"5_CR22","unstructured":"M-J. Toussaint and P. Wolper. Reasoning about Cryptographic Protocols (Extended Abstract). In Joan Feigenbaum and Michael Merritt, editors, Distributed Computing and Cryptography (October 1989), pages 245\u2013262. DIMACS-Series in Discrete Mathematics and Theoretical Computer Science (AMS-ACM), 1991. Volume 2."}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2014 ESORICS 92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013893","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:36:32Z","timestamp":1736112992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013893"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540562467","9783540474883"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0013893","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}