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]
No references recorded for this publication.
No citations of this publication recorded.