PP-2000-08: The Epistemics of Encryption

PP-2000-08: Bleeker, Annette and van Eijck, Jan (2000) The Epistemics of Encryption. [Report]

[thumbnail of Full Text] Text (Full Text)
PP-2000-08.text.ps.gz

Download (121kB)
[thumbnail of Abstract] Text (Abstract)
PP-2000-08.abstract.txt

Download (630B)

Abstract

Message passing by means of public key encryption is described in
terms of doxastic dynamic logic. A secret message from agent A to
agent B can have as effect that B learns something new from A, but it
can also cause a change in the real world, when the contents of the
message forces B to cease trusting A. As a tool for analysing secret
message passing (and much else besides) we develop a framework that
allows changes of states conditioned by beliefs about those states.

Keyword(s): Epistemic logic; dynamic logic; epistemic actions;
cryptographic communication.

Item Type: Report
Report Nr: PP-2000-08
Series Name: Prepublication (PP) Series
Year: 2000
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/35

Actions (login required)

View Item View Item