Login / Signup

Secure access control in multidomain environments and formal analysis of model specifications.

Fatemeh NazerianHomayun MotameniHossein Nematzadeh
Published in: Turkish J. Electr. Eng. Comput. Sci. (2018)
Keyphrases
  • access control
  • dynamic access control
  • security model
  • rbac model
  • formal analysis
  • fine grained
  • security requirements
  • access control mechanism
  • role based access control model
  • object oriented
  • agent model