{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:12:47Z","timestamp":1742386367097,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657033"},{"type":"electronic","value":"9783540490593"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_11","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:56:57Z","timestamp":1194991017000},"page":"148-162","source":"Crossref","is-referenced-by-count":12,"title":["Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques"],"prefix":"10.1007","author":[{"given":"Davide","family":"Marchignoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"key":"11_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/3-540-63141-0_5","volume-title":"Proc. of CONCUR\u201997","author":"M. Abadi","year":"1997","unstructured":"M. Abadi and A. D. Gordon. Reasoning about cryptographic protocols in the spi calculus. In Proc. of CONCUR\u201997, volume 1243 of LNCS, pages 59\u201373, 1997."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi and M. R. Tuttle. A semantics for a logic of authentication. In Proc. of PODC\u201991, pages 201\u2013216. ACM Press, 1991.","DOI":"10.1145\/112600.112618"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"H. R. Andersen. Partial model checking (extended abstract). In Proc. of LICS\u201995, pages 398\u2013407. IEEE Computer Society Press, 1995.","DOI":"10.1109\/LICS.1995.523274"},{"key":"11_CR4","unstructured":"R. Focardi, A. Ghelli, and R. Gorrieri. Using non interference for the analysis of security protocols. In Proc. of DIMACS Workshop on Design and Formal Verification of Security Protocols. DIMACS Center, Rutgers University, Sep. 1997."},{"issue":"1","key":"11_CR5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R. Focardi","year":"1995","unstructured":"R. Focardi and R. Gorrieri. A classification of security properties. Journal of Computer Security, 3(1):5\u201333, 1995.","journal-title":"Journal of Computer Security"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1109\/32.629493","volume":"27","author":"R. Focardi","year":"1997","unstructured":"R. Focardi and R. Gorrieri. The compositional security checker: A tool for the Verification of information flow security properties. IEEE Trans. Sof. Eng., 27:550\u2013571, 1997.","journal-title":"IEEE Trans. Sof. Eng."},{"key":"11_CR7","unstructured":"D. Kindred and J. M. Wing. Fast, automatic checking of security protocols. In Second USENIX Workshop on Electronic Commerce, pages 41\u201352, Oakland, California, 1996."},{"issue":"6","key":"11_CR8","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/logcom\/1.6.761","volume":"1","author":"K. G. Larsen","year":"1991","unstructured":"K. G. Larsen and L. Xinxin. Compositionality through an operational semantics of contexts. Journal of Logic and Computation, 1(6):761\u2013795, Dec. 1991.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"P. Lincoln, J. Mitchell, M. Mitchell, and A. Scedrov. A probabilistic poly-time framework for protocol analysis. In ACM Symposium in Computer and Communication Security, 1998.","DOI":"10.1145\/288090.288117"},{"key":"11_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-61042-1_43","volume-title":"Proc. of TACAS\u201996","author":"G. Lowe","year":"1996","unstructured":"G. Lowe. Breaking and fixing the Needham Schroeder public-key protocol using FDR. In Proc. of TACAS\u201996, volume 1055 of LNCS, pages 147\u2013166, 1996."},{"issue":"10","key":"11_CR11","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1109\/32.637148","volume":"23","author":"G. Lowe","year":"1997","unstructured":"G. Lowe and B. Roscoe. Using CSP to detect errors in the TMN protocol. IEEE Trans. Sof. Eng., 23(10):659\u2013669, 1997.","journal-title":"IEEE Trans. Sof. Eng."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"W. Marrero, E. Clarke, and S. Jha. A model checker for authentication protocols. In Proc. of DIMACS Workshop on Design and Formal Verification of Security Protocols. Rutgers University, Sep. 1997.","DOI":"10.21236\/ADA327281"},{"key":"11_CR13","unstructured":"F. Martinelli. Languages for description and analysis of authentication protocols. In Proceedings of 6th Italian Conference on Theoretical Computer Science. World Scientific, 1998."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"F. Martinelli. Partial model checking and theorem proving for ensuring security properties. In Proc. of CSFW\u201998, pages 44\u201352. IEEE Computer Society Press, 1998.","DOI":"10.1109\/CSFW.1998.683154"},{"key":"11_CR15","unstructured":"F. Martinelli. An uniform approach for the analysis of open systems. Draft, 1998."},{"key":"11_CR16","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"L. Paulson. Proving properties of security protocols by induction. In Proc. of CSFW\u201997. IEEE Computer Society Press, 1997.","DOI":"10.1109\/CSFW.1997.596788"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"V. Shmatikov and U. Stern. Efficient finite-state analysis for large security protocols. In Proc. of CSFW\u201998, pages 105\u2013116. IEEE Computer Society Press, 1998.","DOI":"10.1109\/CSFW.1998.683160"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T08:34:02Z","timestamp":1737534842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}