Reasoning about history based access control policy using past time operators of interval temporal logic
Interval Temporal Logic (ITL) is a flexible notation for the propositional and first-order logical reasoning about periods of time that exist in specifications of hardware and software systems. ITL is different from other temporal logics since it can deal with both sequential and parallel compositio...
| Main Author: | |
|---|---|
| Published: |
De Montfort University
2014
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.630013 |