Temporal logics of knowledge and their applications in security

DOI10.1016/J.ENTCS.2006.11.043MaRDI QIDQ2866724zbMATH OpenOpenAlexWikidataFDO

Authors Clare Dixon, Mari-Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek

Publication date 13 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.11.043

zbMATH Keywords

resolutionsecuritytemporal logics of knowledgetheorem provingverification

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Using temporal logics of knowledge for specification and verification -- a case study
• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• Resolution for temporal logics of knowledge
• To know or not to know: Epistemic approaches to security protocol verification
• Taming the Complexity of Temporal Epistemic Reasoning

Cites work

• A logic of authentication
• A principle for incorporating axioms into the first-order translation of modal formulae.
• A semantics for a logic of authentication (extended abstract)
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• Automated Reasoning
• Axiomatizing the monodic fragment of first-order temporal logic
• Clausal temporal resolution
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Decidable fragments of first-order temporal logics
• Decision procedures for BDI logics
• First-order temporal verification in practice
• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1249651 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1182728 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 1444727 (Why is no real title available?)
• scientific article; zbMATH DE number 5046364 (Why is no real title available?)
• Knowledge, belief and time
• Many-dimensional modal logics: theory and applications
• Mechanising first-order temporal resolution
• Monodic temporal resolution
• Resolution for temporal logics of knowledge
• Temporalizing description logics
• The complexity of reasoning about knowledge and time. I: Lower bounds
• The NRL Protocol Analyzer: An Overview
• Using encryption for authentication in large networks of computers

Cited in

(9)

• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• Metareasoning about security protocols using distributed temporal logic
• Functional systems in the context of temporal×modal logics with indexed flows
• Taming the Complexity of Temporal Epistemic Reasoning
• Finite sequent calculi for PLTL
• Completeness of a functional system for surjective functions
• Two Applications of Epistemic Logic in Computer Security
• Distributed temporal logic for the analysis of security protocol models
• To know or not to know: Epistemic approaches to security protocol verification

Describes a project that uses

Uses Software

• TeMP
• NRL

This page was built for publication: Temporal logics of knowledge and their applications in security

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