Runtime Enforcement of Security Policies on Black Box Reactive Programs.
Minh NgoFabio MassacciDimiter MilushevFrank PiessensPublished in: POPL (2015)
Keyphrases
- black box
- security policies
- access control
- access control policies
- xml access control
- mandatory access control
- fine grained
- security management
- black boxes
- distributed systems
- security requirements
- access control systems
- test cases
- multilevel secure
- network security
- white box
- role based access control
- hybrid systems
- access control mechanism
- training set
- error rate
- integration testing
- feature selection
- information systems