A Formal Approach for Interoperability Testing of Security Rules.
Mazen El MaarabaniIksoon HwangAna R. CavalliPublished in: SITIS (2010)
Keyphrases
- security systems
- metadata
- rule based systems
- test cases
- access control
- computer security
- security policies
- formal model
- information security
- security issues
- semantic web
- security properties
- association rules
- penetration testing
- security requirements
- business rules
- fault injection
- network security
- association rule mining
- intrusion detection
- production rules
- rule sets
- classification rules
- information sharing
- decision rules
- key management
- ontology mapping
- security analysis
- knowledge representation
- security management
- database systems
- web services