Now showing items 51-60 of 86
Software certification through quality profiling.
Conditioned semantic slicing for abstraction; industrial experiment.
(John Wiley & Sons, 2008-10)
Using formal specifications to support testing.
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 ...