Sockstress
http://sockstress.com/
EFSM/SDL modeling of the original TCP standard (RFC793) and the
Congestion Control Mechanism of TCP Reno
http://www.medianet.kent.edu/techreports/TR2005-07-22-tcp-EFSM.pdf
http://www.cert.fi/haavoittuvuudet/2008/tcp-vulnerabilities.html
http://www.cisco.com/en/US/products/products_security_advisory09186a0080af511d.shtml#@ID
http://www.cisco.com/en/US/products/products_applied_mitigation_bulletin09186a0080af511e.html
http://kbase.redhat.com/faq/docs/DOC-18730
