Abstract | ||
---|---|---|
Polynomial time adversaries based on a computational view of cryptography have additional capabilities that the classical Dolev-Yao adversary model does not include. To relate these two different models of cryptography, in this paper we enrich a formal model for cryptographic expressions, originally based on the Dolev-Yao assumptions, with computational aspects based on notions of probability and computational power. The obtained result is that if the cryptosystem is robust enough, then the two adversary models turn out to be equivalent. As an application of our approach, we show how to determine a secrecy property against the computational adversary. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-31794-4_5 | Global Computing |
Keywords | Field | DocType |
formal treatment,different model,adversary model,dolev-yao assumption,classical dolev-yao adversary model,computational view,polynomial time adversary,computational power,formal model,computational aspect,computational adversary,polynomial time | Cryptography,Computer security,Adversary model,Computer science,Secrecy,Cryptosystem,Theoretical computer science,Adversary,Standard model (cryptography),Computational resource,Advantage | Conference |
Volume | ISSN | ISBN |
3267 | 0302-9743 | 3-540-24101-9 |
Citations | PageRank | References |
2 | 0.37 | 17 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Angelo Troina | 1 | 375 | 26.31 |
Alessandro Aldini | 2 | 271 | 25.33 |
Roberto Gorrieri | 3 | 2297 | 184.63 |