Conditional Reactive Simulatability

Computer Security – ESORICS 2006 - Lecture Notes in Computer Science ◽

10.1007/11863908_26 ◽

2006 ◽

pp. 424-443 ◽

Cited By ~ 6

Author(s):

Michael Backes ◽

Markus Dürmuth ◽

Dennis Hofheinz ◽

Ralf Küsters

Keyword(s):

Reactive Simulatability

Download Full-text

The reactive simulatability (RSIM) framework for asynchronous systems

Information and Computation ◽

10.1016/j.ic.2007.05.002 ◽

2007 ◽

Vol 205 (12) ◽

pp. 1685-1720 ◽

Cited By ~ 44

Author(s):

Michael Backes ◽

Birgit Pfitzmann ◽

Michael Waidner

Keyword(s):

Asynchronous Systems ◽

Reactive Simulatability

Download Full-text

Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption

Foundations and Applications of Security Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03459-6_13 ◽

2009 ◽

pp. 193-210 ◽

Cited By ~ 1

Author(s):

Laurent Mazaré ◽

Bogdan Warinschi

Keyword(s):

Trace Mapping ◽

Reactive Simulatability

Download Full-text

Conditional reactive simulatability

International Journal of Information Security ◽

10.1007/s10207-007-0046-6 ◽

2007 ◽

Vol 7 (2) ◽

pp. 155-169 ◽

Cited By ~ 3

Author(s):

Michael Backes ◽

Markus Dürmuth ◽

Dennis Hofheinz ◽

Ralf Küsters

Keyword(s):

Reactive Simulatability

Download Full-text