Two Applications of Epistemic Logic in Computer Security

DOI10.1007/978-94-007-0080-2_9zbMath1319.03045OpenAlexW83385239MaRDI QIDQ5246113

Ron van der Meyden

Publication date: 17 April 2015

Published in: Proof, Computation and Agency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0080-2_9

zbMATH Keywords

model checkingepistemic logicdeducibilitydining cryptographers protocol

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Security invariants in discrete transition systems

This page was built for publication: Two Applications of Epistemic Logic in Computer Security