Analysing a Stream Authentication Protocol Using Model Checking

DOI10.1007/3-540-45853-0_9zbMath1482.68068OpenAlexW1570553421MaRDI QIDQ5030180

Gavin Lowe, Philippa Broadfoot

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

model checkingauthentication protocolauthentication requesthonest agentinitial authentication

Mathematics Subject Classification ID

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

Cites Work

• On the security of public key protocols
• Unnamed Item

This page was built for publication: Analysing a Stream Authentication Protocol Using Model Checking