Login / Signup
Logic Column 10: Specifying Confidentiality
Riccardo Pucella
Published in:
CoRR (2004)
Keyphrases
</>
logic programming
classical logic
multi valued
modal logic
bayesian networks
access control
defeasible logic
asynchronous circuits
database
information retrieval
genetic algorithm
data model
security properties
deontic logic
data confidentiality