Possibilistic Noninterference.

Andrei Popescu Johannes Hölzl

Published in: Arch. Formal Proofs (2012)

Keyphrases

possibilistic logic
security policies
possibility theory
expected utility
possibilistic clustering
intuitionistic logic
fuzzy numbers
databases
logic programming
access control
probabilistic model
artificial intelligence
utility function
image processing
possibilistic networks
learning algorithm
data sets