MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Intrusion Detection via Static Analysis (2001) [190 citations — 1 self]

Abstract:

One of the primary challenges in intrusion detection is modelling typical application behavior, so that we can recognize attacks by their atypical effects without raising too many false alarms. We show how static analysis may be used to automatically derive a model of application behavior. The result is a host-based intrusion detection system with three advantages: a high degree of automation, protection against a broad class of attacks based on corrupted code, and the elimination of false alarms. We report on our experience with a prototype implementation of this technique. 1. Introduction Computer security has undergone a major renaissance in the last five years. Beginning with Sun's introduction of the Java language and its support of mobile code in 1995, programming languages have been a major focus of security research. Many papers have been published applying programming language theory to protection problems [25, 24], especially information flow [17]. Security, however, is a ma...

Citations

512 An efficient context-free parsing algorithm – Earley - 1970
367 Dynamically discovering likely program invariants to support program evolution – Ernst, Cockrell, et al. - 2001
321 Context-sensitive interprocedural points-to analysis in the presence of function pointers – Emami, Ghiya, et al. - 1994
292 An intrusion-detection model – Denning - 1987
179 Computer Security Threat Monitoring and Surveillance – Anderson - 1980
143 Verification by abstract interpretation – Cousot - 2003
93 Buffer overflows: attacks and defenses for the vulnerability of the decade – Cowan, Wagle, et al. - 2003
88 A direct symbolic approach to model checking pushdown systems. Elec. Notes in Theor – Finkel, Willems, et al. - 1997
75 Regular model checking – Bouajjani, Jonsson, et al. - 2000
62 The Base-Rate Fallacy and its Implications for the Difficulty of Intrusion Detection – Axelsson - 1999
55 Enforcing trace properties by program transformation – Colcombet, Fradet - 2000
15 Automatic verification of sequential infinite-state processes – Burkart - 1997
3 Operating system enhancements to prevent the misue of system calls – Bernaschi, Gabrielli, et al. - 2000