Formal Specification of Intrusion Signatures and Detection Rules.
Jean-Philippe PouzolMireille DucasséPublished in: CSFW (2002)
Keyphrases
- formal specification
- model checking
- specification languages
- specification language
- anomaly detection
- object oriented design
- process algebra
- concurrent systems
- formal methods
- rule sets
- data abstraction
- machine learning
- business rules
- intrusion detection system
- reverse engineering
- intrusion detection
- cooperative
- real world
- grid workflow