Ralf Küsters Anupam Datta John C. Mitchell Ajith Ramanathan On the Relationships between Notions of Simulation-Based Security. 492-546 2008 21 J. Cryptology 4 http://dx.doi.org/10.1007/s00145-008-9019-9 db/journals/joc/joc21.html#KustersDMR08