Reasoning about history based access control policy using past time operators of interval temporal logic

De Montfort University Open Research Archive

Files in this item

This item appears in the following Collection(s)