Using Admissible Interference to Detect Denial of Service Vulnerabilities

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]

Authors

Stéphane Lafrance

This author has not been identified. Look up 'Stéphane Lafrance' in Google

John Mullins

This author has not been identified. Look up 'John Mullins' in Google