@INPROCEEDINGS {5019,
author={P. Adão and G. Bana and A. Scedrov},
doi={10.1109/CSFW.2005.13},
booktitle={IEEE Computer Security Foundations Workshop - CSFW},
title={Computational and information-theoretic soundness and completeness of formal encryption},
year={2005},
month={June},
volume={-},
pages={170-184} 
}