Matches in SemOpenAlex for { <https://semopenalex.org/work/W3003760462> ?p ?o ?g. }
- W3003760462 endingPage "23688" @default.
- W3003760462 startingPage "23674" @default.
- W3003760462 abstract "As a critical component of the security architecture of 5G network, the authentication protocol plays a role of the first safeguard in ensuring the communication security, such as the confidentiality of user data. EAP-TLS is one of such protocols being defined in the 5G standards to provide key services in the specific IoT circumstances. This protocol is currently under the process of standardization, and it is vital to guarantee that the standardized protocol is free from any design flaws, which may result in severe vulnerabilities and serious consequences when implemented in real systems. However, it is still unclear whether the proposed 5G EAP-TLS authentication protocol provides the claimed security guarantees. To fill this gap, we present in this work a comprehensive formal analysis of the security related properties of the 5G EAP-TLS authentication protocol based on the symbolic model checking approach. Specifically, we build the first formal model of the 5G EAP-TLS authentication protocol in the applied pi calculus, and perform an automated security analysis of the formal protocol model by using the ProVerif model checker. Our analysis results show that there are some subtle flaws in the current protocol design that may compromise the claimed security objectives. To this end, we also propose and verify a possible fix that is able to mitigate these flaws. To the best of our knowledge, this is the first thorough formal analysis of the 5G EAP-TLS authentication protocol." @default.
- W3003760462 created "2020-02-07" @default.
- W3003760462 creator A5011441302 @default.
- W3003760462 creator A5021446079 @default.
- W3003760462 creator A5028260055 @default.
- W3003760462 creator A5059143972 @default.
- W3003760462 date "2020-01-01" @default.
- W3003760462 modified "2023-09-27" @default.
- W3003760462 title "Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif" @default.
- W3003760462 cites W1488313539 @default.
- W3003760462 cites W1573295900 @default.
- W3003760462 cites W1603878273 @default.
- W3003760462 cites W188034648 @default.
- W3003760462 cites W1975306232 @default.
- W3003760462 cites W1987581799 @default.
- W3003760462 cites W2029693536 @default.
- W3003760462 cites W2032577199 @default.
- W3003760462 cites W2132544882 @default.
- W3003760462 cites W2155728227 @default.
- W3003760462 cites W2169908972 @default.
- W3003760462 cites W2522035104 @default.
- W3003760462 cites W2544274814 @default.
- W3003760462 cites W2618267215 @default.
- W3003760462 cites W2652625053 @default.
- W3003760462 cites W2753648062 @default.
- W3003760462 cites W2765700031 @default.
- W3003760462 cites W2773344899 @default.
- W3003760462 cites W2793430853 @default.
- W3003760462 cites W2797851632 @default.
- W3003760462 cites W2803681306 @default.
- W3003760462 cites W2809727329 @default.
- W3003760462 cites W2889791335 @default.
- W3003760462 cites W2906890170 @default.
- W3003760462 cites W2944001547 @default.
- W3003760462 cites W2946869648 @default.
- W3003760462 cites W2968746919 @default.
- W3003760462 cites W2969545733 @default.
- W3003760462 cites W2992104486 @default.
- W3003760462 doi "https://doi.org/10.1109/access.2020.2969474" @default.
- W3003760462 hasPublicationYear "2020" @default.
- W3003760462 type Work @default.
- W3003760462 sameAs 3003760462 @default.
- W3003760462 citedByCount "28" @default.
- W3003760462 countsByYear W30037604622020 @default.
- W3003760462 countsByYear W30037604622021 @default.
- W3003760462 countsByYear W30037604622022 @default.
- W3003760462 countsByYear W30037604622023 @default.
- W3003760462 crossrefType "journal-article" @default.
- W3003760462 hasAuthorship W3003760462A5011441302 @default.
- W3003760462 hasAuthorship W3003760462A5021446079 @default.
- W3003760462 hasAuthorship W3003760462A5028260055 @default.
- W3003760462 hasAuthorship W3003760462A5059143972 @default.
- W3003760462 hasBestOaLocation W30037604621 @default.
- W3003760462 hasConcept C110251889 @default.
- W3003760462 hasConcept C111498074 @default.
- W3003760462 hasConcept C115903868 @default.
- W3003760462 hasConcept C142724271 @default.
- W3003760462 hasConcept C148417208 @default.
- W3003760462 hasConcept C165751822 @default.
- W3003760462 hasConcept C178489894 @default.
- W3003760462 hasConcept C204787440 @default.
- W3003760462 hasConcept C207828512 @default.
- W3003760462 hasConcept C21564112 @default.
- W3003760462 hasConcept C2780385302 @default.
- W3003760462 hasConcept C33884865 @default.
- W3003760462 hasConcept C38369872 @default.
- W3003760462 hasConcept C38652104 @default.
- W3003760462 hasConcept C41008148 @default.
- W3003760462 hasConcept C71924100 @default.
- W3003760462 hasConcept C75606506 @default.
- W3003760462 hasConcept C80444323 @default.
- W3003760462 hasConceptScore W3003760462C110251889 @default.
- W3003760462 hasConceptScore W3003760462C111498074 @default.
- W3003760462 hasConceptScore W3003760462C115903868 @default.
- W3003760462 hasConceptScore W3003760462C142724271 @default.
- W3003760462 hasConceptScore W3003760462C148417208 @default.
- W3003760462 hasConceptScore W3003760462C165751822 @default.
- W3003760462 hasConceptScore W3003760462C178489894 @default.
- W3003760462 hasConceptScore W3003760462C204787440 @default.
- W3003760462 hasConceptScore W3003760462C207828512 @default.
- W3003760462 hasConceptScore W3003760462C21564112 @default.
- W3003760462 hasConceptScore W3003760462C2780385302 @default.
- W3003760462 hasConceptScore W3003760462C33884865 @default.
- W3003760462 hasConceptScore W3003760462C38369872 @default.
- W3003760462 hasConceptScore W3003760462C38652104 @default.
- W3003760462 hasConceptScore W3003760462C41008148 @default.
- W3003760462 hasConceptScore W3003760462C71924100 @default.
- W3003760462 hasConceptScore W3003760462C75606506 @default.
- W3003760462 hasConceptScore W3003760462C80444323 @default.
- W3003760462 hasLocation W30037604621 @default.
- W3003760462 hasOpenAccess W3003760462 @default.
- W3003760462 hasPrimaryLocation W30037604621 @default.
- W3003760462 hasRelatedWork W1542320248 @default.
- W3003760462 hasRelatedWork W1614600332 @default.
- W3003760462 hasRelatedWork W1986267295 @default.
- W3003760462 hasRelatedWork W2046905069 @default.
- W3003760462 hasRelatedWork W2112092915 @default.
- W3003760462 hasRelatedWork W2120475074 @default.