Introducing ASPECT-a tool for checking protocol security (original) (raw)
Related papers
Introducing ASPECT 1 - a tool for checking protocol security
2002
Formal Support to Security Protocol Development: A Survey
Computación y Sistemas, 2008
AnBx: Automatic Generation and Verification of Security Protocols Implementations
FPS2015: Foundations and Practice of Security, 2016
Verifying security protocols with Brutus
ACM Transactions on Software Engineering and Methodology, 2000
Static validation of security protocols
Journal of Computer Security, 2005
An IDE for the Design, Verification and Implementation of Security Protocols
IEEE International Symposium on Software Reliability Engineering Workshops , 2017
Security protocols from the software verification perspective
mimuw.edu.pl
A Typed Specification for Security Protocols
2006
2008
Model Checking for Security Protocols
An extensible platform for evaluating security protocols
2005
A Security Analysis Method for Security Protocol Implementations Based on Message Construction
Applied Sciences, 2018
Verification of security protocols using LOTOS-method and application
Computer Communications, 2000
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols
Lecture Notes in Computer Science, 2003
A Comparative study of Security Protocols Validation Tools: HERMES vs. AVISPA
Design of an Efficient Security Protocol Analyzer
2007
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
Lecture Notes in Computer Science, 2005
A new method of verification of security protocols
Cornell University - arXiv, 2017
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap ⋆
2013
AnBx - Security Protocols Design and Verification
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010
Verification with AVISPA to Engineer Network Security Protocols
2012
An On-the-Fly Model-Checker for Security Protocol Analysis
Lecture Notes in Computer Science, 2003
Implementing Security Protocol Monitors
Electronic Proceedings in Theoretical Computer Science, 2021
Verified Security Protocol Modeling and Implementation with AnBx
2012
A Methodology for Protocol Verification
2018
Establishing and Fixing Security Protocols Weaknesses Using a Logic-based Verification Tool
Journal of Communications, 2013
Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches
Computer Security – ESORICS 2017, 2017
2017 IEEE European Symposium on Security and Privacy (EuroS&P), 2017
Automated Design of Security Protocols
Computational Intelligence, 2004
Verifying security properties of internet protocol stacks: The split verification approach
Journal of Systems Architecture, 2011
Security Protocol Specification and Verification with AnBx
Automatic Generation of Security Protocols Implementations (Extended Abstract)