Now showing items 1-2 of 2
From continuous specification to discrete design.
(Kluwer Academic Publisher, 2000)
The paper presents a syntactical approach to designing real-time distributed systems that can handle both continuous time and discrete time models in a uniform logical framework. We approximate continuous state variables by ...
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 ...