The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
No abstract available.
Related papers
- Reachability Analysis for AWS-Based Networks CAV 2019
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018
- PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation CAV 2022
- Automated Unbounded Verification of Security Protocols CAV 2002
- Computationally Sound, Automated Proofs for Security Protocols ESOP 2005
- The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures TACAS 2012
- Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption CAV 2022
- Partial Order Reductions for Security Protocol Verification TACAS 2000