Detecting Intrusions Specified in a Software Specification Language.
Mohammad Feroz RaihanMohammad ZulkerninePublished in: COMPSAC (1) (2005)
Keyphrases
- specification language
- requirements specification
- software environment
- description language
- formal specification
- intrusion detection
- software architecture
- programming language
- software development
- software systems
- symbolic execution
- computer systems
- software components
- source code
- user interface
- fine grained
- anomaly detection
- orders of magnitude
- low false alarm rate
- network security
- test cases
- development process
- intrusion detection system
- database
- dynamic environments
- open source
- high level
- web services
- artificial intelligence