Toward Reasoning about Security Protocols: A Semantic Approach

Authors:
Arjen Hommersom;John-Jules Meyer;Erik de Vink
Affiliations:
Nijmegen Institute of Information and Computing Sciences, Radboud University, Nijmegen, the Netherlands;Institute of Information and Computer Science, Utrecht University, the Netherlands;Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, the Netherlands and Leiden Institute of Advanced Computer Science Leiden University, the Netherlands
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 11
Cited 0

A logic of authentication

ACM Transactions on Computer Systems (TOCS)
A semantics for a logic of authentication (extended abstract)

PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Security Engineering: A Guide to Building Dependable Distributed Systems

Security Engineering: A Guide to Building Dependable Distributed Systems
Secrets & Lies: Digital Security in a Networked World

Secrets & Lies: Digital Security in a Networked World
Iterated belief change in multi-agent systems

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency

IEEE Transactions on Software Engineering
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
The Logic of Authentication Protocols

FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Formal Semantics for Authentication Logics

ESORICS '96 Proceedings of the 4th European Symposium on Research in Computer Security: Computer Security
A Sound Logic for Analysing Electronic Commerce Protocols

ESORICS '98 Proceedings of the 5th European Symposium on Research in Computer Security
On BAN Logics for Industrial Security Protocols

CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between them based on updates of the agents' beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol.