Michael Backes Markus Dürmuth Dennis Hofheinz Ralf Küsters Conditional reactive simulatability. 155-169 2008 7 Int. J. Inf. Sec. 2 http://dx.doi.org/10.1007/s10207-007-0046-6 db/journals/ijisec/ijisec7.html#BackesDHK08