A logic for modeling the dynamics of beliefs in cryptographic protocols

Authors:
Yan Zhang;Vijay Varadharajan
Affiliations:
University of Western Sydney, Nepean, Kingswood, NSW 2747, Australia;University of Western Sydney, Nepean, Kingswood, NSW 2747, Australia
Venue:
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Year:
2001

Citing 6
Cited 3

Introduction to mathematical logic (3rd ed.)

Introduction to mathematical logic (3rd ed.)
A semantics for a logic of authentication (extended abstract)

PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Authentication for Distributed Systems

Computer
A Simple Logic for Authentication Protocol Design

CSFW '98 Proceedings of the 11th IEEE workshop on Computer Security Foundations
On Unifying Some Cryptographic Protocol Logics

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
Prudent Engineering Practice for Cryptographic Protocols

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy

Formal verification: an imperative step in the design of security protocols

Computer Networks: The International Journal of Computer and Telecommunications Networking
Analysis of a mobile communication security protocol

ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
The concept of layered proving trees and its application to the automation of security protocol verification

ACM Transactions on Information and System Security (TISSEC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a logic of modeling the dynamics of beliefs in cryptographic protocols. Differently from previous proposals, our logic is situation based in which a protocol is viewed as a finite sequence of actions performed by various principals at different situations, and each action is a primitive term in the language. Therefore, it becomes possible to model the dynamic change of each principal's beliefs at each step of the protocol within the logic system. Our logic has a precise semantics and is sound with respect to the underlying axiomatic system.