Michael Backes, Christian Jacobi, Birgit Pfitzmann  Home/Search
Context Related
| ibm.com/security/pu...BaJaPf2002FME.pdf 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/security/publicati...2002 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We consider abstract specifications of cryptographic protocols which are both suitable for formal verification and maintain a sound cryptographic semantics. (Update)
Cited by: More
Examining Indistinguishability-Based Proof Models for Key.. - Choo, Boyd, Hitchcock (2005) (Correct)
Encryption - Gergei Bana Dissertation (2005) (Correct)
Proactive Secure Message Transmission in Asynchronous Networks - Backes, Cachin, Strobl (2003) (Correct)
Active bibliography (related documents): More All
0.3: Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (Correct)
0.3: Computational Probabilistic Non-Interference - Backes, Pfitzmann (2002) (Correct)
0.2: Cryptographically Sound Analysis of Security Protocols - Backes (2002) (Correct)
Similar documents based on text: More All
0.6: Cryptographically Sound and Machine-Assisted Verification of.. - Backes, Jacobi (2003) (Correct)
0.5: Cryptographically Sound and Machine-Assisted - Verification Of Security (Correct)
0.5: Secure Asynchronous Reactive Systems - Backes, Pfitzmann, Waidner (2004) (Correct)
Related documents from co-citation: More All
14: Model for asynchronous reactive systems and its application to secure message tr.. - Ptzmann, Waidner
14: Distributed Algorithms (context) - Lynch - 1996
14: Cryptographically sound and machine-assisted veri- fication of security protocol.. - Backes, Jacobi - 2003
BibTeX entry: (Update)
M. Backes, C. Jacobi, and B. Pfitzmann. Deriving cryptographically sound im- plementations using composition and formally verified bisimulation. In Proc. 11th Symposium on Formal Methods Europe (FME 2002. http://citeseer.ist.psu.edu/backes02deriving.html More
@misc{ backes02deriving,
author = "M. Backes and C. Jacobi and B. Pfitzmann",
title = "Deriving cryptographically sound im- plementations using composition and
formally verified bisimulation",
text = "M. Backes, C. Jacobi, and B. Pfitzmann. Deriving cryptographically sound
im- plementations using composition and formally verified bisimulation.
In Proc. 11th Symposium on Formal Methods Europe (FME 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/backes02deriving.html" }
Citations (may not include all citations):718 Distributed algorithms (context) - Lynch - 1996
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1999
322 Breaking and fixing the needham-schroeder public-key protoco.. - Lowe - 1996
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
295 PVS: A prototype verification system (context) - Owre, Shankar et al. - 1992
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
114 A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell et al. - 1998
113 Computer Science Laboratory (context) - Owre, Shankar et al. - 1993
108 International Series in Computer Science (context) - Hoare, processes - 1985
77 Composition and integrity preservation of secure reactive sy.. - Pfitzmann, Waidner - 2000
76 the computational soundness of formal encryption (context) - Abadi, Rogaway et al. - 2000
46 Probabilistic polynomial-time equivalence and security analy.. - Lincoln, Mitchell et al. - 1999
42 Strand spaces: Why is a security protocol correct (context) - Fabrega, Herzog et al. - 1998
25 automaton models and proofs for shared-key communication sys.. (context) - Lynch - 1999
17 Cryptographically sound analysis of security protocols - Backes - 2002
15 rd Symposium on Foundations of Computer Science (context) - Yao, secure - 1982
11 IEEE Symposium on Security and Privacy (context) - Schneider, CSP - 1996
6 Amodel for asynchronous reactive systems and its application.. (context) - Pfitzmann, Waidner - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.zurich.ibm.com/security/publications/2002.html): More
Dynamic Accumulators and Application to Efficient.. - Camenisch, Lysyanskaya (2002) (Correct)
Secure Intrusion-tolerant Replication on the Internet - Cachin, Poritz (2002) (Correct)
Event Matching in Symmetric Subscription Systems - Rjaibi, Dittrich, Jaepel (2002) (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