Bogdan Groza, Marius Minea. A Calculus to Detect Guessing Attacks. In Pierangela Samarati, Moti Yung, Fabio Martinelli, Claudio Agostino Ardagna, editors, Information Security, 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings. Volume 5735 of Lecture Notes in Computer Science, pages 59-67, Springer, 2009. [doi]
Abstract is missing.