{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:40:18Z","timestamp":1725666018611},"reference-count":16,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csfw.2003.1212705","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"62-72","source":"Crossref","is-referenced-by-count":9,"title":["A procedure for verifying security against type confusion attacks"],"prefix":"10.1109","author":[{"given":"C.","family":"Meadows","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Identifying potential type confusion in authenticated messages","author":"meadows","year":"2002","journal-title":"DIKU Technical Report 02\/12"},{"key":"ref11","article-title":"A probabilistic polynomial-time calculus for the analysis of cryptographic protocols","author":"mitchell","year":"2002","journal-title":"submitted for publication"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/RISP.1992.213267"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/RISP.1992.213268"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/RISP.1993.287644"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/49.839933"},{"key":"ref16","article-title":"Specification and analysis of the Group Domain of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer","author":"meadows","year":"2003","journal-title":"To appear in J Comp Sec"},{"key":"ref4","article-title":"The Internet Key Exchange (IKE)","author":"harkins","year":"1998","journal-title":"Internet Engineering Task Force RFC 2409"},{"key":"ref3","article-title":"Problem areas for the IP security protocols","author":"bellovin","year":"1996","journal-title":"Proceedings of the sixth Usenix UNIX Security Symposium"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/978-3-7091-9396-9_11"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/CSFW.2000.856942"},{"key":"ref8","article-title":"Internet Security Association and Key Management Protocol (ISAKMP)","author":"maughan","year":"1998","journal-title":"Request for Comments 2408 Network Working Group"},{"key":"ref7","first-page":"91","article-title":"Chosen interactions and the chosen protocol attack","author":"kelsey","year":"1998","journal-title":"Security Protocols 5th International Workshop April 1997 Proceedings"},{"year":"2001","author":"baugher","article-title":"The group domain of interpretation","key":"ref2"},{"key":"ref1","article-title":"Provably insecure mutual authentication protocols: The two party symmetric encryption case","author":"alves-foss","year":"1999","journal-title":"Proc 22nd National Information Systems Security Conference"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61770-1_46","article-title":"Analyzing the Needham-Schroeder public key protocol: A comparison of two approaches","author":"meadows","year":"1996","journal-title":"Proceedings of Esorics '96"}],"event":{"acronym":"CSFW-03","name":"16th IEEE Computer Security Foundations Workshop","location":"Pacific Grove, CA, USA"},"container-title":["16th IEEE Computer Security Foundations Workshop, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8606\/27273\/01212705.pdf?arnumber=1212705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T23:18:20Z","timestamp":1497568700000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1212705\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/csfw.2003.1212705","relation":{},"subject":[]}}