Matches in SemOpenAlex for { <https://semopenalex.org/work/W4200505714> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4200505714 abstract "The advent of 5G, one of the most recent and promising technologies currently under deployment, fulfills the emerging needs of mobile subscribers by introducing several new technological advancements. However, this may lead to numerous attacks in the emerging 5G networks. Thus, to guarantee the secure transmission of user data, 5G Authentication protocols such as Extensible Authentication Protocol - Authenticated Key Agreement Protocol (EAP-AKA) were developed. These protocols play an important role in ensuring security to the users as well as their data. However, there exists no guarantees about the security of the protocols. Thus formal verification is necessary to ensure that the authentication protocols are devoid of vulnerabilities or security loopholes. Towards this goal, we formally verify the security of the 5G EAP-AKA protocol using an automated verification tool called ProVerif. ProVerif identifies traces of attacks and checks for security loopholes that can be accessed by the attackers. In addition, we model the complete architecture of the 5G EAP-AKA protocol using the language called typed pi-calculus and analyze the protocol architecture through symbolic model checking. Our analysis shows that some cryptographic parameters in the architecture can be accessed by the attackers which cause the corresponding security properties to be violated." @default.
- W4200505714 created "2021-12-31" @default.
- W4200505714 creator A5013774176 @default.
- W4200505714 creator A5035286185 @default.
- W4200505714 creator A5049396814 @default.
- W4200505714 date "2021-11-24" @default.
- W4200505714 modified "2023-10-18" @default.
- W4200505714 title "Formal Verification of 5G EAP-AKA protocol" @default.
- W4200505714 cites W2500947442 @default.
- W4200505714 cites W2544274814 @default.
- W4200505714 cites W2652625053 @default.
- W4200505714 cites W2771603954 @default.
- W4200505714 cites W2772805003 @default.
- W4200505714 cites W2773344899 @default.
- W4200505714 cites W2787222284 @default.
- W4200505714 cites W2803681306 @default.
- W4200505714 cites W2809727329 @default.
- W4200505714 cites W2902872716 @default.
- W4200505714 cites W2906890170 @default.
- W4200505714 cites W2962819974 @default.
- W4200505714 cites W2963931528 @default.
- W4200505714 cites W2968746919 @default.
- W4200505714 cites W2969545733 @default.
- W4200505714 cites W2992104486 @default.
- W4200505714 cites W3003760462 @default.
- W4200505714 cites W3044943040 @default.
- W4200505714 cites W3080380934 @default.
- W4200505714 cites W3092001004 @default.
- W4200505714 cites W3195000612 @default.
- W4200505714 doi "https://doi.org/10.1109/itnac53136.2021.9652163" @default.
- W4200505714 hasPublicationYear "2021" @default.
- W4200505714 type Work @default.
- W4200505714 citedByCount "1" @default.
- W4200505714 countsByYear W42005057142022 @default.
- W4200505714 crossrefType "proceedings-article" @default.
- W4200505714 hasAuthorship W4200505714A5013774176 @default.
- W4200505714 hasAuthorship W4200505714A5035286185 @default.
- W4200505714 hasAuthorship W4200505714A5049396814 @default.
- W4200505714 hasConcept C111498074 @default.
- W4200505714 hasConcept C121158502 @default.
- W4200505714 hasConcept C142724271 @default.
- W4200505714 hasConcept C148417208 @default.
- W4200505714 hasConcept C161191863 @default.
- W4200505714 hasConcept C178489894 @default.
- W4200505714 hasConcept C199360897 @default.
- W4200505714 hasConcept C204787440 @default.
- W4200505714 hasConcept C21564112 @default.
- W4200505714 hasConcept C2780385302 @default.
- W4200505714 hasConcept C31258907 @default.
- W4200505714 hasConcept C33884865 @default.
- W4200505714 hasConcept C38652104 @default.
- W4200505714 hasConcept C41008148 @default.
- W4200505714 hasConcept C71924100 @default.
- W4200505714 hasConceptScore W4200505714C111498074 @default.
- W4200505714 hasConceptScore W4200505714C121158502 @default.
- W4200505714 hasConceptScore W4200505714C142724271 @default.
- W4200505714 hasConceptScore W4200505714C148417208 @default.
- W4200505714 hasConceptScore W4200505714C161191863 @default.
- W4200505714 hasConceptScore W4200505714C178489894 @default.
- W4200505714 hasConceptScore W4200505714C199360897 @default.
- W4200505714 hasConceptScore W4200505714C204787440 @default.
- W4200505714 hasConceptScore W4200505714C21564112 @default.
- W4200505714 hasConceptScore W4200505714C2780385302 @default.
- W4200505714 hasConceptScore W4200505714C31258907 @default.
- W4200505714 hasConceptScore W4200505714C33884865 @default.
- W4200505714 hasConceptScore W4200505714C38652104 @default.
- W4200505714 hasConceptScore W4200505714C41008148 @default.
- W4200505714 hasConceptScore W4200505714C71924100 @default.
- W4200505714 hasLocation W42005057141 @default.
- W4200505714 hasOpenAccess W4200505714 @default.
- W4200505714 hasPrimaryLocation W42005057141 @default.
- W4200505714 hasRelatedWork W1978124413 @default.
- W4200505714 hasRelatedWork W2004539568 @default.
- W4200505714 hasRelatedWork W2088289695 @default.
- W4200505714 hasRelatedWork W2100006654 @default.
- W4200505714 hasRelatedWork W2137617551 @default.
- W4200505714 hasRelatedWork W2181469750 @default.
- W4200505714 hasRelatedWork W2229881279 @default.
- W4200505714 hasRelatedWork W2511834152 @default.
- W4200505714 hasRelatedWork W2919633864 @default.
- W4200505714 hasRelatedWork W4298190647 @default.
- W4200505714 isParatext "false" @default.
- W4200505714 isRetracted "false" @default.
- W4200505714 workType "article" @default.