SATMC

MaRDI QIDQ21452swMATHFDO

Official website http://www.ai-lab.it/satmc/

Cited in

(12)

• HERMES
• YAPA
• AVISPA
• Casper
• OFMC
• NRL
• 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
• Multi-attacker protocol validation
• Computer Aided Verification

This page was built for software: SATMC