{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:05:08Z","timestamp":1729652708249,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1109\/icnp.2010.5762765","type":"proceedings-article","created":{"date-parts":[[2011,5,9]],"date-time":"2011-05-09T16:43:00Z","timestamp":1304959380000},"page":"164-173","source":"Crossref","is-referenced-by-count":3,"title":["Authentication and authorization protocol security property analysis with trace inclusion transformation and online minimization"],"prefix":"10.1109","author":[{"given":"Yating","family":"Hsu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"ref33"},{"year":"0","key":"ref32"},{"year":"0","key":"ref31"},{"year":"0","key":"ref30"},{"year":"0","key":"ref37"},{"year":"0","key":"ref36"},{"year":"0","key":"ref35"},{"year":"0","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2008.24"},{"journal-title":"Communicating Sequential Process","year":"1985","author":"hoare","key":"ref11"},{"key":"ref12","article-title":"MashupOS: Operating System Abstractions for Client Mashups","author":"howell","year":"2007","journal-title":"Proc 11th USENIX Workshop on Hot Topics in Operating Systems"},{"key":"ref13","first-page":"32","article-title":"Safe Simplification transformation for Security Protocols or Not Just Needham Schroeder Public Key Protocol","author":"hui","year":"1999","journal-title":"Proceedings of the 11th Computer Security Foundations Workshop"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/800221.806724"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BF00197942"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1367497.1367570"},{"key":"ref17","article-title":"Mashups: Emerging application development paradigm for a digital journal","volume":"13","author":"kulathuramaiyer","year":"2007","journal-title":"Journal of Universal Computer Science"},{"key":"ref18","first-page":"264","article-title":"Online Minimization of Transition Systems","author":"lee","year":"1992","journal-title":"Proc 24th Annu ACM Symp on Theory of Computing"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1023\/A:1008621829508","article-title":"An Efficient Algorithm for Minimizing Real-Time Transition Systems","volume":"11","author":"yannakakis","year":"1997","journal-title":"Formal Methods in System Design"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/77648.77649"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90067-6"},{"key":"ref3","first-page":"428","article-title":"Symbolic Model Checking: 1020 states and Beyond","author":"burch","year":"1990","journal-title":"Proc 5th IEEE LICS"},{"key":"ref6","article-title":"Breaking and Fixing Public-Key Kerberos","author":"cervesato","year":"2006","journal-title":"Proc 6th Int'l Workshop on Issues in the Theory of Security (WITS '06)"},{"year":"0","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.08.040"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455784"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/3-540-52148-8_30","article-title":"Verification of Synchronous Sequential Machines Based on Symbolic Execution","author":"coudert","year":"1990","journal-title":"Automatic Verification Methods for Finite State Systems International Workshop"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1368310.1368330"},{"key":"ref20","first-page":"147","article-title":"Breaking and Fixing the Needham-Schroeder Public Key Protocol using FDR","author":"lowe","year":"1996","journal-title":"Proc 2nd Int'l Workshop on Tools and Algorithms for Construction and Analysis of Systems"},{"key":"ref22","article-title":"Automated Analysis of Cryptographic Protocols Using Mur?","author":"mitchell","year":"1997","journal-title":"Proc IEEE Symposium on Security and Privacy"},{"key":"ref21","first-page":"89","article-title":"Toward a Completeness Result for Model Checking of Security Protocols","volume":"7","author":"lowe","year":"1999","journal-title":"Journal of Computer Science"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/155848.155852"},{"key":"ref23","article-title":"Finite-State Analysis of SSL 3.0 and Related Protocols","author":"mitchell","year":"1998","journal-title":"Proc 7th USENIX Security Symposium"},{"journal-title":"Modelling and Analysis of Security Protocols","year":"2001","author":"ryan","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1998.683158"}],"event":{"name":"2010 18th IEEE International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2010,10,5]]},"location":"Kyoto, Japan","end":{"date-parts":[[2010,10,8]]}},"container-title":["The 18th IEEE International Conference on Network Protocols"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5759760\/5762744\/05762765.pdf?arnumber=5762765","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T19:57:03Z","timestamp":1497902223000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5762765\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/icnp.2010.5762765","relation":{},"subject":[],"published":{"date-parts":[[2010,10]]}}}