Refinement of History-Based Policies - Lobo, Jorge; Ma, Jiefei; Russo, Alessandra; Lupu, Emil; Calo, Seraphin; Sloman, Morris (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)
Keywords: Access Control Policy; Historical Condition; Logic Program; Policy Language; System Trace