swMATH9469MaRDI QIDQ21452FDOQ21452
Author name not available (Why is that?)
Official website: http://www.ai-lab.it/satmc/
Cited In (10)
- Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
- Multi-attacker protocol validation
- Computer Aided Verification
- HERMES
- Casper
- OFMC
- NRL
- Model Checking Security Protocols
- Validating Security Protocols under the General Attacker
This page was built for software: SATMC
