Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles.

Michael Backes Birgit Pfitzmann Andre Scedrov Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. 497-530 2008 16 Journal of Computer Security 5 http://dx.doi.org/10.3233/JCS-2008-0332 db/journals/jcs/jcs16.html#BackesPS08