Title of article
The reactive simulatability (RSIM) framework for asynchronous systems
Author/Authors
Michael Backes، نويسنده , , Birgit Pfitzmann، نويسنده , , Michael Waidner، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
36
From page
1685
To page
1720
Keywords
Reactive systems , Probabilistic IO automata , Distributedpolynomial time , cryptography , SECURITY , Simulatability , formal methods , Composability
Journal title
Information and Computation
Serial Year
2007
Journal title
Information and Computation
Record number
262446
Link To Document