A Logic-Based Approach for Enforcing Access Control.

Elisa Bertino Francesco Buccafurri Elena Ferrari Pasquale Rullo A Logic-Based Approach for Enforcing Access Control. 2000 8 Journal of Computer Security 2/3 db/journals/jcs/jcs8.html#BertinoBFR00