@inproceedings{esorics2013,
author={Conchinha, Bruno and Basin, David and Caleiro, Carlos},
title={Symbolic Probabilistic Analysis of Off-Line Guessing},
booktitle={18th European Symposium on Research in Computer Security},
editor={Crampton, Jason and Jajodia, Sushil and Mayes, Keith},
series={Lecture Notes in Computer Science},
volume={8134},
doi={10.1007/978-3-642-40203-6_21},
url={http://dx.doi.org/10.1007/978-3-642-40203-6_21},
publisher={Springer Berlin Heidelberg},
pages={363--380},
year={2013},
isbn={978-3-642-40202-9}
}