Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145745196> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2145745196 abstract "The paper presents a new method for specifying and analyzing cryptographic protocols. The method offers several advantages over previous approaches. The technique is the first to allow reasoning about nonmonotonic protocols, which are needed for systems that rely on the deletion of information. There is no idealization of protocols; we specify at a level that is close to the actual implementation. We show how the method uncovers the known flaw in the Needham and Schroeder protocol (R.M. Needham and M.D. Schroeder, 1978). We then apply the method to the khat protocol (A.D. Rubin, P. Honeyman, 1993). The analysis reveals a serious, previously undiscovered flaw in the nonmonotonic protocol for long-running jobs.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W2145745196 created "2016-06-24" @default.
- W2145745196 creator A5051648149 @default.
- W2145745196 creator A5075344172 @default.
- W2145745196 date "2002-12-17" @default.
- W2145745196 modified "2023-10-06" @default.
- W2145745196 title "Nonmonotonic cryptographic protocols" @default.
- W2145745196 cites W2001788001 @default.
- W2145745196 cites W2010939995 @default.
- W2145745196 cites W2033442660 @default.
- W2145745196 cites W2077025369 @default.
- W2145745196 cites W2078793962 @default.
- W2145745196 cites W2102922499 @default.
- W2145745196 cites W2104130981 @default.
- W2145745196 cites W2105061375 @default.
- W2145745196 cites W2106857693 @default.
- W2145745196 cites W2111201167 @default.
- W2145745196 cites W2121824862 @default.
- W2145745196 cites W2135378536 @default.
- W2145745196 cites W2140464851 @default.
- W2145745196 cites W2143768214 @default.
- W2145745196 cites W2146973388 @default.
- W2145745196 cites W2150531424 @default.
- W2145745196 cites W2339045958 @default.
- W2145745196 cites W2097515174 @default.
- W2145745196 doi "https://doi.org/10.1109/csfw.1994.315943" @default.
- W2145745196 hasPublicationYear "2002" @default.
- W2145745196 type Work @default.
- W2145745196 sameAs 2145745196 @default.
- W2145745196 citedByCount "33" @default.
- W2145745196 countsByYear W21457451962012 @default.
- W2145745196 countsByYear W21457451962014 @default.
- W2145745196 countsByYear W21457451962015 @default.
- W2145745196 countsByYear W21457451962016 @default.
- W2145745196 countsByYear W21457451962017 @default.
- W2145745196 countsByYear W21457451962018 @default.
- W2145745196 countsByYear W21457451962019 @default.
- W2145745196 countsByYear W21457451962020 @default.
- W2145745196 countsByYear W21457451962021 @default.
- W2145745196 countsByYear W21457451962022 @default.
- W2145745196 countsByYear W21457451962023 @default.
- W2145745196 crossrefType "proceedings-article" @default.
- W2145745196 hasAuthorship W2145745196A5051648149 @default.
- W2145745196 hasAuthorship W2145745196A5075344172 @default.
- W2145745196 hasBestOaLocation W21457451962 @default.
- W2145745196 hasConcept C11413529 @default.
- W2145745196 hasConcept C142724271 @default.
- W2145745196 hasConcept C178489894 @default.
- W2145745196 hasConcept C204787440 @default.
- W2145745196 hasConcept C2780385302 @default.
- W2145745196 hasConcept C33884865 @default.
- W2145745196 hasConcept C41008148 @default.
- W2145745196 hasConcept C71924100 @default.
- W2145745196 hasConcept C80444323 @default.
- W2145745196 hasConceptScore W2145745196C11413529 @default.
- W2145745196 hasConceptScore W2145745196C142724271 @default.
- W2145745196 hasConceptScore W2145745196C178489894 @default.
- W2145745196 hasConceptScore W2145745196C204787440 @default.
- W2145745196 hasConceptScore W2145745196C2780385302 @default.
- W2145745196 hasConceptScore W2145745196C33884865 @default.
- W2145745196 hasConceptScore W2145745196C41008148 @default.
- W2145745196 hasConceptScore W2145745196C71924100 @default.
- W2145745196 hasConceptScore W2145745196C80444323 @default.
- W2145745196 hasLocation W21457451961 @default.
- W2145745196 hasLocation W21457451962 @default.
- W2145745196 hasOpenAccess W2145745196 @default.
- W2145745196 hasPrimaryLocation W21457451961 @default.
- W2145745196 hasRelatedWork W1531360494 @default.
- W2145745196 hasRelatedWork W154233216 @default.
- W2145745196 hasRelatedWork W1988007309 @default.
- W2145745196 hasRelatedWork W2026856585 @default.
- W2145745196 hasRelatedWork W2093529019 @default.
- W2145745196 hasRelatedWork W2102905434 @default.
- W2145745196 hasRelatedWork W2136768843 @default.
- W2145745196 hasRelatedWork W2289378658 @default.
- W2145745196 hasRelatedWork W2626486901 @default.
- W2145745196 hasRelatedWork W87530933 @default.
- W2145745196 isParatext "false" @default.
- W2145745196 isRetracted "false" @default.
- W2145745196 magId "2145745196" @default.
- W2145745196 workType "article" @default.