Michael Backes, Birgit Pfitzmann  Home/Search
Context Related
| ibm.com/~mbc/paper...Pf_02ESORICS.ps.gz 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: ibm.com/~mbc/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definition of probabilistic non-interference in reactive systems which includes a computational case. This case is essential to cope with real cryptography since non-interference properties can usually only be guaranteed if the underlying cryptographic primitives have not been broken. This might happen, but only with... (Update)
Cited by: More
Approximating Imperfect Cryptography in a Formal Model - Troina, Aldini, al. (2003) (Correct)
Towards a Formal Treatment of Secrecy against.. - Troina, Aldini, Gorrieri (Correct)
A Probabilistic Formulation of Imperfect Cryptography - Troina, Aldini, Gorrieri (2003) (Correct)
Active bibliography (related documents): More All
2.6: Computational Probabilistic Non-Interference - Backes, Pfitzmann (2002) (Correct)
1.4: Cryptographically Sound Analysis of Security Protocols - Backes (2002) (Correct)
0.2: A Denotational Semantics for the pi-Calculus - Aziz, Hamilton (Correct)
Similar documents based on text: More All
0.8: Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (Correct)
0.5: Polynomial Fairness and Liveness - Backes, Pfitzmann, Steiner, Waidner (2002) (Correct)
0.4: Limits of the Cryptographic Realization of Dolev-Yao-style XOR - Backes, Pfitzmann (2005) (Correct)
Related documents from co-citation: More All
11: A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell et al. - 1998
9: Reconciling two views of cryptography: The computational soundness of formal enc.. - Abadi, Rogaway - 2000
9: The inductive approach to verifying cryptographic protocols - Paulson - 1998
BibTeX entry: (Update)
M. Backes and B. Pfitzmann. Computational probabilistic non-interference. In Proc. 7th European Symposium on Research in Computer Security (ESORICS), volume 2502 of Lecture Notes in Computer Science, pages 1--23. Springer, 2002. http://citeseer.ist.psu.edu/backes02computational.html More
@misc{ backes02computational,
author = "M. Backes and B. Pfitzmann",
title = "Computational probabilistic non-interference",
text = "M. Backes and B. Pfitzmann. Computational probabilistic non-interference.
In Proc. 7th European Symposium on Research in Computer Security (ESORICS),
volume 2502 of Lecture Notes in Computer Science, pages 1--23. Springer,
2002.",
year = "2002",
url = "citeseer.ist.psu.edu/backes02computational.html" }
Citations (may not include all citations):718 Distributed algorithms (context) - Lynch - 1996
265 Secure computer systems: Unified exposition and multics inte.. (context) - Bell, LaPadula - 1976
196 A lattice model of secure information flow (context) - Denning - 1976
108 International Series in Computer Science (context) - Hoare, processes - 1985
99 Foundations of cryptography: Basic tools (context) - Goldreich - 2001
74 A model for asynchronous reactive systems and its applicatio.. - Pfitzmann, Waidner - 2001
60 Specifications for multi-level security and a hook-up proper.. (context) - McCullough - 1987
52 Security models - McLean - 1994
51 Information flow in nondeterministic systems (context) - Wittbold, Johnson - 1990
33 Semantics and program analysis of computationally secure inf.. - Laud
22 Deriving cryptographically sound implementations using compo.. - Backes, Jacobi et al.
17 Cryptographically sound analysis of security protocols - Backes - 2002
15 rd Symposium on Foundations of Computer Science (context) - Yao, secure
11 National Computer Security Center (context) - Sutherland, of et al. - 1986
7 IEEE Computer Society Press (context) - Goguen, Meseguer et al. - 1984
7 IEEE Computer Society Press (context) - Goguen, Meseguer et al. - 1982
3 th European Symposium on Research in Computer Security (context) - Mantel, security - 2000
3 IEEE Computer Society Press (context) - Zakinthinos, Lee et al. - 1997
2 IEEE Computer Society Press (context) - McLean, information et al. - 1990
2 IEEE Computer Society Press (context) - Probabilistic, Symposium et al. - 1990
www.doc.ic.ac.uk/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.zurich.ibm.com/~mbc/publications.html): More
Low-level Ideal Signatures and General Integrity Idealization - Backes, Pfitzmann, Waidner (2004) (Correct)
Symmetric Authentication within a Simulatable.. - Backes, Pfitzmann.. (2003) (Correct)
Intransitive Non-Interference for Cryptographic Purposes - Backes, Pfitzmann (2003) (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