Temporal Logics of Knowledge and their Applications in Security

13 years 4 months ago

Download www.csc.liv.ac.uk

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we investigate the application of temporal logics of knowledge to the speciﬁcation and veriﬁcation of security protocols. We show how typical assumptions relating to authentication protocols can be speciﬁed. We consider veriﬁcation methods for these logics, in particular, focusing on proofs using clausal resolution. Finally we present experiences from using a resolution based theorem prover applied to security protocols speciﬁed in temporal logics of knowledge.

Clare Dixon, M. Carmen Fernández Gago, Mich

Real-time Traffic

ENTCS 2007 | Reasoning | Security Protocols | Temporal Logics |

claim paper

» Decidability of Propositionally Quantified Logics of Knowledge

» A Complete STIT Logic for Knowledge and Action and Some of Its Applications

» Electronic Submission Protocol Based on Temporal Accountability

» SequenceIndexed LinearTime Temporal Logic Proof System and Application

» Policy auditing over incomplete logs theory implementation and applications

» Bounded model checking knowledge and branching time in synchronous multiagent systems

» Monitoring security policies with metric firstorder temporal logic

» Towards Practical Security Monitors of UML Policies for Mobile Applications

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek

Comments (0)

Sciweavers

Temporal Logics of Knowledge and their Applications in Security

ENTCS 2007 | Reasoning | Security Protocols | Temporal Logics |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers