Static analysis of anomalies and security vulnerabilities in executable files.
Jay-Evan J. TevisJohn A. Hamilton Jr.Published in: ACM Southeast Regional Conference (2006)
Keyphrases
- static analysis
- security vulnerabilities
- intrusion detection
- anomaly detection
- dynamic analysis
- source code
- dos attacks
- penetration testing
- security properties
- databases
- unauthorized access
- regular expressions
- formal specification
- file system
- network security
- test suite
- database
- network traffic
- data mining
- security analysis
- intrusion detection system
- test cases
- access control