Matches in SemOpenAlex for { <https://semopenalex.org/work/W193949995> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W193949995 abstract "Authentication protocols are used to ensure the identity of a participant in a distributed environment. Since designing authentication protocols is an error prone process, formal verification techniques are used to verify the correctness of authentication protocols. In this paper, we develop simple but rigorous logic-based tests for the analysis of authentication protocols. In particular, we extend the framework of Distributed Temporal Protocol Logic (DTPL), and provide authentication tests at a higher level of abstraction. These tests can be easily applied on a variety of authentication protocols, yet they are rigorous enough to capture full capabilities of a typical Dolev-Yao intruder." @default.
- W193949995 created "2016-06-24" @default.
- W193949995 creator A5046127152 @default.
- W193949995 date "2011-01-01" @default.
- W193949995 modified "2023-09-26" @default.
- W193949995 title "Authentication Tests Based on Distributed Temporal Protocol Logic for the Analysis of Security Protocols" @default.
- W193949995 cites W1488945699 @default.
- W193949995 cites W1579976528 @default.
- W193949995 cites W1987035270 @default.
- W193949995 cites W2010939995 @default.
- W193949995 cites W2029693536 @default.
- W193949995 cites W2060240207 @default.
- W193949995 cites W2124030056 @default.
- W193949995 cites W2125894704 @default.
- W193949995 cites W2128844732 @default.
- W193949995 cites W2136262554 @default.
- W193949995 cites W2145415641 @default.
- W193949995 cites W2146973388 @default.
- W193949995 cites W4233702006 @default.
- W193949995 doi "https://doi.org/10.1007/978-3-642-25327-0_19" @default.
- W193949995 hasPublicationYear "2011" @default.
- W193949995 type Work @default.
- W193949995 sameAs 193949995 @default.
- W193949995 citedByCount "1" @default.
- W193949995 countsByYear W1939499952013 @default.
- W193949995 crossrefType "book-chapter" @default.
- W193949995 hasAuthorship W193949995A5046127152 @default.
- W193949995 hasConcept C111472728 @default.
- W193949995 hasConcept C120314980 @default.
- W193949995 hasConcept C124086997 @default.
- W193949995 hasConcept C124304363 @default.
- W193949995 hasConcept C138885662 @default.
- W193949995 hasConcept C142724271 @default.
- W193949995 hasConcept C148417208 @default.
- W193949995 hasConcept C167169670 @default.
- W193949995 hasConcept C178489894 @default.
- W193949995 hasConcept C199360897 @default.
- W193949995 hasConcept C204787440 @default.
- W193949995 hasConcept C207828512 @default.
- W193949995 hasConcept C21564112 @default.
- W193949995 hasConcept C2780385302 @default.
- W193949995 hasConcept C33884865 @default.
- W193949995 hasConcept C38652104 @default.
- W193949995 hasConcept C41008148 @default.
- W193949995 hasConcept C55439883 @default.
- W193949995 hasConcept C71924100 @default.
- W193949995 hasConceptScore W193949995C111472728 @default.
- W193949995 hasConceptScore W193949995C120314980 @default.
- W193949995 hasConceptScore W193949995C124086997 @default.
- W193949995 hasConceptScore W193949995C124304363 @default.
- W193949995 hasConceptScore W193949995C138885662 @default.
- W193949995 hasConceptScore W193949995C142724271 @default.
- W193949995 hasConceptScore W193949995C148417208 @default.
- W193949995 hasConceptScore W193949995C167169670 @default.
- W193949995 hasConceptScore W193949995C178489894 @default.
- W193949995 hasConceptScore W193949995C199360897 @default.
- W193949995 hasConceptScore W193949995C204787440 @default.
- W193949995 hasConceptScore W193949995C207828512 @default.
- W193949995 hasConceptScore W193949995C21564112 @default.
- W193949995 hasConceptScore W193949995C2780385302 @default.
- W193949995 hasConceptScore W193949995C33884865 @default.
- W193949995 hasConceptScore W193949995C38652104 @default.
- W193949995 hasConceptScore W193949995C41008148 @default.
- W193949995 hasConceptScore W193949995C55439883 @default.
- W193949995 hasConceptScore W193949995C71924100 @default.
- W193949995 hasLocation W1939499951 @default.
- W193949995 hasOpenAccess W193949995 @default.
- W193949995 hasPrimaryLocation W1939499951 @default.
- W193949995 hasRelatedWork W122318727 @default.
- W193949995 hasRelatedWork W1777066096 @default.
- W193949995 hasRelatedWork W2007235684 @default.
- W193949995 hasRelatedWork W2014544880 @default.
- W193949995 hasRelatedWork W2103199597 @default.
- W193949995 hasRelatedWork W2111201167 @default.
- W193949995 hasRelatedWork W2111618112 @default.
- W193949995 hasRelatedWork W2125534038 @default.
- W193949995 hasRelatedWork W2127372869 @default.
- W193949995 hasRelatedWork W2127472123 @default.
- W193949995 hasRelatedWork W2152565607 @default.
- W193949995 hasRelatedWork W2208805443 @default.
- W193949995 hasRelatedWork W2307210979 @default.
- W193949995 hasRelatedWork W2362963703 @default.
- W193949995 hasRelatedWork W2382605165 @default.
- W193949995 hasRelatedWork W2388247877 @default.
- W193949995 hasRelatedWork W2388598254 @default.
- W193949995 hasRelatedWork W2735217958 @default.
- W193949995 hasRelatedWork W424338548 @default.
- W193949995 hasRelatedWork W172396656 @default.
- W193949995 isParatext "false" @default.
- W193949995 isRetracted "false" @default.
- W193949995 magId "193949995" @default.
- W193949995 workType "book-chapter" @default.