Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation.
Piotr MardzielStephen MagillMichael HicksMudhakar SrivatsaPublished in: J. Comput. Secur. (2013)
Keyphrases
- security policies
- access control
- abstract interpretation
- access control policies
- security management
- termination analysis
- network security
- security requirements
- static analysis
- xml access control
- dynamic analysis
- distributed systems
- data mining
- active rules
- multilevel secure
- access control systems
- databases
- business processes
- information systems