%0 Generic
%A Lomuscio, A.
%A Raimondi, F.
%A Wozna, B.
%C Wandlitz, Germany
%D 2006
%E Lindemann, G.
%E Schlingloff, H.
%F discovery:5624
%I Humboldt University Press
%P 255-267
%T Verification of the TESLA protocol in MCMAS-X
%U https://discovery.ucl.ac.uk/id/eprint/5624/
%X We present MCMAS-X, an extension of the OBDD-based model  checker MCMAS for multi-agent systems, to explicit and deductive knowledge. We use MCMAS-X to verify authentication properties in the TESLA secure stream protocol.