Verification and modelling of authentication protocols

From MaRDI portal

Publication:5857805

Jump to:navigation, search

DOI10.1007/BFB0013896zbMath1458.68032MaRDI QIDQ5857805

E. Stewart Lee, Ralf C. Hauser

Publication date: 7 April 2021

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

Mathematics Subject Classification ID

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

This page was built for publication: Verification and modelling of authentication protocols

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5857805&oldid=30713374"