A Logical Framework for Reasoning on Data Access Control Policies.

Elisa Bertino Elena Ferrari Francesco Buccafurri Pasquale Rullo

Published in: CSFW (1999)

Keyphrases

logical framework
conflict resolution
data management
computer systems
original data
sensitive data