SATMC

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