SATMC
From MaRDI portal
Software:21452
No author found.
Related Items (6)
Model Checking Security Protocols ⋮ Validating Security Protocols under the General Attacker ⋮ Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data ⋮ Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties ⋮ Computer Aided Verification ⋮ Multi-attacker protocol validation
This page was built for software: SATMC
