Defensive programming: Using an annotation toolkit to build Dos-Resistant software

Operating Systems Review (ACM)

Volumn 36, Issue Special Issue, 2002, Pages 45-60

  Qie, Xiaohu ^a   Pang, Ruoming ^a   Peterson, Larry ^a  

^a Princeton University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER CRIME; DENIAL-OF-SERVICE ATTACK; INTRUSION DETECTION;

AFTER-THE-FACT; DESIGN AND IMPLEMENTATIONS; INTRUSION DETECTION SYSTEMS; NETWORK SERVICES; RUNTIMES; SENSORS AND ACTUATORS;

COMPUTER SYSTEM FIREWALLS;

EID: 84978378814     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/844128.844134     Document Type: Conference Paper

References (19)

1. D. Andersen, D. Bansal, D. Curtis, S. Seshan, and H. Balakrishnan. System Support for Bandwidth Management and Content Adaptation in Internet Applications. In Proceedings of the Fourth USENIX Symposium on Operating System Design and Implementation (OSDI), Februray 2000.
2. Apache Software Foundation. Apache Web Server. http://www.apache.org/.
3. G. Bangs, P. Druschel, and J. C. Mogul. Resource Containers: A New Facility for Resource Management in Server Systems. In Proceedings of the Third USENIX Symposium on Operating System Design and Implementation (OSDI), Februray 1999.
4. D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. In Proceedingsof the Fourth USENiX Symposium on Operating System Deszgn and Implementation (OSDI), October 2000.
5. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. In Proceedings of the18th ACM Symposium on Operating Systems Principles, October 2001.
6. S. Forrest, S. A. Hofineyr, A. Somayaji, and T. A. Longstafl'. A Sense of Self for Unix Processes. In Proceedings of the 1996 IEEE Symposium on Cormputer Security and Privacy, May 1996.
7. K. Kendall. A Database of Computer Attacks for the Evaluation of Intrusion Detection Systems. Master Thesis, MIT, June 1999.
8. Linux NIS(YP) Server. http://www.linux-nis.org/nis/.
9. D. Mosberger and L. L. Peterson. Making Paths Explicit in the Scout Operating System. In Proceedings of the Second USENIX Symposium on Operating System Design and Implementation (OSDI), pages 153-167, October 1996.
10. V. Pal, P. Druschel, and W. Zwaenepoel. Flash: An Efficient and Portable Web Server. In Proceedings of the USENIX '99 Annual Technical Conference, June 1999.
11. S. E. Perl and W. E. Weihl. Performance assertion checking. In Proceedings of the14th ACM Symposium on Operating Systems Principles, pages 134-145, December 1993.
12. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A Dynmnic Data Race Detector for Multithreaded Programs. A CM Transactions on Computer Systems, 15(4):391-411, 1997.
13. C. L. Schuba, I. V. Krsul, M. O. Kuhn, E. H. Spafford, A. Sundaram, and D. Zamboni. Analysis of a Denial of Service Attack on TCP. In Proceedings of the 1997 IEEE Symposium on Computer Security and Privacy, May 1997.
14. A. Somayaji and S. Forrest. Automated Response Using System-Call Delays. In Proceedings of the 9th USENIX Security Symposium, August 2000.
15. O. Spatscheck and L. L. Peterson. Defending Against Denial of Service Attacks in Scout. In Proceedings of the Third USENIX Symposium on Operating System Design and Implementation (OSDI), Februray 1999.
16. R. Srinivasan. RPC: Remote Procedure Call Protocol Specification Version 2. Request for Comments (RFC) 1831, August 1995.
17. C. Villamizar, R. Chandra, and R. Govindan. BGP Route Flap Damping. Request for Comments (RFC) 2439 , November 1998.
18. D. Wagner and D. Dean. Intrusion Detection via Static Analysis. In Proceedings of the 2001 IEEE Symposium on Computer Security and Privacy, May 2001.
19. M. Welsh, D. Culler, and E. Brewer. SEDA: An Architecture for Well-Conditioned, Scalable Internet Services. In Proceedings of the 18th ACM Symposium on Operating Systems Principles, October 2001.