Soundness of formal encryption in the presence of key-cycles (2005)

by P Adão, G Bana, J Herzog, A Scedrov
Venue:In ESORICS