FRINK Linked Data Fragments server

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

• W2127472123 abstract "The rise in the use of the Internet and other communication technologies like WiMAX which are vulnerable to network attacks has necessitated the implementation of security protocols. Developing secure protocols has proved to be a difficult task as is evident from the presence of flaws in published protocols such as the Needham-Schroeder public key authentication protocol. Security protocols can be validated with formal verification techniques, increasing confidence in their use. The Initial Network Entry procedure in an IEEE 802.16 (WiMAX) network has security defects which can be exploited by the Man-in-the-Middle (MITM) attack, requiring the implementation of a suitable security protocol. In this paper, we analyse a modification of the Diffie-Hellman (DH) key exchange protocol proposed to mitigate this MITM attack and model the protocol and an intruder process with MITM capabilities in PROMELA formalism. We then use Linear Temporal Logic (LTL) to define the attributes the protocol should satisfy and carry out verification by use of the Simple PROMELA INterpreter (SPIN) model checker." @default.
• W2127472123 created "2016-06-24" @default.
• W2127472123 creator A5025672785 @default.
• W2127472123 creator A5047978075 @default.
• W2127472123 creator A5069930110 @default.
• W2127472123 date "2012-09-01" @default.
• W2127472123 modified "2023-09-26" @default.
• W2127472123 title "SPIN-Based Verification of Authentication Protocols in WiMAX Networks" @default.
• W2127472123 cites W1503887377 @default.
• W2127472123 cites W1847089336 @default.
• W2127472123 cites W2023808162 @default.
• W2127472123 cites W2100396274 @default.
• W2127472123 cites W2115286336 @default.
• W2127472123 cites W2149636957 @default.
• W2127472123 cites W2151734052 @default.
• W2127472123 cites W2156186849 @default.
• W2127472123 cites W2160395257 @default.
• W2127472123 cites W2165485845 @default.
• W2127472123 cites W2538677908 @default.
• W2127472123 doi "https://doi.org/10.1109/vtcfall.2012.6399112" @default.
• W2127472123 hasPublicationYear "2012" @default.
• W2127472123 type Work @default.
• W2127472123 sameAs 2127472123 @default.
• W2127472123 citedByCount "6" @default.
• W2127472123 countsByYear W21274721232012 @default.
• W2127472123 countsByYear W21274721232013 @default.
• W2127472123 countsByYear W21274721232014 @default.
• W2127472123 countsByYear W21274721232015 @default.
• W2127472123 crossrefType "proceedings-article" @default.
• W2127472123 hasAuthorship W2127472123A5025672785 @default.
• W2127472123 hasAuthorship W2127472123A5047978075 @default.
• W2127472123 hasAuthorship W2127472123A5069930110 @default.
• W2127472123 hasConcept C110251889 @default.
• W2127472123 hasConcept C113950482 @default.
• W2127472123 hasConcept C142724271 @default.
• W2127472123 hasConcept C148417208 @default.
• W2127472123 hasConcept C148730421 @default.
• W2127472123 hasConcept C178489894 @default.
• W2127472123 hasConcept C196491621 @default.
• W2127472123 hasConcept C203062551 @default.
• W2127472123 hasConcept C204787440 @default.
• W2127472123 hasConcept C21564112 @default.
• W2127472123 hasConcept C2776329536 @default.
• W2127472123 hasConcept C2780385302 @default.
• W2127472123 hasConcept C31258907 @default.
• W2127472123 hasConcept C33884865 @default.
• W2127472123 hasConcept C38652104 @default.
• W2127472123 hasConcept C41008148 @default.
• W2127472123 hasConcept C555944384 @default.
• W2127472123 hasConcept C71924100 @default.
• W2127472123 hasConcept C76155785 @default.
• W2127472123 hasConcept C80444323 @default.
• W2127472123 hasConcept C99674996 @default.
• W2127472123 hasConceptScore W2127472123C110251889 @default.
• W2127472123 hasConceptScore W2127472123C113950482 @default.
• W2127472123 hasConceptScore W2127472123C142724271 @default.
• W2127472123 hasConceptScore W2127472123C148417208 @default.
• W2127472123 hasConceptScore W2127472123C148730421 @default.
• W2127472123 hasConceptScore W2127472123C178489894 @default.
• W2127472123 hasConceptScore W2127472123C196491621 @default.
• W2127472123 hasConceptScore W2127472123C203062551 @default.
• W2127472123 hasConceptScore W2127472123C204787440 @default.
• W2127472123 hasConceptScore W2127472123C21564112 @default.
• W2127472123 hasConceptScore W2127472123C2776329536 @default.
• W2127472123 hasConceptScore W2127472123C2780385302 @default.
• W2127472123 hasConceptScore W2127472123C31258907 @default.
• W2127472123 hasConceptScore W2127472123C33884865 @default.
• W2127472123 hasConceptScore W2127472123C38652104 @default.
• W2127472123 hasConceptScore W2127472123C41008148 @default.
• W2127472123 hasConceptScore W2127472123C555944384 @default.
• W2127472123 hasConceptScore W2127472123C71924100 @default.
• W2127472123 hasConceptScore W2127472123C76155785 @default.
• W2127472123 hasConceptScore W2127472123C80444323 @default.
• W2127472123 hasConceptScore W2127472123C99674996 @default.
• W2127472123 hasLocation W21274721231 @default.
• W2127472123 hasOpenAccess W2127472123 @default.
• W2127472123 hasPrimaryLocation W21274721231 @default.
• W2127472123 hasRelatedWork W1530116042 @default.
• W2127472123 hasRelatedWork W1584139388 @default.
• W2127472123 hasRelatedWork W193949995 @default.
• W2127472123 hasRelatedWork W1986267295 @default.
• W2127472123 hasRelatedWork W2005787848 @default.
• W2127472123 hasRelatedWork W2014544880 @default.
• W2127472123 hasRelatedWork W2078264993 @default.
• W2127472123 hasRelatedWork W2090535882 @default.
• W2127472123 hasRelatedWork W2107203445 @default.
• W2127472123 hasRelatedWork W2111201167 @default.
• W2127472123 hasRelatedWork W2111618112 @default.
• W2127472123 hasRelatedWork W2125534038 @default.
• W2127472123 hasRelatedWork W2127372869 @default.
• W2127472123 hasRelatedWork W2136908128 @default.
• W2127472123 hasRelatedWork W2147805697 @default.
• W2127472123 hasRelatedWork W2359724591 @default.
• W2127472123 hasRelatedWork W2553845563 @default.
• W2127472123 hasRelatedWork W2735217958 @default.
• W2127472123 hasRelatedWork W424338548 @default.
• W2127472123 hasRelatedWork W605267472 @default.
• W2127472123 isParatext "false" @default.
• W2127472123 isRetracted "false" @default.
• W2127472123 magId "2127472123" @default.

• next