Bridging the gap: software specification meets intrusion detector.
Mathew GravesMohammad ZulkerninePublished in: PST (2006)
Keyphrases
- software systems
- intrusion detection
- tool suite
- software development
- computer systems
- software architecture
- requirements specification
- software tools
- real time
- anomaly detection
- open source
- intrusion detection system
- formal specification
- software design
- software package
- specification language
- commercial software
- high level
- detection algorithm
- test cases
- programming language
- hardware design
- reactive systems
- neural network