Stéphane Lafrance, John Mullins. An Information Flow Method to Detect Denial of Service Vulnerabilities. J. UCS, 9(11):1350, 2003. [doi]
@article{LafranceM03:0,
title = {An Information Flow Method to Detect Denial of Service Vulnerabilities},
author = {Stéphane Lafrance and John Mullins},
year = {2003},
url = {http://www.jucs.org/jucs_9_11/an_information_flow_method},
tags = {data-flow},
researchr = {https://researchr.org/publication/LafranceM03%3A0},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {9},
number = {11},
pages = {1350},
}