{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:06:01Z","timestamp":1755799561398,"version":"3.44.0"},"publisher-location":"Singapore","reference-count":17,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811327117"},{"type":"electronic","value":"9789811327124"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-981-13-2712-4_5","type":"book-chapter","created":{"date-parts":[[2018,9,25]],"date-time":"2018-09-25T11:37:15Z","timestamp":1537875435000},"page":"61-79","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Security Proof of KerNeeS Protocol Based on Logic of Events"],"prefix":"10.1007","author":[{"given":"Ke","family":"Yang","sequence":"first","affiliation":[]},{"given":"Meihua","family":"Xiao","sequence":"additional","affiliation":[]},{"given":"Jia","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,26]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/TCE.2016.7448560","volume":"62","author":"V Odelu","year":"2016","unstructured":"Odelu, V., Das, A.K., Goswami, A.: SEAP: secure and efficient authentication protocol for NFC applications using pseudonyms. IEEE Trans. Consum. Electron. 62(1), 3\u201338 (2016)","journal-title":"IEEE Trans. Consum. Electron."},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1016\/j.procs.2016.04.156","volume":"83","author":"M Badra","year":"2016","unstructured":"Badra, M., Badra, R.B.: A lightweight security protocol for NFC-based mobile phone. Proc. Comput. Sci. 83, 705\u2013711 (2016)","journal-title":"Proc. Comput. Sci."},{"issue":"5","key":"5_CR3","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1109\/TCAD.2016.2539327","volume":"35","author":"M Dong","year":"2016","unstructured":"Dong, M., Ota, K., Yang, L.T., Liu, A., Guo, M.: LSCD: a low storage clone protocol for cyber-physical systems. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 35(5), 712\u2013723 (2016)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circ. Syst."},{"issue":"16","key":"5_CR4","doi-asserted-by":"publisher","first-page":"3777","DOI":"10.1002\/sec.1490","volume":"9","author":"L Zhang","year":"2016","unstructured":"Zhang, L., Wei, L., Huang, D., Zhang, K., Dong, M., Ota, K.: MEDAPs: secure multi-entities delegated authentication protocols for mobile cloud computing. Secur. Commun. Netw. 9(16), 3777\u20133789 (2016)","journal-title":"Secur. Commun. Netw."},{"issue":"06","key":"5_CR5","first-page":"1190","volume":"39","author":"Y Zhang","year":"2016","unstructured":"Zhang, Y., Wang, Z., Li, Q., Lou, J., Yao, D.: Research progress and trends on the security of near field communication. Chin. J. Comput. 39(06), 1190\u20131207 (2016)","journal-title":"Chin. J. Comput."},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/j.entcs.2007.02.012","volume":"172","author":"A Datta","year":"2007","unstructured":"Datta, A., Derek, A., Mitchell, J.C., et al.: Protocol composition logic (PCL). Electron. Notes Theor. Comput. Sci. 172, 311\u2013358 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"5","key":"5_CR7","first-page":"504","volume":"1","author":"S Gao","year":"2014","unstructured":"Gao, S., Hu, A.Q., Shi, L., Chen, X.B.: A survey on formal analysis of security protocols. J. Cryptol. Res. 1(5), 504\u2013512 (2014)","journal-title":"J. Cryptol. Res."},{"issue":"17","key":"5_CR8","first-page":"110","volume":"38","author":"Z Wang","year":"2012","unstructured":"Wang, Z., Xu, D., Wang, X., Tang, Z., Wei, L.: Reliability analysis and improvement of BAN logic. Comput. Eng. 38(17), 110\u2013115 (2012)","journal-title":"Comput. Eng."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Xiao, M., Bickford, M.: Logic of events for proving security properties of protocols. In: Proceedings of IEEE International Conference on Web Information System and Mining (WISM 2009), pp. 519\u2013523 (2009)","DOI":"10.1109\/WISM.2009.111"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Bickford, M.: Unguessable atoms: a logic foundation for security. In: Proceedings of VSTTE 2008, pp. 30\u201353 (2008)","DOI":"10.1007\/978-3-540-87873-5_7"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Bickford, M., Constable, R.L.: Automated proof of authentication protocols in logic of events. In: Proceedings of 6th International Verification Workshop, pp. 13\u201330 (2010)","DOI":"10.29007\/r7n1"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Ceipher, U.B., Medaglia, C.M., Marino, A., Sposto, S., Moronli, A.: KerNeeS: a protocol for mutual authentication between NFC phones and POS terminals for secure payment transactions. In: 2012 9th International ISC Conference on Information Security and Cryptology (ISCISC). IEEE, pp. 115\u2013120 (2012)","DOI":"10.1109\/ISCISC.2012.6408203"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1049\/cje.2015.01.031","volume":"24","author":"M Xiao","year":"2015","unstructured":"Xiao, M., Ma, C., Deng, C.: A novel approach to automatic security protocol analysis based on authentication event logic. Chin. J. Electron. 24(1), 187\u2013192 (2015)","journal-title":"Chin. J. Electron."},{"issue":"12","key":"5_CR14","first-page":"2236","volume":"39","author":"Y Li","year":"2017","unstructured":"Li, Y., Xiao, M., Li, W.: Security proof of wireless mesh network authentication protocol based on logic of events. Comput. Eng. Sci. 39(12), 2236\u20132244 (2017)","journal-title":"Comput. Eng. Sci."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Xiao, M., Deng, C., Ma, C., et al.: Proving authentication property of modified Needham-Schroder protocol with logic of events. In: Proceedings of International Conference on Computer Information System and Industrial Applications, pp. 379\u2013383 (2015)","DOI":"10.2991\/cisia-15.2015.103"},{"issue":"10","key":"5_CR16","first-page":"1850","volume":"37","author":"X Liu","year":"2015","unstructured":"Liu, X., Xiao, M., Cheng, D., et al.: Security authentication property of the modified Needham-Schroder protocol based on logic of event. Comput. Eng. Sci. 37(10), 1850\u20131855 (2015)","journal-title":"Comput. Eng. Sci."},{"issue":"12","key":"5_CR17","first-page":"1701","volume":"10","author":"M Xiao","year":"2016","unstructured":"Xiao, M., Liu, X., Li, Y., et al.: Security certification of three-party network protocols based on strong authentication theory. J. Front. Comput. Sci. Technol. 10(12), 1701\u20131710 (2016)","journal-title":"J. Front. Comput. Sci. Technol."}],"container-title":["Communications in Computer and Information Science","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-2712-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T23:55:28Z","timestamp":1755647728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-13-2712-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9789811327117","9789811327124"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-2712-4_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"NCTCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"National Conference of Theoretical Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Shanghai","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"36","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nctcs2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/itcs.shufe.edu.cn\/nctcs2018\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}