Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction.
Clément HurlinHélène KirchnerPublished in: Formal Aspects in Security and Trust (2010)
Keyphrases
- semi automatic
- security policies
- access control
- fully automatic
- security management
- network security
- distributed systems
- security requirements
- gold standard
- semi automatically
- access control systems
- domain ontology
- background knowledge
- ontology mapping
- labor intensive
- access control policies
- landmark extraction
- semantic annotation
- multilevel secure
- supervised learning
- wrapper generation
- computer networks
- databases
- operating system
- data mining techniques
- knowledge discovery
- data model
- data analysis