Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110648240> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2110648240 abstract "The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for verifying security protocols. Recently significant progress was made in establishing computational soundness results: these results prove that Dolev-Yao style models can be sound with respect to actual cryptographic realizations and security definitions. However, these results came at the cost of imposing various constraints on the set of permitted security protocols: e.g., dishonestly generated keys must not be used, key cycles need to be avoided, and many more. In a nutshell, the cryptographic security definitions did not adequately capture these cases, but were considered carved in stone; in contrast, the symbolic abstractions were bent to reflect cryptographic features and idiosyncrasies, thereby requiring adaptations of existing verification tools.In this paper, we pursue the opposite direction: we consider a symbolic abstraction for public-key encryption and identify two cryptographic definitions called PROG-KDM (programmable key-dependent message) security and MKE (malicious-key extractable) security that we jointly prove to be sufficient for obtaining computational soundness without imposing assumptions on the protocols using this abstraction. In particular, dishonestly generated keys obtained from the adversary can be sent, received, and used. The definitions can be met by existing cryptographic schemes in the random oracle model. This yields the first computational soundness result for trace-properties that holds for arbitrary protocols using this abstraction (in particular permitting to send and receive dishonestly generated keys), and that is accessible to all existing tools for reasoning about Dolev-Yao models without further adaptations." @default.
- W2110648240 created "2016-06-24" @default.
- W2110648240 creator A5004014878 @default.
- W2110648240 creator A5031883158 @default.
- W2110648240 creator A5047970061 @default.
- W2110648240 date "2012-10-16" @default.
- W2110648240 modified "2023-09-25" @default.
- W2110648240 title "Computational soundness without protocol restrictions" @default.
- W2110648240 cites W1480122568 @default.
- W2110648240 cites W1488112206 @default.
- W2110648240 cites W1508967933 @default.
- W2110648240 cites W1566256504 @default.
- W2110648240 cites W188034648 @default.
- W2110648240 cites W1913041503 @default.
- W2110648240 cites W1982325601 @default.
- W2110648240 cites W1994676271 @default.
- W2110648240 cites W2029693536 @default.
- W2110648240 cites W2052267638 @default.
- W2110648240 cites W2074244772 @default.
- W2110648240 cites W2091877728 @default.
- W2110648240 cites W2098259215 @default.
- W2110648240 cites W2104494325 @default.
- W2110648240 cites W2110648240 @default.
- W2110648240 cites W2149302272 @default.
- W2110648240 cites W2163423973 @default.
- W2110648240 cites W2168151327 @default.
- W2110648240 cites W3003460908 @default.
- W2110648240 cites W3007818179 @default.
- W2110648240 cites W58702796 @default.
- W2110648240 doi "https://doi.org/10.1145/2382196.2382270" @default.
- W2110648240 hasPublicationYear "2012" @default.
- W2110648240 type Work @default.
- W2110648240 sameAs 2110648240 @default.
- W2110648240 citedByCount "19" @default.
- W2110648240 countsByYear W21106482402012 @default.
- W2110648240 countsByYear W21106482402013 @default.
- W2110648240 countsByYear W21106482402014 @default.
- W2110648240 countsByYear W21106482402015 @default.
- W2110648240 countsByYear W21106482402016 @default.
- W2110648240 countsByYear W21106482402019 @default.
- W2110648240 countsByYear W21106482402021 @default.
- W2110648240 countsByYear W21106482402023 @default.
- W2110648240 crossrefType "proceedings-article" @default.
- W2110648240 hasAuthorship W2110648240A5004014878 @default.
- W2110648240 hasAuthorship W2110648240A5031883158 @default.
- W2110648240 hasAuthorship W2110648240A5047970061 @default.
- W2110648240 hasBestOaLocation W21106482402 @default.
- W2110648240 hasConcept C142724271 @default.
- W2110648240 hasConcept C199360897 @default.
- W2110648240 hasConcept C204787440 @default.
- W2110648240 hasConcept C2780385302 @default.
- W2110648240 hasConcept C39920170 @default.
- W2110648240 hasConcept C41008148 @default.
- W2110648240 hasConcept C71924100 @default.
- W2110648240 hasConceptScore W2110648240C142724271 @default.
- W2110648240 hasConceptScore W2110648240C199360897 @default.
- W2110648240 hasConceptScore W2110648240C204787440 @default.
- W2110648240 hasConceptScore W2110648240C2780385302 @default.
- W2110648240 hasConceptScore W2110648240C39920170 @default.
- W2110648240 hasConceptScore W2110648240C41008148 @default.
- W2110648240 hasConceptScore W2110648240C71924100 @default.
- W2110648240 hasLocation W21106482401 @default.
- W2110648240 hasLocation W21106482402 @default.
- W2110648240 hasOpenAccess W2110648240 @default.
- W2110648240 hasPrimaryLocation W21106482401 @default.
- W2110648240 hasRelatedWork W109180904 @default.
- W2110648240 hasRelatedWork W1500064003 @default.
- W2110648240 hasRelatedWork W1516169988 @default.
- W2110648240 hasRelatedWork W1869994061 @default.
- W2110648240 hasRelatedWork W196405095 @default.
- W2110648240 hasRelatedWork W2049172720 @default.
- W2110648240 hasRelatedWork W2370697888 @default.
- W2110648240 hasRelatedWork W2373532818 @default.
- W2110648240 hasRelatedWork W2561527288 @default.
- W2110648240 hasRelatedWork W2562070253 @default.
- W2110648240 isParatext "false" @default.
- W2110648240 isRetracted "false" @default.
- W2110648240 magId "2110648240" @default.
- W2110648240 workType "article" @default.