Preservation of epistemic properties in security protocol implementations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ron van der Meyden' in GoogleThis author has not been identified. Look up 'Thomas Wilke' in Google

runs on WebDSL