Now showing items 1-5 of 5
A compositional event and time-based policy model
Analysis and run-time verification of dynamic security policies.
Concurrent enforcement of usage control policies.
Deriving enforcement mechanisms for policies
Dynamic Access Control Policies - Specification and Verification
(Oxford University Press, 2012)
Security requirements deal with the protection of assets against unauthorized access (disclosure or modification) and their availability to authorized users. Temporal constraints of history-based access control policies ...