Login / Signup

Towards Effective Verification of Multi-Model Access Control Properties.

Bernhard J. BergerChristian MaederRodrigue Wete NguempnangKarsten SohrCarlos E. Rubio-Medrano
Published in: SACMAT (2019)
Keyphrases
  • access control
  • dynamic access control
  • security model
  • access control mechanism
  • fine grained
  • security policies
  • role based access control model
  • rbac model