{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,9]],"date-time":"2025-07-09T22:49:20Z","timestamp":1752101360454,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"22","license":[{"start":{"date-parts":[[2018,12,10]],"date-time":"2018-12-10T00:00:00Z","timestamp":1544400000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,12,10]],"date-time":"2018-12-10T00:00:00Z","timestamp":1544400000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U1764263","61872283"],"award-info":[{"award-number":["U1764263","61872283"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"the Natural Science Basic Research Plan in the Shaanxi Province of China","award":["2016JM6074"],"award-info":[{"award-number":["2016JM6074"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Neural Comput & Applic"],"published-print":{"date-parts":[[2020,11]]},"DOI":"10.1007\/s00521-018-3929-8","type":"journal-article","created":{"date-parts":[[2018,12,10]],"date-time":"2018-12-10T04:09:47Z","timestamp":1544414987000},"page":"16819-16831","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["A machine learning-based scheme for the security analysis of authentication and key agreement protocols"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6023-2864","authenticated-orcid":false,"given":"Zhuo","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhuzhu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haoran","family":"Ge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meng","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,12,10]]},"reference":[{"key":"3929_CR1","unstructured":"Alabdulatif A, Ma X, Nolle L (2012) A framework for cryptographic protocol analysis using linear temporal logic. In: International conference on information society, pp 525\u2013530"},{"key":"3929_CR2","first-page":"1","volume":"99","author":"A Jurcut","year":"2017","unstructured":"Jurcut A, Coffey T, Dojen R (2017) A novel security protocol attack detection logic with unique fault discovery capability for freshness attacks and interleaving session attacks. IEEE Trans Dependable Secure Comput 99:1","journal-title":"IEEE Trans Dependable Secure Comput"},{"key":"3929_CR3","unstructured":"Hess AV, Modersheim S (2017) Formalizing and proving a typing result for security protocols in isabelle\/hol. In: Computer security foundations symposium, pp 451\u2013463"},{"issue":"11","key":"3929_CR4","doi-asserted-by":"publisher","first-page":"5348","DOI":"10.1109\/TIE.2012.2218562","volume":"60","author":"D He","year":"2013","unstructured":"He D, Chen C, Chan S, Bu J, Yang LT (2013) Security analysis and improvement of a secure and distributed reprogramming protocol for wireless sensor networks. IEEE Trans Ind Electron 60(11):5348\u20135354","journal-title":"IEEE Trans Ind Electron"},{"key":"3929_CR5","doi-asserted-by":"crossref","unstructured":"Cohn-Gordon K, Cremers C, Dowling B, Garratt L, Stebila D (2017) A formal security analysis of the signal messaging protocol. In: IEEE European symposium on security and privacy (EuroS&P). IEEE, pp 451\u2013466","DOI":"10.1109\/EuroSP.2017.27"},{"key":"3929_CR6","unstructured":"Li T, Liu X, Qin Z, Zhang X (2009) Formal analysis for security of Otway\u2013Rees protocol with ban logic. In: First international workshop on database technology and applications, pp 590\u2013593"},{"issue":"1871","key":"3929_CR7","first-page":"1","volume":"426","author":"M Burrows","year":"1989","unstructured":"Burrows M, Abad M, Needham RM (1989) R.m.: a logic of authentication. Proc R Soc A Math Phys Eng Sci 426(1871):1\u201313","journal-title":"Proc R Soc A Math Phys Eng Sci"},{"key":"3929_CR8","doi-asserted-by":"crossref","unstructured":"Liu K, Ye J, Wang Y (2012) The security analysis on Otway\u2013Rees protocol based on ban logic. In: Fourth international conference on computational and information sciences, pp 341\u2013344","DOI":"10.1109\/ICCIS.2012.349"},{"key":"3929_CR9","doi-asserted-by":"crossref","unstructured":"Bhargavan K, Corin R, Zalinescu E (2008) Cryptographically verified implementations for tls. In: ACM conference on computer and communications security, pp 459\u2013468","DOI":"10.1145\/1455770.1455828"},{"key":"3929_CR10","doi-asserted-by":"crossref","unstructured":"Chaki S, Datta A (2009) Aspier: an automated framework for verifying security protocol implementations. In: IEEE computer security foundations symposium, pp 172\u2013185","DOI":"10.1109\/CSF.2009.20"},{"key":"3929_CR11","first-page":"1","volume":"99","author":"L Li","year":"2017","unstructured":"Li L, Sun J, Liu Y, Sun M, Dong JS (2017) A formal specification and verification framework for timed security protocols. IEEE Trans Softw Eng 99:1","journal-title":"IEEE Trans Softw Eng"},{"issue":"6","key":"3929_CR12","doi-asserted-by":"publisher","first-page":"3104","DOI":"10.1109\/TSG.2015.2409775","volume":"6","author":"S Pan","year":"2015","unstructured":"Pan S, Morris T, Adhikari U (2015) Developing a hybrid intrusion detection system using data mining for power systems. IEEE Trans Smart Grid 6(6):3104\u20133113","journal-title":"IEEE Trans Smart Grid"},{"key":"3929_CR13","doi-asserted-by":"crossref","unstructured":"Stevanovic M, Pedersen JM (2014) An efficient flow-based botnet detection using supervised machine learning. In: International conference on computing, networking and communications, pp 797\u2013801","DOI":"10.1109\/ICCNC.2014.6785439"},{"key":"3929_CR14","doi-asserted-by":"crossref","unstructured":"Petrakos N, Kotzanikolaou P, Douligeris C (2012) Using strand space model to verify the privacy properties of a fair anonymous authentication scheme. In: Panhellenic conference on informatics, pp 105\u2013110","DOI":"10.1109\/PCi.2012.73"},{"issue":"3","key":"3929_CR15","doi-asserted-by":"publisher","first-page":"259","DOI":"10.3233\/JCS-150526","volume":"23","author":"T Gibson-Robinson","year":"2015","unstructured":"Gibson-Robinson T, Kamil A, Lowe G (2015) Verifying layered security protocols. J Comput Secur 23(3):259\u2013307","journal-title":"J Comput Secur"},{"issue":"1849","key":"3929_CR16","first-page":"3215","volume":"364","author":"C Boyd","year":"2003","unstructured":"Boyd C, Mathuria A (2003) Protocols for authentication and key establishment. Inf Secur Cryptogr 364(1849):3215\u20133230","journal-title":"Inf Secur Cryptogr"},{"key":"3929_CR17","unstructured":"Clark J (1997) A survey of authentication protocol literature : version 1.0"},{"issue":"2","key":"3929_CR18","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev D, Yao AC (1983) On the security of public key protocols. Inf Theory IEEE Trans 29(2):198\u2013208","journal-title":"Inf Theory IEEE Trans"},{"key":"3929_CR19","volume-title":"Handbook of applied cryptography","author":"AJ Menezes","year":"1997","unstructured":"Menezes AJ, Vanstone SA, Oorschot PCV (1997) Handbook of applied cryptography. CRC Press, Boca Raton"},{"issue":"1","key":"3929_CR20","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1109\/TSE.2007.70754","volume":"34","author":"C Haley","year":"2008","unstructured":"Haley C, Laney R, Moffett J, Nuseibeh B (2008) Security requirements engineering: a framework for representation and analysis. IEEE Trans Softw Eng 34(1):133\u2013153","journal-title":"IEEE Trans Softw Eng"},{"issue":"3","key":"3929_CR21","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/MSP.2013.162","volume":"13","author":"D Basin","year":"2015","unstructured":"Basin D, Cremers C, Miyazaki K, Radomirovic S, Watanabe D (2015) Improving the security of cryptographic protocol standards. IEEE Secur Priv 13(3):24\u201331","journal-title":"IEEE Secur Priv"},{"issue":"5","key":"3929_CR22","doi-asserted-by":"publisher","first-page":"1566","DOI":"10.1109\/TC.2015.2448099","volume":"65","author":"W Zhang","year":"2016","unstructured":"Zhang W, Lin Y, Xiao S, Wu J, Zhou S (2016) Privacy preserving ranked multi-keyword search for multiple data owners in cloud computing. IEEE Trans Comput 65(5):1566\u20131577","journal-title":"IEEE Trans Comput"},{"issue":"1","key":"3929_CR23","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00165-012-0269-9","volume":"26","author":"M Avalle","year":"2014","unstructured":"Avalle M, Pironti A, Sisto R (2014) Formal verification of security protocol implementations: a survey. Formal Asp Comput 26(1):99\u2013123","journal-title":"Formal Asp Comput"},{"key":"3929_CR24","doi-asserted-by":"crossref","unstructured":"Dong B, Wang X (2016) Comparison deep learning method to traditional methods using for network intrusion detection. In: IEEE international conference on communication software and networks, pp 581\u2013585","DOI":"10.1109\/ICCSN.2016.7586590"},{"issue":"10","key":"3929_CR25","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1109\/32.637148","volume":"23","author":"G Lowe","year":"1996","unstructured":"Lowe G, Roscoe B (1996) Using CSP to detect errors in the TMN protocol. Softw Eng IEEE Trans 23(10):659\u2013669","journal-title":"Softw Eng IEEE Trans"},{"key":"3929_CR26","doi-asserted-by":"crossref","unstructured":"Du M, Li F, Zheng G, Srikumar V (2017) DeepLog: anomaly detection and diagnosis from system logs through deep learning. In: ACM Sigsac conference on computer and communications security, pp 1285\u20131298","DOI":"10.1145\/3133956.3134015"},{"key":"3929_CR27","doi-asserted-by":"publisher","DOI":"10.1109\/tcsvt.2018.2869841","author":"B Xiao","year":"2018","unstructured":"Xiao B, Wang K, Bi X, Li W, Han J (2018) 2D-LBP: an enhanced local binary feature for texture image classification. IEEE Trans Circuits Syst Video Technol. \nhttps:\/\/doi.org\/10.1109\/tcsvt.2018.2869841","journal-title":"IEEE Trans Circuits Syst Video Technol"},{"issue":"9","key":"3929_CR28","doi-asserted-by":"publisher","first-page":"2894","DOI":"10.3390\/s18092894","volume":"18","author":"Z Ma","year":"2018","unstructured":"Ma Z, Wang X, Ma R, Wang Z, Ma J (2018) Integrating gaze tracking and head-motion prediction for mobile device authentication: a proof of concept. Sensors 18(9):2894","journal-title":"Sensors"}],"container-title":["Neural Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-018-3929-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00521-018-3929-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-018-3929-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T10:07:15Z","timestamp":1603361235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00521-018-3929-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,10]]},"references-count":28,"journal-issue":{"issue":"22","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["3929"],"URL":"https:\/\/doi.org\/10.1007\/s00521-018-3929-8","relation":{},"ISSN":["0941-0643","1433-3058"],"issn-type":[{"type":"print","value":"0941-0643"},{"type":"electronic","value":"1433-3058"}],"subject":[],"published":{"date-parts":[[2018,12,10]]},"assertion":[{"value":"9 October 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 November 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 December 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}