Two Applications of Epistemic Logic in Computer Security

DOI10.1007/978-94-007-0080-2_9MaRDI QIDQ5246113zbMATH OpenOpenAlexFDO

Authors 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) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Challenges for decidable epistemic logics from security protocols
• An epistemic foundation for authentication logics (extended abstract)
• scientific article; zbMATH DE number 58298
• To know or not to know: Epistemic approaches to security protocol verification
• scientific article; zbMATH DE number 10093
• Temporal logics of knowledge and their applications in security
• Trace equivalence and epistemic logic to express security properties
• scientific article; zbMATH DE number 2236617
• Some computational constraints in epistemic logic

Cited in

(2)

• Knowledge system for application of computer security rules
• Security invariants in discrete transition systems

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

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