Backes, Michael Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society;
Backes, M., Pfitzmann, B., & Scedrov, A. (2008). Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. Journal of Computer Security, 16(5), 497-530. doi:10.3233/JCS-2008-0332.