Stéphane Lafrance, John Mullins. Using Admissible Interference to Detect Denial of Service Vulnerabilities. In Joseph M. Morris, Benjamin Aziz, Frédéric Oehl, editors, 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003. Workshops in Computing, BCS, 2003. [doi]
Abstract is missing.