{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:20:10Z","timestamp":1783009210859,"version":"3.54.5"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/aina.2004.1283943","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"400-405","source":"Crossref","is-referenced-by-count":23,"title":["Spi2Java: automatic cryptographic protocol Java code generation from SPI calculus"],"prefix":"10.1109","volume":"1","author":[{"given":"D.","family":"Pozza","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.","family":"Sisto","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"L.","family":"Durante","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"15","author":"yellin","year":"0","journal-title":"Low Level Security in Java"},{"key":"13","author":"saul","year":"2001","journal-title":"Facilitating the Modelling and Automated Analysis of Cryptographic Protocols"},{"key":"14","article-title":"Attack modelling, code generation and performance analysis in a multi-dimensional security protocol engineering framework","author":"veldman","year":"2002","journal-title":"Project Report"},{"key":"11","article-title":"Athena: A novel approach to efficient automatic security protocol analisys","author":"perrig","year":"0","journal-title":"Tech Rep"},{"key":"12","article-title":"Agvi - Automatic generation, verification, and implementation of security protocols","author":"phan","year":"0","journal-title":"Tech Rep"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/941566.941570"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/363516.363528"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2740"},{"key":"10","article-title":"Acg - Automatic code generation and automatic implementation of a security protocol","author":"perrig","year":"2000","journal-title":"Tech Rep 00-1120"},{"key":"7","article-title":"Automated attack analisys and code generation in a unified, multi-dimensional security protocol engineering framework","author":"lukell","year":"2002","journal-title":"Comp Science Hon"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596779"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1996.503701"},{"key":"4","author":"lindholm","year":"0","journal-title":"The Java Virtual Machine Specification"},{"key":"9","article-title":"Cryptographic protocol generation from capsl","volume":"sri csl 1 7","author":"muller","year":"2001","journal-title":"Tech Rep"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"}],"event":{"name":"18th International Conference on Advanced Information Networking and Applications, 2004. AINA 2004.","location":"Fukuoka, Japan"},"container-title":["18th International Conference on Advanced Information Networking and Applications, 2004. AINA 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9028\/28652\/01283943.pdf?arnumber=1283943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T02:44:36Z","timestamp":1489459476000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1283943\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/aina.2004.1283943","relation":{},"subject":[]}}