{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:39:37Z","timestamp":1777901977630,"version":"3.51.4"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T00:00:00Z","timestamp":1636675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T00:00:00Z","timestamp":1636675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61962020"],"award-info":[{"award-number":["61962020"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61562026"],"award-info":[{"award-number":["61562026"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010857","name":"Jiangxi Provincial Department of Science and Technology","doi-asserted-by":"publisher","award":["20172BCB22015"],"award-info":[{"award-number":["20172BCB22015"]}],"id":[{"id":"10.13039\/501100010857","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100009102","name":"Education Department of Jiangxi Province","doi-asserted-by":"publisher","award":["GJJ190326"],"award-info":[{"award-number":["GJJ190326"]}],"id":[{"id":"10.13039\/501100009102","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2022,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>PUF (Physical unclonable function) is a new hardware security primitive, and the research on PUFs is one of the emerging research focuses. For PUF-based mutual authentication protocols, a method to abstract the security properties of hardware by using logic of events is proposed, and the application aspects of logic of events are extended to protocols based on hardware security. With the interaction of PUF-based mutual authentication protocol formally described by logic of events, the basic sequences are constructed and the strong authentication property in protocol interaction process is verified. Based on the logic of events, the freshness of nonces is defined, and the persist rule is proposed according to the concept of freshness, which ensures the consistency of the protocol state and behavior predicate in the proof process, and reduces the complexity and redundancy in the protocol analysis process. Under reasonable assumptions, the security of the protocol is proven, and the fact that logic of events applies to PUF-based mutual authentication protocols is shown.<\/jats:p>","DOI":"10.1007\/s00500-021-06163-9","type":"journal-article","created":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T05:02:48Z","timestamp":1636693368000},"page":"841-852","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Proving authentication property of PUF-based mutual authentication protocol based on logic of events"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4916-7317","authenticated-orcid":false,"given":"Jiawen","family":"Song","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meihua","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haoyang","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,12]]},"reference":[{"key":"6163_CR1","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.jpdc.2018.04.007","volume":"119","author":"M Barbareschi","year":"2018","unstructured":"Barbareschi M, De Benedictis A, Mazzocca Nicola (2018) A PUF-based hardware mutual authentication protocol. J Parall Distrib Comput 119:107\u2013120","journal-title":"J Parall Distrib Comput"},{"key":"6163_CR2","doi-asserted-by":"crossref","unstructured":"Bickford M (2008) Unguessable atoms: a logical foundation for security. In: Working conference on verified software: theories, tools, and experiments. Springer, Berlin, Heidelberg, pp 30\u201353","DOI":"10.1007\/978-3-540-87873-5_7"},{"key":"6163_CR3","unstructured":"Bickford M, Constable RL (2003) A logic of events. Cornell University"},{"key":"6163_CR4","unstructured":"Bickford M, Constable RL (2010) Automated proof of authentication protocols in a logic of events. In: VERIFY@ IJCAR, pp. 13-30"},{"key":"6163_CR5","doi-asserted-by":"crossref","unstructured":"Brzuska C et al. (2011) Physically uncloneable functions in the universal composition framework. Annual cryptology conference. Springer, Berlin, Heidelberg","DOI":"10.1007\/978-3-642-22792-9_4"},{"key":"6163_CR6","doi-asserted-by":"crossref","unstructured":"Chatterjee D, Hazra A, Mukhopadhyay D (2019) Formal analysis of PUF instances leveraging correlation-spectra in Boolean functions. In: Security, privacy, and applied cryptography engineering. SPACE 2019. Lecture Notes in Computer Science, vol 11947","DOI":"10.1007\/978-3-030-35869-3_11"},{"issue":"2","key":"6163_CR7","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/2818186","volume":"48","author":"J Delvaux","year":"2015","unstructured":"Delvaux J et al (2015) A survey on lightweight entity authentication with strong PUFs. ACM Comput Surv (CSUR) 48(2):26","journal-title":"ACM Comput Surv (CSUR)"},{"key":"6163_CR8","doi-asserted-by":"crossref","unstructured":"Focardi R, Luccio FL (2020) Automated analysis of PUF-based protocols. In: 2020 IEEE 33rd Computer security foundations symposium (CSF), pp. 304-317","DOI":"10.1109\/CSF49147.2020.00029"},{"key":"6163_CR9","doi-asserted-by":"crossref","unstructured":"Meguerdichian S, Potkonjak M (2011) Security primitives and protocols for ultra low power sensor systems. SENSORS, 2011 IEEE. IEEE","DOI":"10.1109\/ICSENS.2011.6127375"},{"key":"6163_CR10","doi-asserted-by":"crossref","unstructured":"Lee YS, Lee HJ, Alasaarela E (2013) Mutual authentication in wireless body sensor networks (WBSN) based on physical unclonable function (PUF). In: 2013 9th International wireless communications and mobile computing conference (IWCMC). IEEE","DOI":"10.1109\/IWCMC.2013.6583746"},{"key":"6163_CR11","unstructured":"Li Y (2018) Formal analysis of wireless mesh network client authencation protocols based on event logic. East China Jiaotong University"},{"issue":"1","key":"6163_CR12","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/JSAC.2002.806125","volume":"21","author":"C Meadows","year":"2003","unstructured":"Meadows C (2003) Formal methods for cryptographic protocol analysis: emerging issues and trends. IEEE J Select Areas Commun 21(1):44\u201354","journal-title":"IEEE J Select Areas Commun"},{"key":"6163_CR13","doi-asserted-by":"crossref","unstructured":"Meguerdichian S, Potkonjak M (2011) Security primitives and protocols for ultra low power sensor systems. SENSORS, 2011 IEEE. IEEE","DOI":"10.1109\/ICSENS.2011.6127375"},{"issue":"1","key":"6163_CR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1049\/cje.2015.01.031","volume":"24","author":"X Meihua","year":"2015","unstructured":"Meihua X, Ma C, Deng C, Zhu K (2015) A novel approach to automatic security protocol analysis based on authentication event logic. Chinese J Electron 24(1):187\u2013192","journal-title":"Chinese J Electron"},{"key":"6163_CR15","doi-asserted-by":"crossref","unstructured":"O\u2019Neill M (2016) Insecurity by design: todays IoT device security problem. Engineering 2(1):48\u201349","DOI":"10.1016\/J.ENG.2016.01.014"},{"issue":"5589","key":"6163_CR16","doi-asserted-by":"publisher","first-page":"2026","DOI":"10.1126\/science.1074376","volume":"297","author":"R Pappu","year":"2002","unstructured":"Pappu R et al (2002) Physical one-way functions. Science 297(5589):2026\u20132030","journal-title":"Science"},{"key":"6163_CR17","first-page":"277","volume":"2009","author":"Ulrich Ruhrmair","year":"2009","unstructured":"Ruhrmair Ulrich, Jan S, Frank S (2009) On the foundations of physical unclonable functions. IACR Cryptology ePrint Archive 2009:277","journal-title":"IACR Cryptology ePrint Archive"},{"key":"6163_CR18","doi-asserted-by":"crossref","unstructured":"Suh GE, Devadas S (2007) Physical unclonable functions for device authentication and secret key generation. In: 2007 44th ACM\/IEEE Design Automation Conference. IEEE","DOI":"10.1109\/DAC.2007.375043"},{"key":"6163_CR19","first-page":"228","volume":"2012","author":"Marten van Dijk","year":"2012","unstructured":"van Dijk Marten, Ruhrmair U (2012) Physical unclonable functions in cryptographic protocols: security proofs and impossibility results. IACR Cryptology ePrint Archive 2012:228","journal-title":"IACR Cryptology ePrint Archive"},{"issue":"3","key":"6163_CR20","first-page":"1","volume":"5","author":"Christian Wachsmann","year":"2014","unstructured":"Wachsmann Christian, Sadeghi A-R (2014) Physically unclonable functions (PUFs): Applications, models, and future directions. Synth Lect Inf Secur, Privacy, Trust 5(3):1\u201391","journal-title":"Synth Lect Inf Secur, Privacy, Trust"},{"key":"6163_CR21","doi-asserted-by":"crossref","unstructured":"Xiao M, Bickford M (2009) Logic of events for proving security properties of protocols. In: 2009 International conference on web information systems and mining (WISM 2009). IEEE","DOI":"10.1109\/WISM.2009.111"},{"key":"6163_CR22","doi-asserted-by":"publisher","first-page":"51853","DOI":"10.1109\/ACCESS.2018.2870200","volume":"6","author":"K Yang","year":"2018","unstructured":"Yang K et al (2018) Proving mutual authentication property of KerNeeS protocol based on logic of events. IEEE Access 6:51853\u201351863","journal-title":"IEEE Access"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-021-06163-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-021-06163-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-021-06163-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T17:07:08Z","timestamp":1642007228000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-021-06163-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,12]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,1]]}},"alternative-id":["6163"],"URL":"https:\/\/doi.org\/10.1007\/s00500-021-06163-9","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,12]]},"assertion":[{"value":"9 July 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 November 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}