Now showing items 1-6 of 6
Concurrent enforcement of usage control policies.
Deriving enforcement mechanisms for policies
A compositional event and time-based policy model
Analysis and run-time verification of dynamic security policies.
A Formal design technique for real-time embedded systems development using duration calculus.
(IEEE Computer Society, 2004)
In this paper we present a syntactical approach for the design of real-time embedded systems. The require- ment of the system is specified as Duration Calculus formula over continuous state variables. We model discretization ...