Verification of the TESLA protocol in MCMAS-X. We use MCMAS-X to verify authentication properties in the TESLA secure stream protocol. MCMAS-X is an extension to explicit and deductive knowledge of the OBDD-based model checker MCMAS a verification tool for multi-agent systems.
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio: Automatic verification of temporal-epistemic properties of cryptographic protocols (2009)
- Lomuscio, Alessio; Penczek, Wojciech: LDYIS: a framework for model checking security protocols (2008)
- Lomuscio, Alessio; Raimondi, Franco; Woźna, Bożena: Verification of the TESLA protocol in MCMAS-X (2007)