{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:44:09Z","timestamp":1740149049094,"version":"3.37.3"},"reference-count":39,"publisher":"Wiley","license":[{"start":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T00:00:00Z","timestamp":1602806400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100014881","name":"Guangzhou University","doi-asserted-by":"publisher","award":["2018A030310071"],"award-info":[{"award-number":["2018A030310071"]}],"id":[{"id":"10.13039\/501100014881","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003453","name":"Natural Science Foundation of Guangdong Province","doi-asserted-by":"publisher","award":["2018A030310071"],"award-info":[{"award-number":["2018A030310071"]}],"id":[{"id":"10.13039\/501100003453","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Security and Communication Networks"],"published-print":{"date-parts":[[2020,10,16]]},"abstract":"<jats:p>The application of machine learning in the security analysis of authentication and key agreement protocol was first launched by Ma et al. in 2018. Although they received remarkable results with an accuracy of 72% for the first time, their analysis is limited to replay attack and key confirmation attack. In addition, their suggested framework is based on a multiclassification problem in which every protocol or dataset instance is either secure or prone to a security attack such as replay attack, key confirmation, or other attacks. In this paper, we show that multiclassification is not an appropriate framework for such analysis, since authentication protocols may suffer different attacks simultaneously. Furthermore, we consider more security properties and attacks to analyze protocols against. These properties include strong authentication and Unknown Key Share (UKS) attack, key freshness, key authentication, and password guessing attack. In addition, we propose a much more efficient dataset construction model using a tenth number of features, which improves the solving speed to a large extent. The results indicate that our proposed model outperforms the previous models by at least 10\u201320 percent in all of the machine learning solving algorithms such that upper-bound performance reaches an accuracy of over 80% in the analysis of all security properties and attacks. Despite the previous models, the classification accuracy of our proposed dataset construction model rises in a rational manner along with the increase of the dataset size.<\/jats:p>","DOI":"10.1155\/2020\/8848389","type":"journal-article","created":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T18:35:07Z","timestamp":1602873307000},"page":"1-15","source":"Crossref","is-referenced-by-count":2,"title":["A Novel Machine Learning-Based Approach for Security Analysis of Authentication and Key Agreement Protocols"],"prefix":"10.1155","volume":"2020","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6802-1084","authenticated-orcid":true,"given":"Behnam","family":"Zahednejad","sequence":"first","affiliation":[{"name":"Institute of Artificial Intelligence and Blockchain, Guangzhou University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5279-5795","authenticated-orcid":true,"given":"Lishan","family":"Ke","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence and Blockchain, Guangzhou University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Li","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence and Blockchain, Guangzhou University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09527-0","volume-title":"Protocols for Authentication and Key Establishment","author":"C. Boyd","year":"2003"},{"volume-title":"The Transport Layer Security (TLS) Protocol","year":"2008","author":"T. Dierks","key":"2"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1561\/3300000004"},{"author":"C. J. Cremers","first-page":"414","article-title":"The Scyther Tool: verification, falsification, and analysis of security protocols","key":"4"},{"author":"A. Armando","first-page":"281","article-title":"The AVISPA tool for the automated validation of internet security protocols and applications","key":"5"},{"key":"6","first-page":"156","article-title":"CryptoVerif: computationally sound mechanized prover for cryptographic protocols","volume":"117","author":"B. Blanchet","year":"2007","journal-title":"Formal Protocol Verification"},{"author":"A. Bleeker","article-title":"A semantics for BAN logic","key":"7"},{"author":"I. Cervesato","article-title":"The Dolev-Yao intruder is the most powerful attacker","key":"8"},{"author":"F. J. T. F\u00e1brega","first-page":"160","article-title":"Strand spaces: why is a security protocol correct?","key":"9"},{"author":"H. Maghrebi","first-page":"3","article-title":"Breaking cryptographic implementations using deep learning techniques","key":"10"},{"author":"S. Picek","first-page":"157","article-title":"On the performance of convolutional neural networks for side-channel analysis","key":"11"},{"author":"A. Gohr","article-title":"Improving attacks on round-reduced speck32\/64 using deep learning","key":"12"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1155\/2020\/3701067"},{"author":"T. Li","first-page":"590","article-title":"Formal analysis for security of Otway\u2013Rees protocol with ban logic","key":"14"},{"author":"K. Liu","first-page":"341","article-title":"The security analysis on Otway\u2013Rees protocol based on ban logic","key":"15"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/tsg.2015.2409775"},{"author":"M. Stevanovic","first-page":"797","article-title":"An efficient flow-based botnet detection using supervised machine learning","key":"17"},{"key":"18","first-page":"1","article-title":"A machine learning-based scheme for the security analysis of authentication and key agreement protocols","author":"Z. Ma","year":"2018","journal-title":"Neural Computing and Applications"},{"key":"19","first-page":"1","article-title":"Xgboost: extreme gradient boosting","volume":"4-2","author":"T. Chen","year":"2015","journal-title":"R Package Version"},{"volume-title":"The Design of Rijndael: AES-The Advanced Encryption Standard","year":"2013","author":"J. Daemen","key":"20"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1147\/rd.383.0243"},{"key":"22","article-title":"Technology-security techniques-entity authentication-part 2: mechanisms using symmetric encipherment algorithms","author":"ISO Information","year":"1999","journal-title":"International Standard"},{"author":"B. Zahednejad","first-page":"125","article-title":"A novel and efficient privacy preserving TETRA authentication protocol","key":"23"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1016\/j.comnet.2018.01.015"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1007\/s12652-018-0937-6"},{"year":"1989","author":"ISO Open","article-title":"Systems interconnection-basic reference model-part 2: security architecture","key":"26"},{"issue":"2","key":"27","first-page":"99","article-title":"On seeking smart public-key-distribution systems","volume":"E69","author":"T. Matsumoto","year":"1986","journal-title":"Transactions of the IECE of Japan"},{"author":"S. Yamaguchi","first-page":"653","article-title":"Design and implementation of an (authentication system in WIDE internet environment","key":"28"},{"doi-asserted-by":"publisher","key":"29","DOI":"10.1016\/0020-0190(95)00136-z"},{"volume-title":"Handbook of Applied Cryptography","year":"1997","author":"J. Alfred","key":"30"},{"author":"L. Gong","first-page":"131","article-title":"Variations on the themes of message freshness and replay","key":"31"},{"doi-asserted-by":"publisher","key":"32","DOI":"10.1145\/358722.358740"},{"doi-asserted-by":"publisher","key":"33","DOI":"10.1109\/jsac.2002.806132"},{"key":"34","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/3-540-48285-7_20","article-title":"On a limitation of BAN logic","volume-title":"Advances in Cryptology-Eurocrypt \u201993","author":"C. Boyd","year":"1994"},{"key":"35","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BFb0028166","article-title":"Entity authentication and authenticated key transport protocols employing asymmetric techniques","volume-title":"Security Protocols 5th International Workshop","author":"S. Blake-Wilson","year":"1998"},{"doi-asserted-by":"publisher","key":"36","DOI":"10.1049\/el:19980242"},{"issue":"4","key":"37","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/302350.302356","article-title":"Fixing a problem in the Helsinki protocol","volume":"32","author":"J. Chris","year":"1998","journal-title":"ACM Operating Systems Review"},{"author":"P. Syverson","first-page":"187","article-title":"A taxonomy of replay attacks","key":"38"},{"year":"2009","author":"R. Graham","article-title":"How hackers will crack your password","key":"39"}],"container-title":["Security and Communication Networks"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/scn\/2020\/8848389.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/scn\/2020\/8848389.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/scn\/2020\/8848389.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T18:35:16Z","timestamp":1602873316000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.hindawi.com\/journals\/scn\/2020\/8848389\/"}},"subtitle":[],"editor":[{"given":"Xiaolong","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2020,10,16]]},"references-count":39,"alternative-id":["8848389","8848389"],"URL":"https:\/\/doi.org\/10.1155\/2020\/8848389","relation":{},"ISSN":["1939-0122","1939-0114"],"issn-type":[{"type":"electronic","value":"1939-0122"},{"type":"print","value":"1939-0114"}],"subject":[],"published":{"date-parts":[[2020,10,16]]}}}