@inproceedings{a879e15ba1a54a3bb5f1983f448012e7,
title = "Analysing password protocol security against off-line dictionary attacks",
author = "R.J. Corin and S. Etalle and J.M. Doumen",
year = "2005",
doi = "10.1016/j.entcs.2004.10.007",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
pages = "47--63",
booktitle = "Proceedings 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004, Bologna, Italy, June 26, 2004)",
}