Conditional reactive simulatability

Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters. Conditional reactive simulatability. Int. J. Inf. Sec., 7(2):155-169, 2008. [doi]

Abstract

Abstract is missing.