A formal approach for testing security rules.
Wissam MallouliJean-Marie OrsetAna R. CavalliNora Cuppens-BoulahiaFrédéric CuppensPublished in: SACMAT (2007)
Keyphrases
- information security
- intrusion detection
- security issues
- access control
- network security
- production rules
- association rules
- decision rules
- information assurance
- security policies
- fault injection
- formal methods
- software testing
- statistical databases
- formal model
- classification rules
- database systems
- active databases
- formal analysis
- security systems
- security threats
- rule sets
- penetration testing