{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T07:10:11Z","timestamp":1737097811389,"version":"3.33.0"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T00:00:00Z","timestamp":1177977600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sc. China"],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1007\/s11704-007-0019-y","type":"journal-article","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T15:50:30Z","timestamp":1181663430000},"page":"191-199","source":"Crossref","is-referenced-by-count":1,"title":["Semantic interpretation of compositional logic in instantiation space"],"prefix":"10.1007","volume":"1","author":[{"given":"Kaile","family":"SU","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinyin","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingliang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Han","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","first-page":"147","volume":"1055","author":"G. Lowe","year":"1996","unstructured":"Lowe G. Breaking and fixing the needham-schroeder public-key protocol using FDR. Tools and Algorithms for the Construction and Analysis of Systems, 1996, 1055: 147\u2013166","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"issue":"1","key":"19_CR2","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows M, Abadi M, Needham R, et al. A logic of authentication. ACM Transactions on Computer Systems, 1990, 8(1): 18\u201336","journal-title":"ACM Transactions on Computer Systems"},{"issue":"1\u20132","key":"19_CR3","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L. C. Paulson","year":"1998","unstructured":"Paulson L C. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 1998, 6(1\u20132): 85\u2013128","journal-title":"Journal of Computer Security"},{"issue":"2\u20133","key":"19_CR4","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-1999-72-304","volume":"7","author":"J. Thayer","year":"1999","unstructured":"Thayer J, Herzog J C, Guttman J D. Strand spaces: Proving security protocols correct. Journal of Computer Security, 1999, 7(2\u20133):191\u2013230","journal-title":"Journal of Computer Security"},{"issue":"9","key":"19_CR5","first-page":"1655","volume":"29","author":"K. L. Su","year":"2006","unstructured":"Su K L, Yue W Y, Chen Q L, et al. Instantiation space: a new model for security. Chinese Journal of Computers, 2006, 29(9): 1655\u20131663","journal-title":"Chinese Journal of Computers"},{"issue":"4","key":"19_CR6","doi-asserted-by":"crossref","first-page":"677","DOI":"10.3233\/JCS-2003-11407","volume":"11","author":"N. Durgin","year":"2003","unstructured":"Durgin N, Mitchell J, Pavlovic D. A Compositional Logic for Proving Security Properties of Protocols. Journal of Computer Security, 2003, 11(4): 677\u2013722","journal-title":"Journal of Computer Security"},{"issue":"8","key":"19_CR7","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev D, Yao A. On the security of public-key protocols. IEEE Transactions on Information Theory, 1983, 29(8):198\u2013208","journal-title":"IEEE Transactions on Information Theory"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Halpern J Y, Pucella R. On the relationship between strand spaces and multi-agent systems. In: Proceedings of the 8th ACM Conference on Computer and Communications Security. ACM Press, 2001, 106\u2013115","DOI":"10.1145\/501983.501999"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Datta A, Derek A, Mitchell J C, et al. A derivation system for security protocols and its logical formalization. In: 16th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, 2003, 109\u2013125","DOI":"10.1109\/CSFW.2003.1212708"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Cervesato I, Meadows C, Pavlovic D. An encapsulated authentication logic for reasoning about key distribution protocol. In: 18th Computer Security Foundations Workshop, IEEE Computer Society Press, 2005, 48\u201361","DOI":"10.1109\/CSFW.2005.7"}],"container-title":["Frontiers of Computer Science in China"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-007-0019-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-007-0019-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-007-0019-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T06:34:16Z","timestamp":1737095656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-007-0019-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,5]]}},"alternative-id":["19"],"URL":"https:\/\/doi.org\/10.1007\/s11704-007-0019-y","relation":{},"ISSN":["1673-7350","1673-7466"],"issn-type":[{"type":"print","value":"1673-7350"},{"type":"electronic","value":"1673-7466"}],"subject":[],"published":{"date-parts":[[2007,5]]}}}