Bogdan Groza, Marius Minea. Customizing Protocol Specifications for Detecting Resource Exhaustion and Guessing Attacks. In Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, editors, Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Volume 6957 of Lecture Notes in Computer Science, pages 45-60, Springer, 2010. [doi]
Abstract is missing.