Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952543308> ?p ?o ?g. }
- W2952543308 abstract "We present a formal logic for quantitative reasoning about security properties of network protocols. The system allows us to derive concrete security bounds that can be used to choose key lengths and other security parameters. We provide axioms for reasoning about digital signatures and random nonces, with security properties based on the concrete security of signature schemes and pseudorandom number generators (PRG). The formal logic supports first-order reasoning and reasoning about protocol invariants, taking concrete security bounds into account. Proofs constructed in our logic also provide conventional asymptotic security guarantees because of the way that concrete bounds accumulate in proofs. As an illustrative example, we use the formal logic to prove an authentication property with concrete bounds of a signature-based challenge-response protocol." @default.
- W2952543308 created "2019-06-27" @default.
- W2952543308 creator A5003215232 @default.
- W2952543308 creator A5036493397 @default.
- W2952543308 creator A5043668496 @default.
- W2952543308 creator A5060775456 @default.
- W2952543308 creator A5087025582 @default.
- W2952543308 date "2015-11-23" @default.
- W2952543308 modified "2023-10-16" @default.
- W2952543308 title "A Symbolic Logic with Concrete Bounds for Cryptographic Protocols" @default.
- W2952543308 cites W1480122568 @default.
- W2952543308 cites W1498469271 @default.
- W2952543308 cites W1505522548 @default.
- W2952543308 cites W1526328753 @default.
- W2952543308 cites W1542059364 @default.
- W2952543308 cites W1760594424 @default.
- W2952543308 cites W188034648 @default.
- W2952543308 cites W1892798954 @default.
- W2952543308 cites W1994386233 @default.
- W2952543308 cites W2011086847 @default.
- W2952543308 cites W2029693536 @default.
- W2952543308 cites W2044081892 @default.
- W2952543308 cites W2063161063 @default.
- W2952543308 cites W2080142817 @default.
- W2952543308 cites W2080269101 @default.
- W2952543308 cites W2099537756 @default.
- W2952543308 cites W2108978217 @default.
- W2952543308 cites W2114189125 @default.
- W2952543308 cites W2123991163 @default.
- W2952543308 cites W2127035198 @default.
- W2952543308 cites W2136661655 @default.
- W2952543308 cites W2151413173 @default.
- W2952543308 cites W2157417930 @default.
- W2952543308 cites W2168151327 @default.
- W2952543308 cites W2397101338 @default.
- W2952543308 cites W2400049039 @default.
- W2952543308 doi "https://doi.org/10.48550/arxiv.1511.07536" @default.
- W2952543308 hasPublicationYear "2015" @default.
- W2952543308 type Work @default.
- W2952543308 sameAs 2952543308 @default.
- W2952543308 citedByCount "0" @default.
- W2952543308 crossrefType "posted-content" @default.
- W2952543308 hasAuthorship W2952543308A5003215232 @default.
- W2952543308 hasAuthorship W2952543308A5036493397 @default.
- W2952543308 hasAuthorship W2952543308A5043668496 @default.
- W2952543308 hasAuthorship W2952543308A5060775456 @default.
- W2952543308 hasAuthorship W2952543308A5087025582 @default.
- W2952543308 hasBestOaLocation W29525433081 @default.
- W2952543308 hasConcept C108710211 @default.
- W2952543308 hasConcept C118463975 @default.
- W2952543308 hasConcept C121822524 @default.
- W2952543308 hasConcept C142724271 @default.
- W2952543308 hasConcept C147343967 @default.
- W2952543308 hasConcept C148730421 @default.
- W2952543308 hasConcept C167729594 @default.
- W2952543308 hasConcept C178489894 @default.
- W2952543308 hasConcept C204787440 @default.
- W2952543308 hasConcept C2524010 @default.
- W2952543308 hasConcept C2779696439 @default.
- W2952543308 hasConcept C2780385302 @default.
- W2952543308 hasConcept C33884865 @default.
- W2952543308 hasConcept C33923547 @default.
- W2952543308 hasConcept C38652104 @default.
- W2952543308 hasConcept C41008148 @default.
- W2952543308 hasConcept C71924100 @default.
- W2952543308 hasConcept C80444323 @default.
- W2952543308 hasConcept C99138194 @default.
- W2952543308 hasConcept C9996903 @default.
- W2952543308 hasConceptScore W2952543308C108710211 @default.
- W2952543308 hasConceptScore W2952543308C118463975 @default.
- W2952543308 hasConceptScore W2952543308C121822524 @default.
- W2952543308 hasConceptScore W2952543308C142724271 @default.
- W2952543308 hasConceptScore W2952543308C147343967 @default.
- W2952543308 hasConceptScore W2952543308C148730421 @default.
- W2952543308 hasConceptScore W2952543308C167729594 @default.
- W2952543308 hasConceptScore W2952543308C178489894 @default.
- W2952543308 hasConceptScore W2952543308C204787440 @default.
- W2952543308 hasConceptScore W2952543308C2524010 @default.
- W2952543308 hasConceptScore W2952543308C2779696439 @default.
- W2952543308 hasConceptScore W2952543308C2780385302 @default.
- W2952543308 hasConceptScore W2952543308C33884865 @default.
- W2952543308 hasConceptScore W2952543308C33923547 @default.
- W2952543308 hasConceptScore W2952543308C38652104 @default.
- W2952543308 hasConceptScore W2952543308C41008148 @default.
- W2952543308 hasConceptScore W2952543308C71924100 @default.
- W2952543308 hasConceptScore W2952543308C80444323 @default.
- W2952543308 hasConceptScore W2952543308C99138194 @default.
- W2952543308 hasConceptScore W2952543308C9996903 @default.
- W2952543308 hasLocation W29525433081 @default.
- W2952543308 hasOpenAccess W2952543308 @default.
- W2952543308 hasPrimaryLocation W29525433081 @default.
- W2952543308 hasRelatedWork W2097924903 @default.
- W2952543308 hasRelatedWork W2103865407 @default.
- W2952543308 hasRelatedWork W2107624707 @default.
- W2952543308 hasRelatedWork W2164914526 @default.
- W2952543308 hasRelatedWork W2185700962 @default.
- W2952543308 hasRelatedWork W2317459325 @default.
- W2952543308 hasRelatedWork W2505612108 @default.
- W2952543308 hasRelatedWork W2759719156 @default.
- W2952543308 hasRelatedWork W2952543308 @default.