Symbolic Probabilistic Analysis of Off-Line Guessing.

Bruno Conchinha, David A. Basin, Carlos Caleiro

Browse the full ESORICS paper archive.