@inproceedings{skramer2007FCS-ARSPA-LORI,
	Address = {London},
	Author = {S. Kramer},
	Booktitle = {Proceedings of the Workshop on Logic, Rationality and Interaction},
	Publisher = {King's College Publications},
	Title = {The Meaning of a Cryptographic Message via Hypothetical Knowledge and Provability},
	Year = {2007}}