Login / Signup

A Formal Model and Correctness Proof for an Access Control Policy Framework.

Chunhan WuXingyuan ZhangChristian Urban
Published in: CPP (2013)
Keyphrases
  • formal model
  • access control
  • predicate calculus
  • data mining
  • theorem proving