PP-2000-08: The Epistemics of Encryption

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

[img] Text (Full Text)

Download (121kB)
[img] Text (Abstract)

Download (630B)


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