Matches in SemOpenAlex for { <https://semopenalex.org/work/W2475850925> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2475850925 abstract "The purpose of this chapter is to introduce the reader to the research area of formal analysis of authentication protocols. It briefly introduces the basic notions of cryptography and its use in authentication protocols. The chapter looks at the Needham-Schroeder (1978) protocol as an example of an authentication protocol, and examines the history of the protocol as a stimulus to the formal analysis of such protocols. We then introduce the process algebra CSP (Hoare, 1985) to model authentication protocols and present Schneider’s (1998) rank function approach to analysing such protocols. The chapter concludes by describing related ongoing work in this area of research and highlight some of the challenges posed by the problem of analysing and designing protocols." @default.
- W2475850925 created "2016-08-23" @default.
- W2475850925 creator A5033988441 @default.
- W2475850925 date "2009-01-01" @default.
- W2475850925 modified "2023-09-25" @default.
- W2475850925 title "Formal Analysis and Design of Authentication Protocols" @default.
- W2475850925 cites W1897221193 @default.
- W2475850925 cites W1995469872 @default.
- W2475850925 cites W2003915781 @default.
- W2475850925 cites W2010939995 @default.
- W2475850925 cites W2029693536 @default.
- W2475850925 cites W2031129151 @default.
- W2475850925 cites W2034419863 @default.
- W2475850925 cites W2052539228 @default.
- W2475850925 cites W2123235671 @default.
- W2475850925 cites W2146973388 @default.
- W2475850925 cites W2156186849 @default.
- W2475850925 cites W2169908972 @default.
- W2475850925 doi "https://doi.org/10.4018/978-1-59904-855-0.ch020" @default.
- W2475850925 hasPublicationYear "2009" @default.
- W2475850925 type Work @default.
- W2475850925 sameAs 2475850925 @default.
- W2475850925 citedByCount "0" @default.
- W2475850925 crossrefType "book-chapter" @default.
- W2475850925 hasAuthorship W2475850925A5033988441 @default.
- W2475850925 hasConcept C148417208 @default.
- W2475850925 hasConcept C21564112 @default.
- W2475850925 hasConcept C38652104 @default.
- W2475850925 hasConcept C41008148 @default.
- W2475850925 hasConceptScore W2475850925C148417208 @default.
- W2475850925 hasConceptScore W2475850925C21564112 @default.
- W2475850925 hasConceptScore W2475850925C38652104 @default.
- W2475850925 hasConceptScore W2475850925C41008148 @default.
- W2475850925 hasLocation W24758509251 @default.
- W2475850925 hasOpenAccess W2475850925 @default.
- W2475850925 hasPrimaryLocation W24758509251 @default.
- W2475850925 hasRelatedWork W122318727 @default.
- W2475850925 hasRelatedWork W129783273 @default.
- W2475850925 hasRelatedWork W2007235684 @default.
- W2475850925 hasRelatedWork W2014544880 @default.
- W2475850925 hasRelatedWork W2090535882 @default.
- W2475850925 hasRelatedWork W2103199597 @default.
- W2475850925 hasRelatedWork W2107203445 @default.
- W2475850925 hasRelatedWork W2111201167 @default.
- W2475850925 hasRelatedWork W2111618112 @default.
- W2475850925 hasRelatedWork W2123096612 @default.
- W2475850925 hasRelatedWork W2125534038 @default.
- W2475850925 hasRelatedWork W2132505069 @default.
- W2475850925 hasRelatedWork W2136908128 @default.
- W2475850925 hasRelatedWork W2151803723 @default.
- W2475850925 hasRelatedWork W2382605165 @default.
- W2475850925 hasRelatedWork W2388598254 @default.
- W2475850925 hasRelatedWork W2553845563 @default.
- W2475850925 hasRelatedWork W406594934 @default.
- W2475850925 hasRelatedWork W172396656 @default.
- W2475850925 hasRelatedWork W2127299350 @default.
- W2475850925 isParatext "false" @default.
- W2475850925 isRetracted "false" @default.
- W2475850925 magId "2475850925" @default.
- W2475850925 workType "book-chapter" @default.