Soundness of Formal Encryption in the Presence of Key-Cycles.

Pedro Adão Gergei Bana Jonathan Herzog Andre Scedrov Soundness of Formal Encryption in the Presence of Key-Cycles. 374-396 2005 conf/esorics/2005 ESORICS http://dx.doi.org/10.1007/11555827_22 db/conf/esorics/esorics2005.html#AdaoBHS05