A logic for modeling the dynamics of beliefs in cryptographic protocols

Y. Zhang; V. Varadharajan

doi:10.1109/ACSC.2001.906645

A logic for modeling the dynamics of beliefs in cryptographic protocols

Y. Zhang, V. Varadharajan

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

15 Citations (Scopus)

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 automatic system.

Original language	English
Title of host publication	Proceedings - 24th Australasian Computer Science Conference, ACSC 2001
Place of Publication	Piscataway, NJ
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	215-222
Number of pages	8
ISBN (Electronic)	0769509630, 9780769509631
DOIs	https://doi.org/10.1109/ACSC.2001.906645
Publication status	Published - 2001
Externally published	Yes
Event	24th Australasian Computer Science Conference, ACSC 2001 - Gold Coast, Australia Duration: 29 Jan 2001 → 2 Feb 2001

Other

Other	24th Australasian Computer Science Conference, ACSC 2001
Country/Territory	Australia
City	Gold Coast
Period	29/01/01 → 2/02/01

Keywords

cryptographic protocol
information security
logic

Access to Document

10.1109/ACSC.2001.906645

Cite this

@inproceedings{ca9e873465fa4331945bb8010a8e9387,

title = "A logic for modeling the dynamics of beliefs in cryptographic protocols",

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 automatic system.",

keywords = "cryptographic protocol, information security, logic",

author = "Y. Zhang and V. Varadharajan",

year = "2001",

doi = "10.1109/ACSC.2001.906645",

language = "English",

pages = "215--222",

booktitle = "Proceedings - 24th Australasian Computer Science Conference, ACSC 2001",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "24th Australasian Computer Science Conference, ACSC 2001 ; Conference date: 29-01-2001 Through 02-02-2001",

}

Zhang, Y & Varadharajan, V 2001, A logic for modeling the dynamics of beliefs in cryptographic protocols. in Proceedings - 24th Australasian Computer Science Conference, ACSC 2001., 906645, Institute of Electrical and Electronics Engineers (IEEE), Piscataway, NJ, pp. 215-222, 24th Australasian Computer Science Conference, ACSC 2001, Gold Coast, Australia, 29/01/01. https://doi.org/10.1109/ACSC.2001.906645

A logic for modeling the dynamics of beliefs in cryptographic protocols. / Zhang, Y.; Varadharajan, V.
Proceedings - 24th Australasian Computer Science Conference, ACSC 2001. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2001. p. 215-222 906645.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - A logic for modeling the dynamics of beliefs in cryptographic protocols

AU - Zhang, Y.

AU - Varadharajan, V.

PY - 2001

Y1 - 2001

N2 - 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 automatic system.

AB - 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 automatic system.

KW - cryptographic protocol

KW - information security

KW - logic

UR - http://www.scopus.com/inward/record.url?scp=84962784347&partnerID=8YFLogxK

U2 - 10.1109/ACSC.2001.906645

DO - 10.1109/ACSC.2001.906645

M3 - Conference proceeding contribution

AN - SCOPUS:84962784347

SP - 215

EP - 222

BT - Proceedings - 24th Australasian Computer Science Conference, ACSC 2001

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Piscataway, NJ

T2 - 24th Australasian Computer Science Conference, ACSC 2001

Y2 - 29 January 2001 through 2 February 2001

ER -

A logic for modeling the dynamics of beliefs in cryptographic protocols

Abstract

Other

Keywords

Access to Document

Other files and links

Fingerprint

Cite this