Now showing items 1-6 of 6
A note on the formalisation of UCON.
(Association of Computing Machinery, 2007)
Concurrent enforcement of usage control policies.
Deriving enforcement mechanisms for policies
A compositional event and time-based policy model
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 ...
Analysis and run-time verification of dynamic security policies.