Intrusion detection via static analysis
Authors:
- D. WagnerDWD. Wagner
- R. DeanRDR. Dean
- 13 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 156-168
Abstract
No abstract availableThis publication has 24 references indexed in Scilit:
- A sense of self for Unix processes2002
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- Verifying systems with infinite but regular state spaces1998
- A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)Electronic Notes in Theoretical Computer Science, 1997
- Fast and accurate flow-insensitive points-to analysis1997
- Points-to analysis in almost linear time1996
- Context-sensitive interprocedural points-to analysis in the presence of function pointers1994
- An Improved Context-Free RecognizerACM Transactions on Programming Languages and Systems, 1980
- An efficient context-free parsing algorithmCommunications of the ACM, 1970
- Recognition and parsing of context-free languages in time n3Information and Control, 1967