![](/img/cover-not-exists.png)
[ACM Press the 2005 ACM workshop - Fairfax, VA, USA (2005.11.11-2005.11.11)] Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 - On fairness in simulatability-based cryptographic systems
Backes, Michael, Hofheinz, Dennis, Müller-Quade, Jörn, Unruh, DominiqueYear:
2005
Language:
english
DOI:
10.1145/1103576.1103579
File:
PDF, 270 KB
english, 2005