MCMAS-X

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.