Matches in SemOpenAlex for { <https://semopenalex.org/work/W2075154815> ?p ?o ?g. }
- W2075154815 endingPage "165" @default.
- W2075154815 startingPage "143" @default.
- W2075154815 abstract "We propose a probabilistic framework for the analysis of security protocols. The proposed framework allows one to model and reason about attackers that extend the usual Dolev-Yao adversary with explicit probabilistic statements representing properties of cryptographic primitives and the attacker's (partial) information about secret messages. The expressive power of these probabilistic statements is illustrated, namely by representing a standard security notion like indistinguishability under chosen plaintext attacks. We present an entropy-based approach to estimate the probability of a successful attack on a protocol given the prescribed knowledge of the attacker. We prove that, for an attacker whose knowledge increases with the security parameter, computing this quantity is NP-hard in the security parameter. However, we are still able to analyze a few meaningful and illustrative examples. Finally, we obtain a result which may be used to prove that a certain amount of probabilistic knowledge (about the properties of the cryptography being used) is not enough for allowing an attacker to correctly uncover a secret with non-negligible probability." @default.
- W2075154815 created "2016-06-24" @default.
- W2075154815 creator A5006730208 @default.
- W2075154815 creator A5070394675 @default.
- W2075154815 date "2009-11-01" @default.
- W2075154815 modified "2023-09-27" @default.
- W2075154815 title "Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities" @default.
- W2075154815 cites W1493927711 @default.
- W2075154815 cites W1508967933 @default.
- W2075154815 cites W1541979851 @default.
- W2075154815 cites W1560144628 @default.
- W2075154815 cites W1572549666 @default.
- W2075154815 cites W1600196810 @default.
- W2075154815 cites W1635081860 @default.
- W2075154815 cites W1779054477 @default.
- W2075154815 cites W1926408892 @default.
- W2075154815 cites W1966212263 @default.
- W2075154815 cites W1975442866 @default.
- W2075154815 cites W1994676271 @default.
- W2075154815 cites W1995425798 @default.
- W2075154815 cites W1995875735 @default.
- W2075154815 cites W2027029004 @default.
- W2075154815 cites W2029693536 @default.
- W2075154815 cites W2037084871 @default.
- W2075154815 cites W2053335287 @default.
- W2075154815 cites W2070653277 @default.
- W2075154815 cites W2097255270 @default.
- W2075154815 cites W2105750191 @default.
- W2075154815 cites W2108834246 @default.
- W2075154815 cites W2108978217 @default.
- W2075154815 cites W2112896529 @default.
- W2075154815 cites W2114189125 @default.
- W2075154815 cites W2117420234 @default.
- W2075154815 cites W2127035198 @default.
- W2075154815 cites W2130952710 @default.
- W2075154815 cites W2134508058 @default.
- W2075154815 cites W2143527107 @default.
- W2075154815 cites W2157604883 @default.
- W2075154815 cites W2169908972 @default.
- W2075154815 cites W2173955105 @default.
- W2075154815 cites W2326912991 @default.
- W2075154815 cites W2611147814 @default.
- W2075154815 cites W26772505 @default.
- W2075154815 cites W2913009136 @default.
- W2075154815 cites W2946824309 @default.
- W2075154815 cites W3028982149 @default.
- W2075154815 cites W3031048092 @default.
- W2075154815 cites W3104940903 @default.
- W2075154815 cites W3145128584 @default.
- W2075154815 cites W75368128 @default.
- W2075154815 doi "https://doi.org/10.1016/j.entcs.2009.10.010" @default.
- W2075154815 hasPublicationYear "2009" @default.
- W2075154815 type Work @default.
- W2075154815 sameAs 2075154815 @default.
- W2075154815 citedByCount "3" @default.
- W2075154815 countsByYear W20751548152019 @default.
- W2075154815 countsByYear W20751548152020 @default.
- W2075154815 crossrefType "journal-article" @default.
- W2075154815 hasAuthorship W2075154815A5006730208 @default.
- W2075154815 hasAuthorship W2075154815A5070394675 @default.
- W2075154815 hasBestOaLocation W20751548151 @default.
- W2075154815 hasConcept C106301342 @default.
- W2075154815 hasConcept C121332964 @default.
- W2075154815 hasConcept C142724271 @default.
- W2075154815 hasConcept C147343967 @default.
- W2075154815 hasConcept C148730421 @default.
- W2075154815 hasConcept C154945302 @default.
- W2075154815 hasConcept C15927051 @default.
- W2075154815 hasConcept C178489894 @default.
- W2075154815 hasConcept C182776695 @default.
- W2075154815 hasConcept C203062551 @default.
- W2075154815 hasConcept C204787440 @default.
- W2075154815 hasConcept C2780385302 @default.
- W2075154815 hasConcept C33884865 @default.
- W2075154815 hasConcept C38652104 @default.
- W2075154815 hasConcept C41008148 @default.
- W2075154815 hasConcept C41065033 @default.
- W2075154815 hasConcept C49937458 @default.
- W2075154815 hasConcept C62520636 @default.
- W2075154815 hasConcept C65302260 @default.
- W2075154815 hasConcept C71924100 @default.
- W2075154815 hasConcept C80444323 @default.
- W2075154815 hasConcept C92717368 @default.
- W2075154815 hasConceptScore W2075154815C106301342 @default.
- W2075154815 hasConceptScore W2075154815C121332964 @default.
- W2075154815 hasConceptScore W2075154815C142724271 @default.
- W2075154815 hasConceptScore W2075154815C147343967 @default.
- W2075154815 hasConceptScore W2075154815C148730421 @default.
- W2075154815 hasConceptScore W2075154815C154945302 @default.
- W2075154815 hasConceptScore W2075154815C15927051 @default.
- W2075154815 hasConceptScore W2075154815C178489894 @default.
- W2075154815 hasConceptScore W2075154815C182776695 @default.
- W2075154815 hasConceptScore W2075154815C203062551 @default.
- W2075154815 hasConceptScore W2075154815C204787440 @default.
- W2075154815 hasConceptScore W2075154815C2780385302 @default.
- W2075154815 hasConceptScore W2075154815C33884865 @default.
- W2075154815 hasConceptScore W2075154815C38652104 @default.
- W2075154815 hasConceptScore W2075154815C41008148 @default.