{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:12:44Z","timestamp":1730232764655,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T00:00:00Z","timestamp":1627430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T00:00:00Z","timestamp":1627430400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T00:00:00Z","timestamp":1627430400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,7,28]]},"DOI":"10.1109\/iccc52777.2021.9580325","type":"proceedings-article","created":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T23:22:03Z","timestamp":1636413723000},"page":"11-16","source":"Crossref","is-referenced-by-count":1,"title":["Security Verification and Improvement of 5G AKA Protocol Based on Petri-net"],"prefix":"10.1109","author":[{"given":"Zhiping","family":"Yan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chonglin","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yue","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hejiao","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"431","article-title":"On the efficacy of new privacy attacks against 5G AKA","author":"haibat","year":"2019","journal-title":"Joint Conference on e-Business and Telecommunications"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/COMSNETS48256.2020.9027314"},{"key":"ref12","first-page":"1383","article-title":"A formal analysis of 5G authentication","author":"basinm","year":"2018","journal-title":"ACM Conference on Computer and Communications Security"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382221"},{"key":"ref14","first-page":"255","volume":"2","author":"fouque","year":"2016","journal-title":"Achieving better privacy for the 3gpp AKA protocol"},{"key":"ref15","first-page":"1389","article-title":"Symmetric key based 5G AKA authentication protocol satisfying anonymity and unlinkability","volume":"181","year":"2020","journal-title":"Computer Networks"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1186\/s13638-020-01702-8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2019.8766448"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11276-019-02084-6"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2914941"},{"journal-title":"Security architecture and procedures for 5G System","year":"2019","key":"ref4"},{"key":"ref3","first-page":"1","article-title":"Component-Based formal analysis of5G-AKA: Channel Assumptions and Session Confusion","author":"j","year":"2019","journal-title":"Symposium on Network and Distributed System Security"},{"key":"ref6","first-page":"49","article-title":"The Enhanced EAP Authentication Protocol for Devices in Power LTE Private Network","author":"huang","year":"2020","journal-title":"world symposium on communication engineering"},{"key":"ref5","first-page":"47","article-title":"Formal verification of embedded logic controller specification with computer deduction in temporal logic","volume":"87","author":"grobelna","year":"2011","journal-title":"Przeglad Elektrotechniczny"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2019.00041"},{"journal-title":"Security architecture and procedures for 5G System","year":"2020","key":"ref7"},{"key":"ref2","first-page":"593","volume":"74","author":"behrad","year":"2019","journal-title":"A survey on authentication and access control for mobile networks from 4G to 5G Ann Telecommun"},{"journal-title":"Security architecture and procedures for 5G System","year":"2018","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2478\/popets-2019-0039"}],"event":{"name":"2021 IEEE\/CIC International Conference on Communications in China (ICCC)","start":{"date-parts":[[2021,7,28]]},"location":"Xiamen, China","end":{"date-parts":[[2021,7,30]]}},"container-title":["2021 IEEE\/CIC International Conference on Communications in China (ICCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9579484\/9580191\/09580325.pdf?arnumber=9580325","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:55:52Z","timestamp":1652201752000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9580325\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,28]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iccc52777.2021.9580325","relation":{},"subject":[],"published":{"date-parts":[[2021,7,28]]}}}