Towards a formal model of accountability.

Joan Feigenbaum Aaron D. Jaggard Rebecca N. Wright

Published in: NSPW (2011)

Keyphrases

formal model
security properties
predicate calculus
databases
formal models
security patterns
knowledge representation