Login / Signup

Evaluating RBAC Supported Techniques and their Validation and Verification.

Nafees QamarYves LedruAkram Idani
Published in: ARES (2011)
Keyphrases
  • access control
  • role based access control
  • neural network
  • verification method
  • data sets
  • artificial intelligence
  • website
  • model checking
  • formal methods
  • formal analysis
  • formal verification
  • person identification