Simulation based security in the applied pi calculus

@article{Delaune2009SimulationBS,
  title={Simulation based security in the applied pi calculus},
  author={St{\'e}phanie Delaune and Steve Kremer and Olivier Pereira},
  journal={IACR Cryptology ePrint Archive},
  year={2009},
  volume={2009},
  pages={267}
}
We present a symbolic framework for refinement and compositi on of security protocols. The framework uses the notion of ideal f unctionalities. These are abstract systems which are secure by construction and wh ich can be combined into larger systems. They can be separately refined in order t o obtain concrete protocols implementing them. Our work builds on ideas from comp utational models such as the universally composable security and reactive si mulatability frameworks. The underlying… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS