Angelo Troina, Alessandro Aldini, Roberto Gorrieri  Home/Search
Context Related
| di.unipi.it/~troina/publica...wisp03.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 novel equivalence for cryptographic expressions that overcomes two limitations of classical security models: perfect cryptography and nondeterministic adversary. The uncertainty concerning the robustness of cryptographic primitives against breaking attacks is estimated through probabilistic information. We also define an approximated relation that allows cryptographic expressions (leading the same information) that can be broken with similar probabilities to be... (Update)
Similar documents based on text: More All
0.9: Message Equivalence and Imperfect Cryptography in a Formal.. - Troina, Aldini, Gorrieri (2004) (Correct)
0.8: Towards a Formal Treatment of Secrecy against.. - Troina, Aldini, Gorrieri (2004) (Correct)
0.6: Approximating Imperfect Cryptography in a Formal Model - Troina, Aldini, Gorrieri (2004) (Correct)
BibTeX entry: (Update)
A. Troina, A. Aldini, R. Gorrieri, "A Probabilistic Formulation of Imperfect Cryptography ", in Proc. of 1st Int. Workshop on Issues in Security and Petri Nets, WISP'03, 2003. http://citeseer.ist.psu.edu/article/troina03probabilistic.html More
@misc{ troina03probabilistic,
author = "A. Troina and A. Aldini and R. Gorrieri",
title = "A Probabilistic Formulation of Imperfect Cryptography",
text = "A. Troina, A. Aldini, R. Gorrieri, A Probabilistic Formulation of Imperfect
Cryptography , in Proc. of 1st Int. Workshop on Issues in Security and Petri
Nets, WISP'03, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/troina03probabilistic.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
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
29 Approximate Non-Interference - Di Pierro, Hankin et al. - 2002
18 A Process-algebraic Approach for the Analysis of Probabilist.. (context) - Aldini, Bravetti et al.
16 Computational Probabilistic Non-interference - Backes, Pfitzmann - 2002
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