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]
@inproceedings{LafranceM03,
title = {Using Admissible Interference to Detect Denial of Service Vulnerabilities},
author = {Stéphane Lafrance and John Mullins},
year = {2003},
url = {http://ewic.bcs.org/conferences/2003/iwfm03/papers/paper6.htm},
researchr = {https://researchr.org/publication/LafranceM03},
cites = {0},
citedby = {0},
booktitle = {6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003},
editor = {Joseph M. Morris and Benjamin Aziz and Frédéric Oehl},
series = {Workshops in Computing},
publisher = {BCS},
}