A symbolic approach to the analysis of security protocols (original) (raw)
Related papers
Symbolic Approach to the Analysis of Security Protocols
J. Univers. Comput. Sci., 2004
A logic for constraint-based security protocol analysis
Security and Privacy, 2006 IEEE …, 2006
Protocol Engineering Applied to Formal Analysis of Security Systems
Lecture Notes in Computer Science, 2002
Knowledge in security protocols: an operational semantics for BAN logic
A Typed Specification for Security Protocols
2006
A Derivation System for Security Protocols and its Logical Formalization
2003
Integrating Logics and Process Calculi for Cryptographic Protocol Analysis
Security and Privacy in the Age of Uncertainty, 2003
Game Semantics Model for Security Protocols
Lecture Notes in Computer Science, 2005
Process Algebraic Analysis of Cryptographic Protocols
Formal Methods for Distributed System Development, 2000
2008
Automated Design of Security Protocols
Computational Intelligence, 2004
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models
2008 Third International Conference on Availability, Reliability and Security, 2008
On Symbolic Analysis of Cryptographic Protocols
2005
Security protocols from the software verification perspective
A new method of verification of security protocols
Cornell University - arXiv, 2017
A derivation system and compositional logic for security protocols
Journal of Computer Security, 2005
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols
Lecture Notes in Computer Science, 2003
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks, 2018
Security protocols analysis: A SDL-based approach
Computer Standards & Interfaces, 2005
Generic Verification of Security Protocols
Lecture Notes in Computer Science, 2005
Specifying and Verifying Crypto-Protocols at the Design Level
2007
Towards a Metalogic for Security Protocol Analysis
2000
Automated Formal Methods for Security Protocol Engineering
Systems and Methodologies, 2012
OFMC: A Symbolic Model-Checker for Security Protocols
International Journal of Information Security, 2000
Formal verification logic for hybrid security protocols
Computer Systems: Science & Engineering, 2003
Relating multiset rewriting and process algebras for security protocol analysis
Gabriele Lenzini, Stefano Bistarelli
2005
Formally analysing a security protocol for replay attacks
Australian Software Engineering Conference (ASWEC'06), 2006
Approaches to Formal Verification of Security Protocols
Arxiv preprint arXiv:1101.1815, 2011
Formal Support to Security Protocol Development: A Survey
Computación y Sistemas, 2008
A Hybrid Analysis for Security Protocols with State
Lecture Notes in Computer Science, 2014
Establishing and preserving protocol security goals
A Logic of Belief and a Model Checking Algorithm for Security Protocols
Formal Methods for Distributed System Development, 2000
Formal verification of security protocol implementations: a survey
Formal Aspects of Computing, 2012