{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,14]],"date-time":"2026-09-14T17:21:43Z","timestamp":1789406503751,"version":"build-2803163510"},"reference-count":31,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csfw.2002.1021808","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:04:13Z","timestamp":1056578653000},"page":"77-91","source":"Crossref","is-referenced-by-count":29,"title":["Types and effects for asymmetric cryptographic protocols"],"prefix":"10.1109","author":[{"given":"A.D.","family":"Gordon","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Jeffrey","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1993.287633"},{"key":"ref30","author":"wall","year":"1996","journal-title":"Programming perl"},{"key":"ref10","article-title":"A survey of authentication protocol literature","author":"clark","year":"1997","journal-title":"unpublished report"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930150"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930143"},{"key":"ref14","author":"gordon","year":"2001","journal-title":"The Cryptyc Project"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80959-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2000.848448"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268976"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2000.856932"},{"key":"ref19","first-page":"31","article-title":"A hierarchy of authentication specifications","author":"lowe","year":"1995","journal-title":"10th Computer Security Foundations Workshop"},{"key":"ref28","article-title":"Detecting format string vulnerabilities with type qualifiers","author":"shankar","year":"2001","journal-title":"10th USENIX security symposium"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00175-4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/32.713329"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/324133.324266"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/74850.74852"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1998.674832"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2740"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45116-1_18"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/238168.238196"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503277"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/63334.63337"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/3-540-45315-6_2","article-title":"Secrecy types for asymmetric communication","volume":"2030","author":"abadi","year":"2001","journal-title":"Foundations of Software Science and Computation Structures (FOSSACS'01)"},{"key":"ref20","first-page":"147","article-title":"Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR","volume":"1055","author":"lowe","year":"1996","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96)"},{"key":"ref22","author":"milner","year":"1999","journal-title":"Communicating and Mobile Systems The ?-Calculus"},{"key":"ref21","article-title":"Model checking for security protocols","author":"marrero","year":"1997","journal-title":"DIMACS Workshop on Design and Formal Verification of Security Protocols 1997 Preliminary version appears as Technical Report TR-CMU-CS-97–139"},{"key":"ref24","first-page":"75","article-title":"Trust in the ?-calculus","volume":"3","author":"\u00f8rb\u00e6k","year":"1997","journal-title":"Journal of Functional Programming"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"47","DOI":"10.3233\/JCS-2001-91-203","article-title":"Athena, a novel approach to efficient automatic security protocol analysis","volume":"9","author":"song","year":"2001","journal-title":"Journal of Computer Security"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","article-title":"The inductive approach to verifying cryptographic protocols","volume":"6","author":"paulson","year":"1998","journal-title":"Journal of Computer Security"}],"event":{"name":"15th IEEE Computer Security Foundations Workshop CSFW-15","location":"Cape Breton, NS, Canada","acronym":"CSFW-02"},"container-title":["Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7957\/21985\/01021808.pdf?arnumber=1021808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,24]],"date-time":"2018-02-24T23:32:29Z","timestamp":1519515149000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1021808\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/csfw.2002.1021808","relation":{},"subject":[]}}