Login / Signup

A Knowledge-Based Verification Method for Dynamic Access Control Policies.

Masoud KoleiniMark Ryan
Published in: ICFEM (2011)
Keyphrases
  • verification method
  • access control policies
  • access control
  • conflict resolution
  • model checking
  • temporal logic
  • security policies
  • access control systems
  • data warehouse
  • security mechanisms
  • extended logic programs