[ACM Press the 11th conference - Brussels, Belgium (2007.06.25-2007.06.27)] Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge - TARK '07 - Preservation of epistemic properties in security protocol implementations
van der Meyden, Ron, Wilke, ThomasYear:
2007
Language:
english
DOI:
10.1145/1324249.1324278
File:
PDF, 507 KB
english, 2007