FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1913041503> ?p ?o ?g. }

• W1913041503 endingPage "403" @default.
• W1913041503 startingPage "380" @default.
• W1913041503 abstract "Symbolic analysis of cryptographic protocols is dramatically simpler than full-fledged cryptographic analysis. In particular, it is simple enough to be automated. However, symbolic analysis does not, by itself, provide any cryptographic soundness guarantees. Following recent work on cryptographically sound symbolic analysis, we demonstrate how Dolev-Yao style symbolic analysis can be used to assert the security of cryptographic protocols within the universally composable (UC) security framework. Consequently, our methods enable security analysis that is completely symbolic, and at the same time cryptographically sound with strong composability properties. More specifically, we concentrate on mutual authentication and key-exchange protocols. We restrict attention to protocols that use public-key encryption as their only cryptographic primitive and have a specific restricted format. We define a mapping from such protocols to Dolev-Yao style symbolic protocols, and show that the symbolic protocol satisfies a certain symbolic criterion if and only if the corresponding cryptographic protocol is UC-secure. For mutual authentication, our symbolic criterion is similar to the traditional Dolev-Yao criterion. For key exchange, we demonstrate that the traditional Dolev-Yao style symbolic criterion is insufficient, and formulate an adequate symbolic criterion. Finally, to demonstrate the viability of our treatment, we use an existing tool to automatically verify whether some prominent key-exchange protocols are UC-secure." @default.
• W1913041503 created "2016-06-24" @default.
• W1913041503 creator A5000625285 @default.
• W1913041503 creator A5036229923 @default.
• W1913041503 date "2006-01-01" @default.
• W1913041503 modified "2023-09-30" @default.
• W1913041503 title "Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols" @default.
• W1913041503 cites W1492390108 @default.
• W1913041503 cites W1495332907 @default.
• W1913041503 cites W1503887377 @default.
• W1913041503 cites W1542059364 @default.
• W1913041503 cites W1561492881 @default.
• W1913041503 cites W1562901937 @default.
• W1913041503 cites W1589176872 @default.
• W1913041503 cites W1597765364 @default.
• W1913041503 cites W1601458649 @default.
• W1913041503 cites W1923391011 @default.
• W1913041503 cites W1966212263 @default.
• W1913041503 cites W1970606468 @default.
• W1913041503 cites W1982325601 @default.
• W1913041503 cites W1997859100 @default.
• W1913041503 cites W1999863358 @default.
• W1913041503 cites W2003915781 @default.
• W1913041503 cites W2010939995 @default.
• W1913041503 cites W2029693536 @default.
• W1913041503 cites W2033766329 @default.
• W1913041503 cites W2055993618 @default.
• W1913041503 cites W2102632421 @default.
• W1913041503 cites W2104655005 @default.
• W1913041503 cites W2119050411 @default.
• W1913041503 cites W2124076185 @default.
• W1913041503 cites W2138109426 @default.
• W1913041503 cites W2146973388 @default.
• W1913041503 cites W2151413173 @default.
• W1913041503 cites W2153281696 @default.
• W1913041503 cites W2155032609 @default.
• W1913041503 cites W2161670619 @default.
• W1913041503 cites W2164284862 @default.
• W1913041503 cites W2169908972 @default.
• W1913041503 cites W2911777915 @default.
• W1913041503 cites W2997007348 @default.
• W1913041503 cites W3031048092 @default.
• W1913041503 cites W4210300416 @default.
• W1913041503 cites W4234113709 @default.
• W1913041503 doi "https://doi.org/10.1007/11681878_20" @default.
• W1913041503 hasPublicationYear "2006" @default.
• W1913041503 type Work @default.
• W1913041503 sameAs 1913041503 @default.
• W1913041503 citedByCount "117" @default.
• W1913041503 countsByYear W19130415032012 @default.
• W1913041503 countsByYear W19130415032013 @default.
• W1913041503 countsByYear W19130415032014 @default.
• W1913041503 countsByYear W19130415032015 @default.
• W1913041503 countsByYear W19130415032016 @default.
• W1913041503 countsByYear W19130415032017 @default.
• W1913041503 countsByYear W19130415032018 @default.
• W1913041503 countsByYear W19130415032019 @default.
• W1913041503 countsByYear W19130415032020 @default.
• W1913041503 countsByYear W19130415032022 @default.
• W1913041503 countsByYear W19130415032023 @default.
• W1913041503 crossrefType "book-chapter" @default.
• W1913041503 hasAuthorship W1913041503A5000625285 @default.
• W1913041503 hasAuthorship W1913041503A5036229923 @default.
• W1913041503 hasBestOaLocation W19130415031 @default.
• W1913041503 hasConcept C148417208 @default.
• W1913041503 hasConcept C148730421 @default.
• W1913041503 hasConcept C15927051 @default.
• W1913041503 hasConcept C165751822 @default.
• W1913041503 hasConcept C178489894 @default.
• W1913041503 hasConcept C199360897 @default.
• W1913041503 hasConcept C203062551 @default.
• W1913041503 hasConcept C26517878 @default.
• W1913041503 hasConcept C2781221063 @default.
• W1913041503 hasConcept C33884865 @default.
• W1913041503 hasConcept C38652104 @default.
• W1913041503 hasConcept C39920170 @default.
• W1913041503 hasConcept C41008148 @default.
• W1913041503 hasConcept C65620979 @default.
• W1913041503 hasConcept C80444323 @default.
• W1913041503 hasConcept C99674996 @default.
• W1913041503 hasConceptScore W1913041503C148417208 @default.
• W1913041503 hasConceptScore W1913041503C148730421 @default.
• W1913041503 hasConceptScore W1913041503C15927051 @default.
• W1913041503 hasConceptScore W1913041503C165751822 @default.
• W1913041503 hasConceptScore W1913041503C178489894 @default.
• W1913041503 hasConceptScore W1913041503C199360897 @default.
• W1913041503 hasConceptScore W1913041503C203062551 @default.
• W1913041503 hasConceptScore W1913041503C26517878 @default.
• W1913041503 hasConceptScore W1913041503C2781221063 @default.
• W1913041503 hasConceptScore W1913041503C33884865 @default.
• W1913041503 hasConceptScore W1913041503C38652104 @default.
• W1913041503 hasConceptScore W1913041503C39920170 @default.
• W1913041503 hasConceptScore W1913041503C41008148 @default.
• W1913041503 hasConceptScore W1913041503C65620979 @default.
• W1913041503 hasConceptScore W1913041503C80444323 @default.
• W1913041503 hasConceptScore W1913041503C99674996 @default.
• W1913041503 hasLocation W19130415031 @default.
• W1913041503 hasLocation W19130415032 @default.

• next