A Formal Model for Hierarchical Policy Contexts.

András Belokosztolszki Ken Moody David M. Eyers

Published in: POLICY (2004)

Keyphrases

formal model
security properties
predicate calculus
formal models
hierarchical model
security patterns
optimal policy
hierarchical structure
dynamic programming
first order logic
hierarchical clustering
asymptotically optimal