Security protocols: 13th international workshop, Cambridge, UK, April 20-22, 2005: revised selected papers (original) (raw)
Related papers
Towards a Quantitative Analysis of Security Protocols
Electronic Notes in Theoretical Computer Science, 2006
Subtle Interactions: Security Protocols and
2007
Toward a Broader View of Security Protocols
Lecture Notes in Computer Science, 2006
Information Assurance for security protocols
Computers & Security, 2005
Security Protocols: Specification, Verification, Implementation, and Composition
2016
On the Automated Correction of Faulty Security Protocols
Citeseer
Automated Design of Security Protocols
Computational Intelligence, 2004
On Evaluating the Performance of Security Protocols
2005
A Typed Specification for Security Protocols
2006
Establishing and preserving protocol security goals
Dynamic analysis of security protocols
Proceedings of the 2000 Workshop on New Security Paradigms, 2001
On the security of recent protocols
Information Processing Letters, 1995
A protocol's life after attacks
2005
A Framework for the Study of Cryptographic Protocols
Lecture Notes in Computer Science
On Protocols for Information Security Services
2010
A security architecture for the Internet Protocol
Ibm Systems Journal, 1998
Introducing ASPECT 1 - a tool for checking protocol security
2002
Retaliation against protocol attacks
Journal of Information Assurance and Security, 2008
Modeling Security Protocols as Games
Third International Symposium on Information Assurance and Security, 2007
Stepwise development of security protocols
Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04, 2004
A case for exploit-robust and attack-aware protocol RFCs
2006
The modelling and analysis of security protocols: the CSP approach
2001
Study on cryptographic protocols
Security Goals and Protocol Transformations
Lecture Notes in Computer Science, 2012
Formal Support to Security Protocol Development: A Survey
Computación y Sistemas, 2008
Proceedings of the 8th ACM conference on Computer and Communications Security - CCS '01, 2001
AnBx - Security Protocols Design and Verification
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010
Classifying Attacks on Security Protocols
On the Automated Correction of Security Protocols Susceptible to a Replay Attack
European Symposium on Research in Computer Security, 2007
A Comparative study of Security Protocols Validation Tools: HERMES vs. AVISPA
On Establishing and Fixing a Parallel Session Attack in a Security Protocol
Studies in Computational Intelligence, 2008