@ARTICLE {4220,
author={P. Adão and G. Bana and J. Herzog and A. Scedrov},
doi={10.3233/JCS-2009-0358},
journal={Computers and Security},
title={Soundness and completeness of formal encryption: the cases of key-cycles and partial information leakage},
year={2009},
month={December},
volume={17},
number={5},
pages={737-797},
ISSN={0167-4048}
}