FORMAL VERIFICATION TECHNIQUES FOR COMPUTER COMMUNICATION SECURITY PROTOCOLS (original) (raw)
Related papers
Approaches to Formal Verification of Security Protocols
Computing Research Repository, 2011
A new method of verification of security protocols
Cornell University - arXiv, 2017
Formal verification of security protocol implementations: a survey
Security protocols from the software verification perspective
mimuw.edu.pl
Formal automatic verification of authentication cryptographic protocols
Proceedings First IEEE International Conference on Formal Engineering Methods, 1997
Proving Security Protocols Correct
1999
Formal Methods for Assuring Security of Protocols
The Computer Journal, 2002
Cryptographic Protocols Specification and Verification Tools - a Survey
ICTACT Journal on Communication Technology, 2017
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks, 2018
Static validation of security protocols
Journal of Computer Security, 2005
A formal methodology for integral security design and verification of network protocols
2012
Generic Verification of Security Protocols
Lecture Notes in Computer Science, 2005
Formal verification logic for hybrid security protocols
Computer Systems: Science & Engineering, 2003
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols
Lecture Notes in Computer Science, 2003
1999
2008
Verification with AVISPA to Engineer Network Security Protocols
2012
Verification of security protocols using LOTOS-method and application
Computer Communications, 2000
A Methodology for Protocol Verification
2018
Formal Support to Security Protocol Development: A Survey
Computación y Sistemas, 2008
Security Protocols: Specification, Verification, Implementation, and Composition
2016
Survey of Network Protocol Verification Techniques
2012
Proving secure properties of cryptographic protocols with knowledge based approach
2005
A Comparative study of Security Protocols Validation Tools: HERMES vs. AVISPA
Stateful Security Protocol Verification
Model Checking for Security Protocols
New Method of Verifying Cryptographic Protocols, Based on the Process Model
Artificial Intelligence in Intelligent Systems, 2021
Formal Methods in Information Security
INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY, 2015