FRINK Linked Data Fragments server

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

• W1860797715 endingPage "218" @default.
• W1860797715 startingPage "204" @default.
• W1860797715 abstract "Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environments. The justification was done by defining an ideal system handling Dolev-Yao-style terms and a cryptographic realization with the same user interface, and by showing that the realization is as secure as the ideal system in the sense of reactive simulatability. This definition encompasses arbitrary active attacks and enjoys general composition and property-preservation properties. Security holds in the standard model of cryptography and under standard assumptions of adaptively secure primitives. A major primitive missing in that library so far is symmetric encryption. We show why symmetric encryption is harder to idealize in a way that allows general composition than existing primitives in this library. We discuss several approaches to overcome these problems. For our favorite approach we provide a detailed provably secure idealization of symmetric encryption within the given framework for constructing nested terms." @default.
• W1860797715 created "2016-06-24" @default.
• W1860797715 creator A5004014878 @default.
• W1860797715 creator A5069656048 @default.
• W1860797715 date "2004-06-28" @default.
• W1860797715 modified "2023-09-23" @default.
• W1860797715 title "Symmetric encryption in a simulatable Dolev-Yao style cryptographic library" @default.
• W1860797715 cites W1480122568 @default.
• W1860797715 cites W1493079268 @default.
• W1860797715 cites W1512229420 @default.
• W1860797715 cites W1531644305 @default.
• W1860797715 cites W1538016627 @default.
• W1860797715 cites W1540442590 @default.
• W1860797715 cites W1605744481 @default.
• W1860797715 cites W1656028867 @default.
• W1860797715 cites W1801771305 @default.
• W1860797715 cites W1907597480 @default.
• W1860797715 cites W1923391011 @default.
• W1860797715 cites W1925495923 @default.
• W1860797715 cites W1966212263 @default.
• W1860797715 cites W2029693536 @default.
• W1860797715 cites W2052267638 @default.
• W1860797715 cites W2061106457 @default.
• W1860797715 cites W2092548536 @default.
• W1860797715 cites W2096430557 @default.
• W1860797715 cites W2098263389 @default.
• W1860797715 cites W2119050411 @default.
• W1860797715 cites W2119708968 @default.
• W1860797715 cites W2145227448 @default.
• W1860797715 cites W2150776565 @default.
• W1860797715 cites W2159543798 @default.
• W1860797715 cites W2173955105 @default.
• W1860797715 cites W2400049039 @default.
• W1860797715 cites W2949718528 @default.
• W1860797715 cites W3102045962 @default.
• W1860797715 cites W3150645827 @default.
• W1860797715 cites W42806983 @default.
• W1860797715 cites W70596186 @default.
• W1860797715 doi "https://doi.org/10.1109/csfw.2004.20" @default.
• W1860797715 hasPublicationYear "2004" @default.
• W1860797715 type Work @default.
• W1860797715 sameAs 1860797715 @default.
• W1860797715 citedByCount "60" @default.
• W1860797715 countsByYear W18607977152012 @default.
• W1860797715 countsByYear W18607977152013 @default.
• W1860797715 countsByYear W18607977152014 @default.
• W1860797715 countsByYear W18607977152015 @default.
• W1860797715 countsByYear W18607977152017 @default.
• W1860797715 countsByYear W18607977152019 @default.
• W1860797715 crossrefType "proceedings-article" @default.
• W1860797715 hasAuthorship W1860797715A5004014878 @default.
• W1860797715 hasAuthorship W1860797715A5069656048 @default.
• W1860797715 hasConcept C105795698 @default.
• W1860797715 hasConcept C111472728 @default.
• W1860797715 hasConcept C138885662 @default.
• W1860797715 hasConcept C142724271 @default.
• W1860797715 hasConcept C148730421 @default.
• W1860797715 hasConcept C15927051 @default.
• W1860797715 hasConcept C178489894 @default.
• W1860797715 hasConcept C203062551 @default.
• W1860797715 hasConcept C204787440 @default.
• W1860797715 hasConcept C26517878 @default.
• W1860797715 hasConcept C2776639384 @default.
• W1860797715 hasConcept C2780385302 @default.
• W1860797715 hasConcept C2781089630 @default.
• W1860797715 hasConcept C33884865 @default.
• W1860797715 hasConcept C33923547 @default.
• W1860797715 hasConcept C38652104 @default.
• W1860797715 hasConcept C41008148 @default.
• W1860797715 hasConcept C65302260 @default.
• W1860797715 hasConcept C71924100 @default.
• W1860797715 hasConcept C80444323 @default.
• W1860797715 hasConceptScore W1860797715C105795698 @default.
• W1860797715 hasConceptScore W1860797715C111472728 @default.
• W1860797715 hasConceptScore W1860797715C138885662 @default.
• W1860797715 hasConceptScore W1860797715C142724271 @default.
• W1860797715 hasConceptScore W1860797715C148730421 @default.
• W1860797715 hasConceptScore W1860797715C15927051 @default.
• W1860797715 hasConceptScore W1860797715C178489894 @default.
• W1860797715 hasConceptScore W1860797715C203062551 @default.
• W1860797715 hasConceptScore W1860797715C204787440 @default.
• W1860797715 hasConceptScore W1860797715C26517878 @default.
• W1860797715 hasConceptScore W1860797715C2776639384 @default.
• W1860797715 hasConceptScore W1860797715C2780385302 @default.
• W1860797715 hasConceptScore W1860797715C2781089630 @default.
• W1860797715 hasConceptScore W1860797715C33884865 @default.
• W1860797715 hasConceptScore W1860797715C33923547 @default.
• W1860797715 hasConceptScore W1860797715C38652104 @default.
• W1860797715 hasConceptScore W1860797715C41008148 @default.
• W1860797715 hasConceptScore W1860797715C65302260 @default.
• W1860797715 hasConceptScore W1860797715C71924100 @default.
• W1860797715 hasConceptScore W1860797715C80444323 @default.
• W1860797715 hasLocation W18607977151 @default.
• W1860797715 hasOpenAccess W1860797715 @default.
• W1860797715 hasPrimaryLocation W18607977151 @default.
• W1860797715 hasRelatedWork W1480122568 @default.
• W1860797715 hasRelatedWork W1493079268 @default.
• W1860797715 hasRelatedWork W1499934958 @default.

• next