@INPROCEEDINGS {7323,
author={C. Caleiro},
doi={},
booktitle={Workshop on Quantitative Aspects of Programming Languages - QAPL},
title={Modeling and reasoning about an attacker with cryptanalytical capabilities},
year={2009},
month={March},
volume={-},
pages={---} 
}