SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Towards Formal Verification of Role-Based Access Control Policies
12 references·0 citing·23 second hop
Towards Formal Verification of Role-Based Access Control Policies (2008)Towards Formal Verification of Role-Based…Design of a role-based trust-management framework (2005)Design of a role-based trust-…Beyond proof-of-compliance: security analysis in trust management (2005)Beyond proof-of-compliance: s…Administrative scope (2003)Administrative scopeRole-Based Access Control (2002)Role-Based Access ControlThe role-based access control system of a European bank (2001)The role-based access control…Proposed NIST standard for role-based access control (2001)Proposed NIST standard for ro…The ARBAC97 model for role-based administration of roles (1999)The ARBAC97 model for role-ba…Role-based access control models (1996)Role-based access control mod…Role-Based Access Control (RBAC): Features and Motivations | NIST (1995)Role-Based Access Control (RB…The schematic protection model (1988)The schematic protection model5. Computational complexity (1988)5. Computational complexityProtection in operating systems (1976)Protection in operating syste…Configuring role-based access control to enforce mandatory and discretionary access control policies (2000)The NIST model for role-based access control (2000)Framework for role-based delegation models (2002)Organization based access control (2004)Decentralized Trust Management (1996)Specifying and Reasoning About Dynamic Access-Control Policies (2006)A Comparison of Commercial and Military Computer Security Policies (1987)Delegation logic (2003)Distributed credential chain discovery in trust management (2003)A Unified Attribute-Based Access Control Model Covering DAC, MAC and RBAC (2012)The role graph model and conflict of interest (1999)On mutually exclusive roles and separation-of-duty (2007)Access Control: Policies, Models, and Mechanisms (2001)The UCON ABC usage control model (2004)Database security - concepts, approaches, and challenges (2005)Verification and change-impact analysis of access-control policies (2005)A capability-based security approach to manage access control in the Internet of Things (2013)SecureUML: A UML-Based Modeling Language for Model-Driven Security (2002)A generalized temporal role-based access control model (2004)The Ponder Policy Specification Language (2001)A role-based access control model and reference implementation within a corporate intranet (1999)Access control meets public key infrastructure, or: assigning roles to strangers (2002)Separation of duty in role-based environments (2002)
this work references cited by second hop

References

  • 1996Role-based access control models5,926 cited
  • 2001Proposed NIST standard for role-based access control2,551 cited
  • 2002Role-Based Access Control1,787 cited
  • 1976Protection in operating systems1,052 cited
  • 2005Design of a role-based trust-management framework766 cited
  • 1999The ARBAC97 model for role-based administration of roles606 cited
  • 1995Role-Based Access Control (RBAC): Features and Motivations | NIST565 cited
  • 2001The role-based access control system of a European bank154 cited
  • 2005Beyond proof-of-compliance: security analysis in trust management146 cited
  • 2003Administrative scope143 cited
  • 1988The schematic protection model132 cited
  • 19885. Computational complexity92 cited

Cited by

No citing works inside the corpus for this window.

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work