Ron van der Meyden, Thomas Wilke. Preservation of epistemic properties in security protocol implementations. In Dov Samet, editor, Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007. pages 212-221, 2007. [doi]
Abstract is missing.