{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:35:07Z","timestamp":1725608107917},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/iscst.2005.1553299","type":"proceedings-article","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T12:52:37Z","timestamp":1135255957000},"page":"92-99","source":"Crossref","is-referenced-by-count":1,"title":["Model checking the security of multi-protocol systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Panti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Spalazzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Tacconi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Pagliarecci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","article-title":"Non-repudiation in SET: Open Issues","author":"van herreweghen","year":"2000","journal-title":"Proceedings of the 4th Conference on Financial Cryptography"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1993.287633"},{"key":"11","first-page":"968","article-title":"Automatic verifi cation of security in payment protocols for electronic commerce","author":"panti","year":"0","journal-title":"Proceedings of ICEIS 2002"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1999.779763"},{"key":"3","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","article-title":"NuSMV: A new symbolic model verifier","author":"cimatti","year":"1999","journal-title":"Proceedings of 11th Conference on Computer-aided Verification"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/49.839936"},{"key":"1","first-page":"566","article-title":"Multi-protocol attacks and the public-key infrastructure","author":"alves-foss","year":"1998","journal-title":"Proceedings of 21th National Information Systems Security Conference"},{"key":"10","article-title":"Verifi cation of security properties in electronic payment protocols","author":"panti","year":"2002","journal-title":"Proceedings of the 2nd ACM SIGPLAN-IFIP WG 1 7 Workshop on Issues in the Theory of Security (WITS'02)"},{"journal-title":"Mastercard and Visa SET Secure Electronic Transaction Specification","year":"1997","key":"7"},{"key":"6","first-page":"1","article-title":"Model checking for security protocols","author":"marrero","year":"1997","journal-title":"Proceedings of the DIMACS Workshop on Design and Formal Verifi Cation of Security Protocols"},{"key":"5","first-page":"91","article-title":"Protocol interactions and the chosen protocol attack","author":"kelsey","year":"1997","journal-title":"Proceedings of 5th International Workshop on Security Protocols"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"9","article-title":"Using the NuSMV model checker to verify the kerberos protocol","author":"panti","year":"2002","journal-title":"Proceedings of CTS 2002"},{"key":"8","first-page":"23","article-title":"Open issues in formal methods for cryptographic protocol analysis","author":"meadows","year":"2000","journal-title":"Proceedings of DISCEX 2000"}],"event":{"name":"Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005.","start":{"date-parts":[[2005,5,20]]},"location":"St Louis, MO, USA","end":{"date-parts":[[2005,5,20]]}},"container-title":["Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10408\/33068\/01553299.pdf?arnumber=1553299","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T21:55:07Z","timestamp":1497650107000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1553299\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iscst.2005.1553299","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}