Login / Signup

Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy.

Emsaieb GeepallaBehzad BordbarJoel Last
Published in: MEDI (2012)
Keyphrases
  • role based access control
  • spatio temporal
  • access control
  • multi domain
  • data security
  • rbac model
  • discretionary access control
  • access control mechanism
  • access control policies