@ARTICLE {6240,
author={C. Caleiro},
doi={},
journal={Theoretical Computer Science},
title={Modeling and reasoning about an attacker with cryptanalytical capabilities},
year={2009},
month={July},
volume={253},
number={3},
pages={143-165},
ISSN={0304-3975}
}