TAPS
From MaRDI portal
Cited in
(23)- TulaFale
- LDYIS
- MCMAS-X
- AVISPA
- Verification of cryptographic protocols: tagging enforces termination
- Casper
- Cryptyc
- Pattern-matching spi-calculus
- A symbolic decision procedure for cryptographic protocols with time stamps
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- Proof-carrying code with untrusted proof rules
- Verification of authentication protocols based on the binding relation
- Automatic SAT-compilation of protocol insecurity problems via reduction to planning
- New decidability results for fragments of first-order logic and application to cryptographic protocols
- SET cardholder registration: The secrecy proofs (extended abstract)
- Automatic verification of temporal-epistemic properties of cryptographic protocols
- Automated Reasoning
- Tools and Algorithms for the Construction and Analysis of Systems
- Theory and Applications of Satisfiability Testing
- Modelling and checking timed authentication of security protocols
- Verifying security protocols modelled by networks of automata
- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata
- A semantics for web services authentication
This page was built for software: TAPS
