The Reactive Simulatability (RSIM) Framework for Asynchronous Systems

@article{Backes2004TheRS,
  title={The Reactive Simulatability (RSIM) Framework for Asynchronous Systems},
  author={Michael Backes and Birgit Pfitzmann and Michael Waidner},
  journal={Inf. Comput.},
  year={2004},
  volume={205},
  pages={1685-1720}
}
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that preserves security in a general cryptographic sense. Reactive means that the system can interact with its users multiple times, e.g., in many concurrent protocol runs or a multiround game. In terms of distributed systems, reactive simulatability is a type of refinement that preserves particularly strong properties, in… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 99 references

Security and Composition of Multiparty Cryptographic Protocols

Journal of Cryptology • 1998
View 5 Excerpts
Highly Influenced

Computationally sound secrecy proofs by mechanized flow analysis

ACM Conference on Computer and Communications Security • 2006
View 1 Excerpt

Cryptographically sound theorem proving

19th IEEE Computer Security Foundations Workshop (CSFW'06) • 2006
View 1 Excerpt

Simulatable security and polynomially bounded concurrent composability

2006 IEEE Symposium on Security and Privacy (S&P'06) • 2006
View 1 Excerpt

Similar Papers

Loading similar papers…