{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:39:12Z","timestamp":1725500352764},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1109\/grc.2009.5255038","type":"proceedings-article","created":{"date-parts":[[2009,9,25]],"date-time":"2009-09-25T20:32:54Z","timestamp":1253910774000},"page":"658-661","source":"Crossref","is-referenced-by-count":0,"title":["Prerequisites to authentication protocols proved by binding theory"],"prefix":"10.1109","author":[{"given":"HaiFeng","family":"Xue","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"1476","article-title":"security protocol design by composition","author":"choi","year":"2006","journal-title":"Computer Laboratory University of Cambridge Technical Report Number 657"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1999.779762"},{"journal-title":"A survey of authentication protocol literature","year":"0","author":"clark","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/322510.322530"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00139-6"},{"key":"4","first-page":"109","article-title":"a derivation system for security protocols and its logical formalization","author":"datta","year":"2003","journal-title":"Proceedings of the 10th Computer Security Foundation Workshop"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596782"}],"event":{"name":"2009 IEEE International Conference on Granular Computing (GRC)","start":{"date-parts":[[2009,8,17]]},"location":"Nanchang, China","end":{"date-parts":[[2009,8,19]]}},"container-title":["2009 IEEE International Conference on Granular Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5234367\/5254998\/05255038.pdf?arnumber=5255038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T17:19:32Z","timestamp":1489771172000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5255038\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/grc.2009.5255038","relation":{},"subject":[],"published":{"date-parts":[[2009,8]]}}}