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]
No references recorded for this publication.
No citations of this publication recorded.