Papers of Interest
Our Papers
CGI-BIN Specific Vulnerabilities
Other Folks' Papers
J. Wing, "A Symbiotic Relationship Between Formal Methods and Security," Technical Report CMU-CS-98-188, Computer Science Department, Carnegie Mellon University (Dec. 1998)
N. Eickelmann and D. Richardson, "An Evaluation of Software Test Environment Architectures,"
Proc. ICSK-18
, pp. 353-364 (1996)