Analysing a stream authentication protocol using model checking

DOI10.1007/3-540-45853-0_9MaRDI QIDQ5030180zbMATH OpenOpenAlexFDO

Authors Philippa Broadfoot, Gavin Lowe

Publication date 16 February 2022

Published in Computer Security — ESORICS 2002 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45853-0_9

zbMATH Keywords

authentication protocolauthentication requesthonest agentinitial authenticationmodel checking

Mathematics Subject Classification ID

Computer security (68M25) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Verification of the TESLA protocol in MCMAS-X
• scientific article; zbMATH DE number 6300104
• Some Notes on the Security of the Timed Efficient Stream Loss-Tolerant Authentication Scheme
• Modelling and checking timed authentication of security protocols
• Model Checking Security Protocols

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• On the security of public key protocols

Cited in

(3)

• Verification of the TESLA protocol in MCMAS-X
• Some Notes on the Security of the Timed Efficient Stream Loss-Tolerant Authentication Scheme
• Verification and modelling of authentication protocols

This page was built for publication: Analysing a stream authentication protocol using model checking

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