Peter G. Neumann
-
Analysis of Faults in an N-Version Software Experiment
IEEE Transactions on Software Engineering
Vulnerabilities of network control protocols: an example
ACM SIGSOFT Software Engineering Notes