MCMAS-X

MaRDI QIDQ15402swMATHFDO

Official website http://iospress.metapress.com/content/yk55287729301n58/

Described by source

• Verification of the TESLA protocol in MCMAS-X

Cited in

(5)

• LDYIS: a framework for model checking security protocols
• Automatic verification of temporal-epistemic properties of cryptographic protocols
• LDYIS
• VerICS
• TAPS

This page was built for software: MCMAS-X