A logic for authorization provenance.

Jinwei Hu Yan Zhang Ruixuan Li Zhengding Lu

Published in: AsiaCCS (2010)

Keyphrases

fine grained
access control
classical logic
metadata
modal logic
logic programming
security policies
access requests
conflict resolution
multi valued
defeasible logic
predicate logic
proof theory
probability theory
delay insensitive
data provenance
genetic algorithm
information systems