Now showing items 1-9 of 9
Software certification through quality profiling.
A note on the formalisation of UCON.
(Association of Computing Machinery, 2007)
Formality, Agility, Security and Evolution in Software Development
Combining formal and agile techniques in software development has the potential to minimize change-related problems.
Concurrent enforcement of usage control policies.
Deriving enforcement mechanisms for policies
Quantitative quality assurance approach.
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.