Verification of the TESLA protocol in MCMAS-X

MaRDI QIDQ5422291zbMATH OpenFDO

Authors Alessio Lomuscio, Franco Raimondi, Bożena Woźna

Publication date 17 October 2007

zbMATH Keywords

verification tool for multi-agent systems

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Learning and adaptive systems in artificial intelligence (68T05) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Analysing a stream authentication protocol using model checking
• mcmas: A Model Checker for Multi-agent Systems
• Automatic verification of temporal-epistemic properties of cryptographic protocols
• Formal analysis of some timed security properties in wireless protocols.
• Verifying security protocols modelled by networks of automata

Cited in

(2)

• MCMAS-X
• Analysing a stream authentication protocol using model checking

Describes a project that uses

Uses Software

• VerICS
• AVISPA
• MCMAS

This page was built for publication: Verification of the TESLA protocol in MCMAS-X

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5422291)