Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079683368> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2079683368 abstract "For communication in Next Generation Networks, highly-developed mobile devices will enable users to store and manage a lot of credentials on their terminals. Furthermore, these terminals will represent and act on behalf of users when accessing different networks and connecting to a wide variety of services. In this situation, it is essential for users to trust their terminals and for all transactions using them to be secure. This paper analyses a number of the Authentication and Key Agreement protocols between the users and mobile terminals, then proposes a novel device authentication protocol. The proposed protocol is analysed and verified using a formal methods approach based on Casper/FDR compiler." @default.
- W2079683368 created "2016-06-24" @default.
- W2079683368 creator A5013385652 @default.
- W2079683368 creator A5015759294 @default.
- W2079683368 creator A5066166428 @default.
- W2079683368 creator A5081189407 @default.
- W2079683368 creator A5084985541 @default.
- W2079683368 date "2012-06-01" @default.
- W2079683368 modified "2023-10-18" @default.
- W2079683368 title "A Formally Verified Device Authentication Protocol Using Casper/FDR" @default.
- W2079683368 cites W1143161655 @default.
- W2079683368 cites W2123339119 @default.
- W2079683368 cites W2158446358 @default.
- W2079683368 cites W2158750961 @default.
- W2079683368 cites W4289127653 @default.
- W2079683368 doi "https://doi.org/10.1109/trustcom.2012.27" @default.
- W2079683368 hasPublicationYear "2012" @default.
- W2079683368 type Work @default.
- W2079683368 sameAs 2079683368 @default.
- W2079683368 citedByCount "8" @default.
- W2079683368 countsByYear W20796833682013 @default.
- W2079683368 countsByYear W20796833682014 @default.
- W2079683368 countsByYear W20796833682015 @default.
- W2079683368 countsByYear W20796833682016 @default.
- W2079683368 countsByYear W20796833682019 @default.
- W2079683368 crossrefType "proceedings-article" @default.
- W2079683368 hasAuthorship W2079683368A5013385652 @default.
- W2079683368 hasAuthorship W2079683368A5015759294 @default.
- W2079683368 hasAuthorship W2079683368A5066166428 @default.
- W2079683368 hasAuthorship W2079683368A5081189407 @default.
- W2079683368 hasAuthorship W2079683368A5084985541 @default.
- W2079683368 hasBestOaLocation W20796833682 @default.
- W2079683368 hasConcept C142724271 @default.
- W2079683368 hasConcept C148417208 @default.
- W2079683368 hasConcept C178489894 @default.
- W2079683368 hasConcept C204787440 @default.
- W2079683368 hasConcept C21564112 @default.
- W2079683368 hasConcept C2780385302 @default.
- W2079683368 hasConcept C31258907 @default.
- W2079683368 hasConcept C33884865 @default.
- W2079683368 hasConcept C38652104 @default.
- W2079683368 hasConcept C41008148 @default.
- W2079683368 hasConcept C71924100 @default.
- W2079683368 hasConceptScore W2079683368C142724271 @default.
- W2079683368 hasConceptScore W2079683368C148417208 @default.
- W2079683368 hasConceptScore W2079683368C178489894 @default.
- W2079683368 hasConceptScore W2079683368C204787440 @default.
- W2079683368 hasConceptScore W2079683368C21564112 @default.
- W2079683368 hasConceptScore W2079683368C2780385302 @default.
- W2079683368 hasConceptScore W2079683368C31258907 @default.
- W2079683368 hasConceptScore W2079683368C33884865 @default.
- W2079683368 hasConceptScore W2079683368C38652104 @default.
- W2079683368 hasConceptScore W2079683368C41008148 @default.
- W2079683368 hasConceptScore W2079683368C71924100 @default.
- W2079683368 hasLocation W20796833681 @default.
- W2079683368 hasLocation W20796833682 @default.
- W2079683368 hasOpenAccess W2079683368 @default.
- W2079683368 hasPrimaryLocation W20796833681 @default.
- W2079683368 hasRelatedWork W1978124413 @default.
- W2079683368 hasRelatedWork W2004539568 @default.
- W2079683368 hasRelatedWork W2088289695 @default.
- W2079683368 hasRelatedWork W2100006654 @default.
- W2079683368 hasRelatedWork W2137617551 @default.
- W2079683368 hasRelatedWork W2181469750 @default.
- W2079683368 hasRelatedWork W2229881279 @default.
- W2079683368 hasRelatedWork W2602592226 @default.
- W2079683368 hasRelatedWork W4298190647 @default.
- W2079683368 hasRelatedWork W2509423372 @default.
- W2079683368 isParatext "false" @default.
- W2079683368 isRetracted "false" @default.
- W2079683368 magId "2079683368" @default.
- W2079683368 workType "article" @default.