{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:14:48Z","timestamp":1725513288192},"reference-count":12,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2003.1207722","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T09:34:28Z","timestamp":1079948068000},"page":"239-240","source":"Crossref","is-referenced-by-count":0,"title":["A framework for the development of protocols"],"prefix":"10.1109","author":[{"given":"F.","family":"Crazzolara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Milicia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","article-title":"x-Spaces: Programming Security Protocols","author":"milicia","year":"2002","journal-title":"14th NWPT'02"},{"article-title":"SPL and MSCs","year":"2002","author":"crazzolara","key":"ref3"},{"article-title":"A Survey of Authentication Protocol Literature: Version 1.0","year":"1997","author":"clark","key":"ref10"},{"key":"ref6","article-title":"Developing Security Protocols in x-Spaces","author":"crazzolara","year":"2002","journal-title":"7th NordSec Workshop"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(95)00122-0"},{"key":"ref5","article-title":"The ISO 5-pass authentication in x-Spaces","author":"c\u00e1ccamo","year":"2002","journal-title":"SAM Conference"},{"journal-title":"ITU-T","article-title":"Recommendation X.509: The directory authentication framework","year":"1988","key":"ref12"},{"journal-title":"The Java Language Specification","year":"2000","author":"gosling","key":"ref8"},{"key":"ref7","article-title":"Wireless authentication in x-spaces","author":"crazzolara","year":"2003","journal-title":"Technical Report RS-03-10 BRICS"},{"key":"ref2","article-title":"Event in security protocols","author":"crazzolara","year":"2001","journal-title":"Eight ACM CCS Conference"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2363.2433"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2001.925135"}],"event":{"name":"International Conference on Application of Concurrency to System Design (ACSD'2003)","acronym":"CSD-03","location":"Guimaraes, Portugal"},"container-title":["Third International Conference on Application of Concurrency to System Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8583\/27182\/01207722.pdf?arnumber=1207722","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T15:23:07Z","timestamp":1489418587000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207722\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/csd.2003.1207722","relation":{},"subject":[]}}