Defensive programming
暂无分享,去创建一个
[1] David A. Wagner,et al. Intrusion detection via static analysis , 2001, Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001.
[2] Willy Zwaenepoel,et al. Flash: An efficient and portable Web server , 1999, USENIX Annual Technical Conference, General Track.
[3] Sharon E. Perl. Performance assertion checking , 1993, SOSP '93.
[4] Peter Druschel,et al. Resource containers: a new facility for resource management in server systems , 1999, OSDI '99.
[5] Dawson R. Engler,et al. Bugs as deviant behavior: a general approach to inferring errors in systems code , 2001, SOSP.
[6] Sun Microsystems,et al. RPC: Remote Procedure Call Protocol specification: Version 2 , 1988, RFC.
[7] Kristopher Kendall,et al. A Database of Computer Attacks for the Evaluation of Intrusion Detection Systems , 1999 .
[8] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.
[9] Larry L. Peterson,et al. Defending against denial of service attacks in Scout , 1999, OSDI '99.
[10] Stephanie Forrest,et al. A sense of self for Unix processes , 1996, Proceedings 1996 IEEE Symposium on Security and Privacy.
[11] Dawson R. Engler,et al. Checking system rules using system-specific, programmer-written compiler extensions , 2000, OSDI.
[12] Markus G. Kuhn,et al. Analysis of a denial of service attack on TCP , 1997, Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).
[13] David E. Culler,et al. SEDA: an architecture for well-conditioned, scalable internet services , 2001, SOSP.
[14] Larry L. Peterson,et al. Making paths explicit in the Scout operating system , 1996, OSDI '96.
[15] Stephanie Forrest,et al. Automated response using system-call delays , 2000 .
[16] Srinivasan Seshan,et al. System support for bandwidth management and content adaptation in internet applications , 2000, OSDI.
[17] Ramesh Govindan,et al. BGP Route Flap Damping , 1998, RFC.