MCMAS-X

swMATH2864MaRDI QIDQ15402FDOQ15402

Author name not available (Why is that?)

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

Described by source

• Verification of the TESLA protocol in MCMAS-X

Cited In (5)

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

This page was built for software: MCMAS-X