Giampaolo Bella, Stefano Bistarelli, and Fabio Massacci Computer...  Home/Search
Context Related
| sci.unich.it/~bist...tmass03ISPW.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: sci.unich.it/~bista/paper...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the analysis of security protocols, it is customary to stop as soon as we find an attack. Tons of ink can be spilled on whether an "attack" is really an attack, but it goes without saying that there is no life after that, hence no interest in continuing the analysis. If the protocol is broken, then we ought to fix it. (Update)
Cited by: More
Advancing Assurance for Secure Distributed Communications - Bella, Bistarelli (2002) (Correct)
Active bibliography (related documents): More All
0.5: Logics for Authorizations and Security - Piero Bonatti And (2003) (Correct)
0.2: Open Issues in Formal Methods for Cryptographic Protocol Analysis - Meadows (2000) (Correct)
0.2: Athena: A Novel Approach to Efficient Automatic Security.. - Song, Berezin, Perrig (2001) (Correct)
Similar documents based on text: More All
0.4: Solving Finite Domain Constraint Hierarchies by Local.. - Bistarelli, al. (2003) (Correct)
0.4: Symmetry Breaking in Soft CSPs - Bistarelli, Kelleher, O'Sullivan (2003) (Correct)
0.3: Confidentiality Levels and Deliberate/Indeliberate Protocol.. - Bella, Bistarelli (2002) (Correct)
BibTeX entry: (Update)
G. Bella, S. Bistarelli, and F. Massacci, "A protocol's life after attacks . . . ," in Proc. 11th International Workshop on Security Protocols Cambridge, UK, LNCS, Springer, 2003. To appear. http://citeseer.ist.psu.edu/bella03protocols.html More
@misc{ bella03protocols,
author = "G. Bella and S. Bistarelli and F. Massacci",
title = "A protocol's life after attacks",
text = "G. Bella, S. Bistarelli, and F. Massacci, A protocol's life after attacks
. . . , in Proc. 11th International Workshop on Security Protocols Cambridge,
UK, LNCS, Springer, 2003. To appear.",
year = "2003",
url = "citeseer.ist.psu.edu/bella03protocols.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
184 Automated analysis of cryptographic protocols using Murphi - Mitchell, Mitchell et al. - 1997
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
121 Three system for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
98 Security properties and CSP - Schneider - 1996
93 An Attack on the Needham-Schroeder Public-Key Authentication.. - Lowe - 1995
43 The compositional security checker: A tool for the verificat.. - Focardi, Gorrieri - 1997
43 Honest ideals on strand spaces (context) - Fabrega, Herzog et al. - 1998
4 Athena: An automatic checker for security protocol analysis (context) - Song - 1999
2 Verifying security protocols as planning in logic programmin.. (context) - Aiello, Massacci - 2001
2 Confidentiality level and deliberateindeliberate protocol at.. - Bistarelli, deliberate et al. - 2002
Documents on the same site (http://www.sci.unich.it/~bista/papers/index.html): More
Computer Algebra for Fingerprint Matching - Bistarelli, Bo, Rossi (Correct)
Solving Finite Domain Constraint Hierarchies by Local .. - Bistarelli.. (2003) (Correct)
A Theoretical Framework for Tradeoff Generation Using.. - Bistarelli, O'Sullivan (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