TY  - GEN
SP  - 255
Y1  - 2006///
UR  - http://www2.informatik.hu-berlin.de/~hs/Aktivitaeten/2006_CSP/
CY  - Wandlitz, Germany
AV  - public
PB  - Humboldt University Press
N2  - 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.
EP  - 267
A1  - Lomuscio, A.
A1  - Raimondi, F.
A1  - Wozna, B.
TI  - Verification of the TESLA protocol in MCMAS-X
ID  - discovery5624
ER  -