Finding Local Resource Exhaustion Vulnerabilities - João Antunes (2007)