Michael Backes, Birgit Pfitzmann, Michael Waidner. The Reactive Simulatability (RSIM) Framework for Asynchronous Systems. IACR Cryptology ePrint Archive, 2004:82, 2004. [doi]
@article{BackesPW04-0, title = {The Reactive Simulatability (RSIM) Framework for Asynchronous Systems}, author = {Michael Backes and Birgit Pfitzmann and Michael Waidner}, year = {2004}, url = {http://eprint.iacr.org/2004/082}, researchr = {https://researchr.org/publication/BackesPW04-0}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2004}, pages = {82}, }