Matches in SemOpenAlex for { <https://semopenalex.org/work/W2159302907> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2159302907 abstract "Due to the rapid growth of mobile networks, many advanced applications have been deployed. However, security of data will be an important factor for their full adoption. Most of these applications will be utilized on resource constrained devices, which makes security protocols currently used in wired networks not fully applicable to mobile networks. Recently, a number of key agreement protocols have been proposed for use with wireless networks involving resource-limited devices. These include the DDH-based group key agreement protocol [1], the protocol proposed by Bresson et al. [2] and Tsengpsilas protocol [3]. In order to provide assurance that these protocols are verifiably secure and trustworthy it is necessary to perform a formal verification on their design specifications. In this paper Tsengpsilas protocol is discussed and a formal verification is performed using the Coffey-Saidha-Newe (CSN) modal logic[4]. As a result of this verification some potential problems with the protocol are presented." @default.
- W2159302907 created "2016-06-24" @default.
- W2159302907 creator A5065622218 @default.
- W2159302907 creator A5082049708 @default.
- W2159302907 date "2007-12-01" @default.
- W2159302907 modified "2023-09-26" @default.
- W2159302907 title "On the logical verification of a group key agreement protocol for resource constrained mobile devices" @default.
- W2159302907 cites W1484947622 @default.
- W2159302907 cites W1969480928 @default.
- W2159302907 cites W2136790096 @default.
- W2159302907 cites W2154417165 @default.
- W2159302907 cites W2157875888 @default.
- W2159302907 cites W62100894 @default.
- W2159302907 cites W149652053 @default.
- W2159302907 doi "https://doi.org/10.1109/atnac.2007.4665238" @default.
- W2159302907 hasPublicationYear "2007" @default.
- W2159302907 type Work @default.
- W2159302907 sameAs 2159302907 @default.
- W2159302907 citedByCount "3" @default.
- W2159302907 countsByYear W21593029072012 @default.
- W2159302907 countsByYear W21593029072013 @default.
- W2159302907 crossrefType "proceedings-article" @default.
- W2159302907 hasAuthorship W2159302907A5065622218 @default.
- W2159302907 hasAuthorship W2159302907A5082049708 @default.
- W2159302907 hasConcept C111498074 @default.
- W2159302907 hasConcept C120314980 @default.
- W2159302907 hasConcept C135530808 @default.
- W2159302907 hasConcept C142724271 @default.
- W2159302907 hasConcept C148730421 @default.
- W2159302907 hasConcept C160333310 @default.
- W2159302907 hasConcept C178489894 @default.
- W2159302907 hasConcept C203062551 @default.
- W2159302907 hasConcept C204787440 @default.
- W2159302907 hasConcept C206345919 @default.
- W2159302907 hasConcept C26517878 @default.
- W2159302907 hasConcept C2777513581 @default.
- W2159302907 hasConcept C2780385302 @default.
- W2159302907 hasConcept C31258907 @default.
- W2159302907 hasConcept C33884865 @default.
- W2159302907 hasConcept C38652104 @default.
- W2159302907 hasConcept C41008148 @default.
- W2159302907 hasConcept C71924100 @default.
- W2159302907 hasConcept C80444323 @default.
- W2159302907 hasConceptScore W2159302907C111498074 @default.
- W2159302907 hasConceptScore W2159302907C120314980 @default.
- W2159302907 hasConceptScore W2159302907C135530808 @default.
- W2159302907 hasConceptScore W2159302907C142724271 @default.
- W2159302907 hasConceptScore W2159302907C148730421 @default.
- W2159302907 hasConceptScore W2159302907C160333310 @default.
- W2159302907 hasConceptScore W2159302907C178489894 @default.
- W2159302907 hasConceptScore W2159302907C203062551 @default.
- W2159302907 hasConceptScore W2159302907C204787440 @default.
- W2159302907 hasConceptScore W2159302907C206345919 @default.
- W2159302907 hasConceptScore W2159302907C26517878 @default.
- W2159302907 hasConceptScore W2159302907C2777513581 @default.
- W2159302907 hasConceptScore W2159302907C2780385302 @default.
- W2159302907 hasConceptScore W2159302907C31258907 @default.
- W2159302907 hasConceptScore W2159302907C33884865 @default.
- W2159302907 hasConceptScore W2159302907C38652104 @default.
- W2159302907 hasConceptScore W2159302907C41008148 @default.
- W2159302907 hasConceptScore W2159302907C71924100 @default.
- W2159302907 hasConceptScore W2159302907C80444323 @default.
- W2159302907 hasLocation W21593029071 @default.
- W2159302907 hasOpenAccess W2159302907 @default.
- W2159302907 hasPrimaryLocation W21593029071 @default.
- W2159302907 hasRelatedWork W1576148900 @default.
- W2159302907 hasRelatedWork W1837027913 @default.
- W2159302907 hasRelatedWork W2023936724 @default.
- W2159302907 hasRelatedWork W2056788984 @default.
- W2159302907 hasRelatedWork W2126451717 @default.
- W2159302907 hasRelatedWork W2356380379 @default.
- W2159302907 hasRelatedWork W2364562957 @default.
- W2159302907 hasRelatedWork W2373532818 @default.
- W2159302907 hasRelatedWork W2733465297 @default.
- W2159302907 hasRelatedWork W3027915305 @default.
- W2159302907 isParatext "false" @default.
- W2159302907 isRetracted "false" @default.
- W2159302907 magId "2159302907" @default.
- W2159302907 workType "article" @default.