{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T16:10:15Z","timestamp":1737475815006,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441571"},{"type":"electronic","value":"9783540457329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45732-1_14","type":"book-chapter","created":{"date-parts":[[2007,10,11]],"date-time":"2007-10-11T00:38:56Z","timestamp":1192063136000},"page":"126-138","source":"Crossref","is-referenced-by-count":2,"title":["Verification of the SSL\/TLS Protocol Using a Model Checkable Logic of Belief and Time"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Benerecetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Panti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Spalazzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Tacconi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"M. Abadi and M. Tuttle. A semantics for a logic of authentication. In Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, pages 201\u2013216, 1991.","key":"14_CR1","DOI":"10.1145\/112600.112618"},{"unstructured":"M. Benerecetti and A. Cimatti. Symbolic Model Checking for Multi-Agent Systems. In CLIMA-2001, Workshop on Computational Logic in Multi-Agent Systems, 2001. Co-located with ICLP\u201901.","key":"14_CR2"},{"doi-asserted-by":"crossref","unstructured":"M. Benerecetti and F. Giunchiglia. Model checking security protocols using a logic of belief. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), 2000.","key":"14_CR3","DOI":"10.1007\/3-540-46419-0_35"},{"doi-asserted-by":"crossref","unstructured":"M. Benerecetti, F. Giunchiglia, M. Panti, and L. Spalazzi. A Logic of Belief and a Model Checking Algorithm for Security Protocols. In Proceedings of IFIP TC6\/WG6.1 International Conference FORTE\/PSTV 2000, 2000.","key":"14_CR4","DOI":"10.1007\/978-0-387-35533-7_25"},{"issue":"3","key":"14_CR5","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"M. Benerecetti, F. Giunchiglia, and L. Serafini. Model Checking Multiagent Systems. Journal of Logic and Computation, 8(3):401\u2013423, 1998.","journal-title":"Journal of Logic and Computation"},{"doi-asserted-by":"crossref","unstructured":"M. Benerecetti, M. Panti, L. Spalazzi, and S. Tacconi. Verification to Payment Protocols via MultiAgent Model Checking. In Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE\u2019 02), 2002.","key":"14_CR6","DOI":"10.1007\/3-540-47961-9_23"},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Michael Burrows, Martin Abadi, and Roger Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18\u201336, feb 1990.","journal-title":"ACM Transactions on Computer Systems"},{"doi-asserted-by":"crossref","unstructured":"T. Dierks and C. Allen. The TLS Protocol Version 1.0. IETF RFC 2246, 1999.","key":"14_CR8","DOI":"10.17487\/rfc2246"},{"key":"14_CR9","first-page":"996","volume":"B","author":"E.A. Emerson","year":"1990","unstructured":"E.A. Emerson. Temporal and Modal Logic. In Handbook of Theoretical Computer Science, volume B, pages 996\u20131072, 1990.","journal-title":"Handbook of Theoretical Computer Science"},{"unstructured":"A. Frier, P. Karlton, and P. Kocher. The SSL 3.0 Protocol. Netscape Communications Corp., 1996.","key":"14_CR10"},{"doi-asserted-by":"crossref","unstructured":"G. Lowe. Finite-State Analysis of SSL 3.0. In Proceedings of the 4th Conference Tools and Algorithms for the Construction and Analysis of Systems, pages 147\u2013166, 1996.","key":"14_CR11","DOI":"10.1007\/3-540-61042-1_43"},{"doi-asserted-by":"crossref","unstructured":"S. Lu and S.A. Smolka. Model Checking the Secure Electronic Transaction (SET) Protocol. In Proceedings of 7 th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pages 358\u2013365. IEEE Computer Society, 1999.","key":"14_CR12","DOI":"10.1109\/MASCOT.1999.805074"},{"doi-asserted-by":"crossref","unstructured":"W. Marrero, E. Clarke, and S. Jha. Model Checking for Security Protocols. In Proceedings of the DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997.","key":"14_CR13","DOI":"10.21236\/ADA327281"},{"unstructured":"C. Mitchell, V. Shmatikov, and U. Stern. Finite-State Analysis of SSL 3.0. In Proceedings of the 7th USENIX Security Symposium, pages 201\u2013216, 1998.","key":"14_CR14"},{"issue":"3","key":"14_CR15","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/322510.322530","volume":"2","author":"L.C. Paulson","year":"1999","unstructured":"L.C. Paulson. Inductive Analysis of the Internet Protocol TLS. ACM Transactions on Computer and System Security, 2(3):332\u2013351, 1999.","journal-title":"ACM Transactions on Computer and System Security"},{"doi-asserted-by":"crossref","unstructured":"P. Syverson and P.C. van Oorschot. On Unifying Some Cryptographic Protocol Logics. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 14\u201328, 1994.","key":"14_CR16","DOI":"10.21236\/ADA465512"},{"unstructured":"D. Wagner and B. Schneier. Analysis of the SSL 3.0 Protocol. In Proceedings of the 2nd USENIX Workshop on Electronic Commerce Proceedings, pages 29\u201340, 1996.","key":"14_CR17"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45732-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T15:30:18Z","timestamp":1737473418000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45732-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441571","9783540457329"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45732-1_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}