PP-2000-08: Bleeker, Annette and van Eijck, Jan (2000) The Epistemics of Encryption. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
PP-2000-08.text.ps.gz Download (121kB) |
|
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 |
