SATMC

swMATH9469MaRDI QIDQ21452FDOQ21452

Author name not available (Why is that?)

Cited In (6)

• 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
• Model Checking Security Protocols
• Validating Security Protocols under the General Attacker

This page was built for software: SATMC