FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2809727329> ?p ?o ?g. }

• W2809727329 abstract "Mobile communication networks connect much of the world's population. The security of users' calls, SMSs, and mobile data depends on the guarantees provided by the Authenticated Key Exchange protocols used. For the next-generation network (5G), the 3GPP group has standardized the 5G AKA protocol for this purpose. We provide the first comprehensive formal model of a protocol from the AKA family: 5G AKA. We also extract precise requirements from the 3GPP standards defining 5G and we identify missing security goals. Using the security protocol verification tool Tamarin, we conduct a full, systematic, security evaluation of the model with respect to the 5G security goals. Our automated analysis identifies the minimal security assumptions required for each security goal and we find that some critical security goals are not met, except under additional assumptions missing from the standard. Finally, we make explicit recommendations with provably secure fixes for the attacks and weaknesses we found." @default.
• W2809727329 created "2018-07-10" @default.
• W2809727329 creator A5004299311 @default.
• W2809727329 creator A5025344654 @default.
• W2809727329 creator A5045781126 @default.
• W2809727329 creator A5052556643 @default.
• W2809727329 creator A5087551010 @default.
• W2809727329 creator A5089250692 @default.
• W2809727329 date "2018-10-15" @default.
• W2809727329 modified "2023-10-17" @default.
• W2809727329 title "A Formal Analysis of 5G Authentication" @default.
• W2809727329 cites W1975306232 @default.
• W2809727329 cites W1979418580 @default.
• W2809727329 cites W2002789557 @default.
• W2809727329 cites W2024761866 @default.
• W2809727329 cites W2029693536 @default.
• W2809727329 cites W2042280942 @default.
• W2809727329 cites W2045673642 @default.
• W2809727329 cites W2500947442 @default.
• W2809727329 cites W2515148583 @default.
• W2809727329 cites W2544274814 @default.
• W2809727329 cites W2606512193 @default.
• W2809727329 cites W2618267215 @default.
• W2809727329 cites W2652625053 @default.
• W2809727329 cites W2765700031 @default.
• W2809727329 cites W2787222284 @default.
• W2809727329 cites W2792636363 @default.
• W2809727329 cites W2963061006 @default.
• W2809727329 cites W2963139382 @default.
• W2809727329 cites W3005515334 @default.
• W2809727329 doi "https://doi.org/10.1145/3243734.3243846" @default.
• W2809727329 hasPublicationYear "2018" @default.
• W2809727329 type Work @default.
• W2809727329 sameAs 2809727329 @default.
• W2809727329 citedByCount "191" @default.
• W2809727329 countsByYear W28097273292017 @default.
• W2809727329 countsByYear W28097273292018 @default.
• W2809727329 countsByYear W28097273292019 @default.
• W2809727329 countsByYear W28097273292020 @default.
• W2809727329 countsByYear W28097273292021 @default.
• W2809727329 countsByYear W28097273292022 @default.
• W2809727329 countsByYear W28097273292023 @default.
• W2809727329 crossrefType "proceedings-article" @default.
• W2809727329 hasAuthorship W2809727329A5004299311 @default.
• W2809727329 hasAuthorship W2809727329A5025344654 @default.
• W2809727329 hasAuthorship W2809727329A5045781126 @default.
• W2809727329 hasAuthorship W2809727329A5052556643 @default.
• W2809727329 hasAuthorship W2809727329A5087551010 @default.
• W2809727329 hasAuthorship W2809727329A5089250692 @default.
• W2809727329 hasBestOaLocation W28097273292 @default.
• W2809727329 hasConcept C121158502 @default.
• W2809727329 hasConcept C121822524 @default.
• W2809727329 hasConcept C142724271 @default.
• W2809727329 hasConcept C148417208 @default.
• W2809727329 hasConcept C161191863 @default.
• W2809727329 hasConcept C178489894 @default.
• W2809727329 hasConcept C204787440 @default.
• W2809727329 hasConcept C21564112 @default.
• W2809727329 hasConcept C2780385302 @default.
• W2809727329 hasConcept C31258907 @default.
• W2809727329 hasConcept C33884865 @default.
• W2809727329 hasConcept C38369872 @default.
• W2809727329 hasConcept C38652104 @default.
• W2809727329 hasConcept C41008148 @default.
• W2809727329 hasConcept C71924100 @default.
• W2809727329 hasConceptScore W2809727329C121158502 @default.
• W2809727329 hasConceptScore W2809727329C121822524 @default.
• W2809727329 hasConceptScore W2809727329C142724271 @default.
• W2809727329 hasConceptScore W2809727329C148417208 @default.
• W2809727329 hasConceptScore W2809727329C161191863 @default.
• W2809727329 hasConceptScore W2809727329C178489894 @default.
• W2809727329 hasConceptScore W2809727329C204787440 @default.
• W2809727329 hasConceptScore W2809727329C21564112 @default.
• W2809727329 hasConceptScore W2809727329C2780385302 @default.
• W2809727329 hasConceptScore W2809727329C31258907 @default.
• W2809727329 hasConceptScore W2809727329C33884865 @default.
• W2809727329 hasConceptScore W2809727329C38369872 @default.
• W2809727329 hasConceptScore W2809727329C38652104 @default.
• W2809727329 hasConceptScore W2809727329C41008148 @default.
• W2809727329 hasConceptScore W2809727329C71924100 @default.
• W2809727329 hasLocation W28097273291 @default.
• W2809727329 hasLocation W280972732910 @default.
• W2809727329 hasLocation W28097273292 @default.
• W2809727329 hasLocation W28097273293 @default.
• W2809727329 hasLocation W28097273294 @default.
• W2809727329 hasLocation W28097273295 @default.
• W2809727329 hasLocation W28097273296 @default.
• W2809727329 hasLocation W28097273297 @default.
• W2809727329 hasLocation W28097273298 @default.
• W2809727329 hasLocation W28097273299 @default.
• W2809727329 hasOpenAccess W2809727329 @default.
• W2809727329 hasPrimaryLocation W28097273291 @default.
• W2809727329 hasRelatedWork W1971410744 @default.
• W2809727329 hasRelatedWork W2152415989 @default.
• W2809727329 hasRelatedWork W2351645295 @default.
• W2809727329 hasRelatedWork W2353466842 @default.
• W2809727329 hasRelatedWork W2358638783 @default.
• W2809727329 hasRelatedWork W2365081032 @default.
• W2809727329 hasRelatedWork W2373411624 @default.
• W2809727329 hasRelatedWork W2378688856 @default.

• next