Lomuscio, A.;
Raimondi, F.;
Wozna, B.;
(2006)
Verification of the TESLA protocol in MCMAS-X.
In: Lindemann, G. and Schlingloff, H., (eds.)
Proceedings of Concurrency, Specification and Programming (CS&P) 2006.
(pp. pp. 255-267).
Humboldt University Press: Wandlitz, Germany.
![[thumbnail of 5624.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
5624.pdf Download (407kB) |
Abstract
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.
| Type: | Proceedings paper |
|---|---|
| Title: | Verification of the TESLA protocol in MCMAS-X |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | http://www2.informatik.hu-berlin.de/~hs/Aktivitaet... |
| Language: | English |
| UCL classification: | |
| URI: | https://discovery.ucl.ac.uk/id/eprint/5624 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
