Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949202325> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2949202325 abstract "Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such models with respect to computational ones, is to explicitly represent the dependency of ciphertexts on random coins as labels. In order to make these label-based models useful, it seems natural to try to extend the underlying decision procedures and the implementation of existing tools. In this paper we put forth a more practical alternative based on the following soundness theorem. We prove that for a large class of security properties (that includes rather standard formulations for secrecy and authenticity properties), security of protocols in the simpler model implies security in the label-based model. Combined with the soundness result of (textbf{?}) our theorem enables the translation of security results in unlabeled symbolic models to computational security." @default.
- W2949202325 created "2019-06-27" @default.
- W2949202325 creator A5007841293 @default.
- W2949202325 creator A5026672767 @default.
- W2949202325 creator A5070402905 @default.
- W2949202325 date "2006-06-07" @default.
- W2949202325 modified "2023-09-27" @default.
- W2949202325 title "Explicit Randomness is not Necessary when Modeling Probabilistic Encryption" @default.
- W2949202325 hasPublicationYear "2006" @default.
- W2949202325 type Work @default.
- W2949202325 sameAs 2949202325 @default.
- W2949202325 citedByCount "2" @default.
- W2949202325 countsByYear W29492023252012 @default.
- W2949202325 crossrefType "posted-content" @default.
- W2949202325 hasAuthorship W2949202325A5007841293 @default.
- W2949202325 hasAuthorship W2949202325A5026672767 @default.
- W2949202325 hasAuthorship W2949202325A5070402905 @default.
- W2949202325 hasConcept C105795698 @default.
- W2949202325 hasConcept C125112378 @default.
- W2949202325 hasConcept C147343967 @default.
- W2949202325 hasConcept C148730421 @default.
- W2949202325 hasConcept C154945302 @default.
- W2949202325 hasConcept C19768560 @default.
- W2949202325 hasConcept C199360897 @default.
- W2949202325 hasConcept C2776452267 @default.
- W2949202325 hasConcept C2777212361 @default.
- W2949202325 hasConcept C33923547 @default.
- W2949202325 hasConcept C38652104 @default.
- W2949202325 hasConcept C39920170 @default.
- W2949202325 hasConcept C41008148 @default.
- W2949202325 hasConcept C49937458 @default.
- W2949202325 hasConcept C80444323 @default.
- W2949202325 hasConceptScore W2949202325C105795698 @default.
- W2949202325 hasConceptScore W2949202325C125112378 @default.
- W2949202325 hasConceptScore W2949202325C147343967 @default.
- W2949202325 hasConceptScore W2949202325C148730421 @default.
- W2949202325 hasConceptScore W2949202325C154945302 @default.
- W2949202325 hasConceptScore W2949202325C19768560 @default.
- W2949202325 hasConceptScore W2949202325C199360897 @default.
- W2949202325 hasConceptScore W2949202325C2776452267 @default.
- W2949202325 hasConceptScore W2949202325C2777212361 @default.
- W2949202325 hasConceptScore W2949202325C33923547 @default.
- W2949202325 hasConceptScore W2949202325C38652104 @default.
- W2949202325 hasConceptScore W2949202325C39920170 @default.
- W2949202325 hasConceptScore W2949202325C41008148 @default.
- W2949202325 hasConceptScore W2949202325C49937458 @default.
- W2949202325 hasConceptScore W2949202325C80444323 @default.
- W2949202325 hasLocation W29492023251 @default.
- W2949202325 hasOpenAccess W2949202325 @default.
- W2949202325 hasPrimaryLocation W29492023251 @default.
- W2949202325 hasRelatedWork W1494674814 @default.
- W2949202325 hasRelatedWork W150120515 @default.
- W2949202325 hasRelatedWork W1525163492 @default.
- W2949202325 hasRelatedWork W2049711627 @default.
- W2949202325 hasRelatedWork W2073540007 @default.
- W2949202325 hasRelatedWork W2090106217 @default.
- W2949202325 hasRelatedWork W2261998053 @default.
- W2949202325 hasRelatedWork W2398507921 @default.
- W2949202325 hasRelatedWork W2405708797 @default.
- W2949202325 hasRelatedWork W2473453452 @default.
- W2949202325 hasRelatedWork W2903136864 @default.
- W2949202325 hasRelatedWork W2950481380 @default.
- W2949202325 hasRelatedWork W2950637221 @default.
- W2949202325 hasRelatedWork W2950895754 @default.
- W2949202325 hasRelatedWork W2969357465 @default.
- W2949202325 hasRelatedWork W2990365857 @default.
- W2949202325 hasRelatedWork W3022854818 @default.
- W2949202325 hasRelatedWork W3030204748 @default.
- W2949202325 hasRelatedWork W4226151415 @default.
- W2949202325 hasRelatedWork W974961824 @default.
- W2949202325 isParatext "false" @default.
- W2949202325 isRetracted "false" @default.
- W2949202325 magId "2949202325" @default.
- W2949202325 workType "article" @default.