Matches in SemOpenAlex for { <https://semopenalex.org/work/W2082932673> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2082932673 abstract "The application of formal methods for rigorously validating cryptographic protocols has been getting increasing attention. The de facto standard for modeling such protocols in formal proof systems is the Dolev-Yao model that, e.g., uses abstract encryption instead of cryptographic encryption primitives. The Dolev-Yao model has been originally intended and successfully used for detecting flaws in many protocols. However, recent publications claim to perform actual proofs of security using this model, i.e., absence of any attack. We doubt this claim and challenge Dolev-Yao-based models as being oversimplified for establishing security proofs against arbitrary attacks.We substantiate our claim by an example protocol. This protocol has been proven secure in a Dolev-Yao-based model using formal methods. In a later publication, the protocol has been broken by describing a cryptographic attack. The attack was not detected in the formal analysis since any Dolev-Yao-based model only comprises a predefined set of adversary capabilities. The particular attack to break the protocol was not comprised.The only reliable long-term remedy is to proof resilience against all attacks (both known and unknown ones). Recent approaches on cryptographic models of security have already made great progress towards this goal. Unfortunately, proofs in these are more complex and harder to automate. On the short run, it therefore is appropriate to improve the quality of formal analysis without striving for complete proofs. This can be achieved by means of evolving a catalog of adversary capabilities. Future formal analysis can then show resilience against any attack in this catalog. We initiate this discussion on an adversary capability catalog by providing a cryptographer's wish list. This list that points out several features which approaches based on the Dolev-Yao model or future extensions of it should cover in order to be effective for cryptographic protocol verification." @default.
- W2082932673 created "2016-06-24" @default.
- W2082932673 creator A5004014878 @default.
- W2082932673 creator A5021276445 @default.
- W2082932673 date "2003-08-13" @default.
- W2082932673 modified "2023-10-16" @default.
- W2082932673 title "From absence of certain vulnerabilities towards security proofs" @default.
- W2082932673 cites W1562901937 @default.
- W2082932673 cites W1966212263 @default.
- W2082932673 cites W1983762057 @default.
- W2082932673 cites W1991004527 @default.
- W2082932673 cites W1993941352 @default.
- W2082932673 cites W1997859100 @default.
- W2082932673 cites W2026449948 @default.
- W2082932673 cites W2029693536 @default.
- W2082932673 cites W2033766329 @default.
- W2082932673 cites W2049088527 @default.
- W2082932673 cites W2097913369 @default.
- W2082932673 cites W2098487689 @default.
- W2082932673 cites W2105861506 @default.
- W2082932673 cites W2146973388 @default.
- W2082932673 cites W2157295888 @default.
- W2082932673 cites W2496127125 @default.
- W2082932673 cites W4250846042 @default.
- W2082932673 doi "https://doi.org/10.1145/986655.986666" @default.
- W2082932673 hasPublicationYear "2003" @default.
- W2082932673 type Work @default.
- W2082932673 sameAs 2082932673 @default.
- W2082932673 citedByCount "7" @default.
- W2082932673 crossrefType "proceedings-article" @default.
- W2082932673 hasAuthorship W2082932673A5004014878 @default.
- W2082932673 hasAuthorship W2082932673A5021276445 @default.
- W2082932673 hasBestOaLocation W20829326732 @default.
- W2082932673 hasConcept C108710211 @default.
- W2082932673 hasConcept C110251889 @default.
- W2082932673 hasConcept C111498074 @default.
- W2082932673 hasConcept C142724271 @default.
- W2082932673 hasConcept C148730421 @default.
- W2082932673 hasConcept C15927051 @default.
- W2082932673 hasConcept C178489894 @default.
- W2082932673 hasConcept C199360897 @default.
- W2082932673 hasConcept C204787440 @default.
- W2082932673 hasConcept C2524010 @default.
- W2082932673 hasConcept C2780385302 @default.
- W2082932673 hasConcept C33884865 @default.
- W2082932673 hasConcept C33923547 @default.
- W2082932673 hasConcept C38652104 @default.
- W2082932673 hasConcept C41008148 @default.
- W2082932673 hasConcept C41065033 @default.
- W2082932673 hasConcept C71924100 @default.
- W2082932673 hasConcept C75606506 @default.
- W2082932673 hasConcept C80444323 @default.
- W2082932673 hasConceptScore W2082932673C108710211 @default.
- W2082932673 hasConceptScore W2082932673C110251889 @default.
- W2082932673 hasConceptScore W2082932673C111498074 @default.
- W2082932673 hasConceptScore W2082932673C142724271 @default.
- W2082932673 hasConceptScore W2082932673C148730421 @default.
- W2082932673 hasConceptScore W2082932673C15927051 @default.
- W2082932673 hasConceptScore W2082932673C178489894 @default.
- W2082932673 hasConceptScore W2082932673C199360897 @default.
- W2082932673 hasConceptScore W2082932673C204787440 @default.
- W2082932673 hasConceptScore W2082932673C2524010 @default.
- W2082932673 hasConceptScore W2082932673C2780385302 @default.
- W2082932673 hasConceptScore W2082932673C33884865 @default.
- W2082932673 hasConceptScore W2082932673C33923547 @default.
- W2082932673 hasConceptScore W2082932673C38652104 @default.
- W2082932673 hasConceptScore W2082932673C41008148 @default.
- W2082932673 hasConceptScore W2082932673C41065033 @default.
- W2082932673 hasConceptScore W2082932673C71924100 @default.
- W2082932673 hasConceptScore W2082932673C75606506 @default.
- W2082932673 hasConceptScore W2082932673C80444323 @default.
- W2082932673 hasLocation W20829326731 @default.
- W2082932673 hasLocation W20829326732 @default.
- W2082932673 hasOpenAccess W2082932673 @default.
- W2082932673 hasPrimaryLocation W20829326731 @default.
- W2082932673 hasRelatedWork W1491103038 @default.
- W2082932673 hasRelatedWork W18814837 @default.
- W2082932673 hasRelatedWork W2069049086 @default.
- W2082932673 hasRelatedWork W2134477803 @default.
- W2082932673 hasRelatedWork W2169374412 @default.
- W2082932673 hasRelatedWork W2374301032 @default.
- W2082932673 hasRelatedWork W2505612108 @default.
- W2082932673 hasRelatedWork W3028597541 @default.
- W2082932673 hasRelatedWork W3031140344 @default.
- W2082932673 hasRelatedWork W755636366 @default.
- W2082932673 isParatext "false" @default.
- W2082932673 isRetracted "false" @default.
- W2082932673 magId "2082932673" @default.
- W2082932673 workType "article" @default.