TAPS
From MaRDI portal
Cited in
(23)- scientific article; zbMATH DE number 1962754 (Why is no real title available?)
- scientific article; zbMATH DE number 1962755 (Why is no real title available?)
- Pattern-matching spi-calculus
- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata
- A symbolic decision procedure for cryptographic protocols with time stamps
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- TulaFale
- LDYIS
- MCMAS-X
- AVISPA
- Casper
- Cryptyc
- Automatic verification of temporal-epistemic properties of cryptographic protocols
- scientific article; zbMATH DE number 2043527 (Why is no real title available?)
- scientific article; zbMATH DE number 1973985 (Why is no real title available?)
- Modelling and checking timed authentication of security protocols
- A semantics for web services authentication
- scientific article; zbMATH DE number 1765658 (Why is no real title available?)
- Automated Reasoning
- Verifying security protocols modelled by networks of automata
- Verification of cryptographic protocols: tagging enforces termination
- Tools and Algorithms for the Construction and Analysis of Systems
- Theory and Applications of Satisfiability Testing
This page was built for software: TAPS
