A Formalization of Assumptions and Guarantees for Compositional Noninterference.

Sylvia Grewe Heiko Mantel Daniel Schoepe

Published in: Arch. Formal Proofs (2014)

Keyphrases

security policies
formal model
database
simplifying assumptions
database systems
special case
theoretical guarantees
model selection
worst case
knowledge representation
probability distribution
clustering algorithm
e learning
decision making
search engine
information retrieval
real world
databases