Angelo Troina, Alessandro Aldini, Roberto Gorrieri  Home/Search
Context
Related
| di.unipi.it/~troina/publ...mef_equiv.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.unipi.it/~troina/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a formal view of cryptography that overcomes the usual assumptions of formal models for reasoning about security of computer systems, i.e. perfect cryptography and Dolev-Yao adversary model. In our framework, equivalence among formal cryptographic expressions is parameterized by a computational adversary that may exploit weaknesses of the cryptosystem to cryptanalyze ciphertext with a certain probability of success. To validate our approach, we show that in the restricted setting of... (Update)
Similar documents based on text: More All
0.6: A Probabilistic Formulation of Imperfect Cryptography - Troina, Aldini, Gorrieri (2003) (Correct)
0.5: Message Equivalence and Imperfect Cryptography in a Formal.. - Troina, Aldini, Gorrieri (2004) (Correct)
0.4: On Quantitative Analysis of Probabilistic Protocols - Aldini, Di Pierro (2004) (Correct)
BibTeX entry: (Update)
@misc{ troina-approximating,
author = "Angelo Troina and Alessandro Aldini and Roberto Gorrieri",
title = "Approximating Imperfect Cryptography in a Formal Model",
url = "citeseer.ist.psu.edu/article/troina04approximating.html" }
Citations (may not include all citations):263 The Inductive Approach to Verifying Cryptographic Protocols - Paulson - 1998
114 A Probabilistic Poly-Time Framework for Protocol Analysis - Lincoln, Mitchell et al. - 1998
98 Security Properties and CSP - Schneider - 1996
97 the Security of Public-key Protocols (context) - Dolev, Yao - 1983
89 The Interrogator: Protocol Security Analysis (context) - Millen, Clark et al. - 1987
62 Intercepting Mobile Communications: The Insecurity of 802.11 - Borisov, Goldberg et al. - 2001
47 Analyzing Encryption Protocols using Formal Verification Tec.. (context) - Kemmerer - 1989
36 Cryptographic Protocols - DeMillo, Lynch et al. - 1982
33 Reconciling Two Views of Cryptography (The Computational Sou.. - Abadi, Rogaway - 2000
33 Semantics and Program Analysis of Computationally Secure Inf.. - Laud - 2001
29 Approximate Non-Interference - Di Pierro, Hankin et al. - 2002
21 A Compiler for Analysing Cryptographic Protocols Using Non-I.. (context) - Durante, Focardi et al. - 2000
18 A Process-algebraic Approach for the Analysis of Probabilist.. (context) - Aldini, Bravetti et al. - 2004
16 Computational Probabilistic Non-interference - Backes, Pfitzmann - 2002
11 Cryptanalysis of Skipjack Reduced to 31 Rounds Using Impossi.. (context) - Biham, Biryukov et al. - 1999
[Article contains additional citations not shown here]
Documents on the same site (http://www.di.unipi.it/~troina/): More
Towards a Formal Treatment of Secrecy against.. - Troina, Aldini, Gorrieri (2004) (Correct)
Automatic Analysis of the NRL Pump - Lanotte, Tini, Troina, Tronci (2004) (Correct)
Message Equivalence and Imperfect Cryptography in a Formal.. - Troina, Aldini, Gorrieri (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC