SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Automated verification of access control policies using a SAT solver
15 references·0 citing·32 second hop
Automated verification of access control policies using a SAT solver (2008)Automated verification of access control …Verification and change-impact analysis of access-control policies (2005)Verification and change-impac…How to Declare Access Control Policies for XML Structured Information Objects using OASIS' eXtensible Access Control Markup Language (XACML) (2005)How to Declare Access Control…An algebra for composing access control policies (2002)An algebra for composing acce…A logical language for expressing authorizations (2002)A logical language for expres…A fine-grained access control system for XML documents (2002)A fine-grained access control…Flexible support for multiple access control policies (2001)Flexible support for multiple…Access Control: Policies, Models, and Mechanisms (2001)Access Control: Policies, Mod…Design and implementation of an access control processor for XML documents (2000)Design and implementation of …An access control model supporting periodicity constraints and temporal reasoning (1998)An access control model suppo…A unified framework for enforcing multiple access control policies (1997)A unified framework for enfor…Role-based access control models (1996)Role-based access control mod…Authentication, access control, and audit (1996)Authentication, access contro…Access control: principle and practice (1994)Access control: principle and…Lattice-based access control models (1993)Lattice-based access control …A calculus for access control in distributed systems (1993)A calculus for access control…Protection of information in computer systems (1975)Authentication in distributed systems (1992)Framework for role-based delegation models (2002)SD3: a trust management system with certified evaluation (2002)Delegation logic (2003)Integrity Considerations for Secure Computer Systems (1977)Security Policies and Security Models (1982)Role-based Access Control (1998)The Chinese Wall security policy (2003)Database security - concepts, approaches, and challenges (2005)The platform for privacy preferences (1999)A context-aware security architecture for emerging applications (2003)Controlling Access to Published Data Using Cryptography (2003)Secure XML querying with security views (2004)Decentralized Trust Management (1996)Access control in the Internet of Things: Big challenges and new opportunities (2016)A Survey on Access Control in the Age of Internet of Things (2020)A Comparison of Commercial and Military Computer Security Policies (1987)Role-Based Access Control (2002)Specifying and Reasoning About Dynamic Access-Control Policies (2006)Analyzing web access control policies (2007)Current Research and Open Problems in Attribute-Based Access Control (2017)R OWL BAC (2008)Towards the development of privacy-aware systems (2008)A capability-based security approach to manage access control in the Internet of Things (2013)Configuring role-based access control to enforce mandatory and discretionary access control policies (2000)The Ponder Policy Specification Language (2001)The UCON ABC usage control model (2004)Privacy and contextual integrity: framework and applications (2006)XML document security based on provisional authorization (2000)Formal model and policy specification of usage control (2005)Proposed NIST standard for role-based access control (2001)
this work references cited by second hop

References

  • 1996Role-based access control models5,926 cited
  • 1994Access control: principle and practice1,295 cited
  • 1993Lattice-based access control models715 cited
  • 2001Flexible support for multiple access control policies640 cited
  • 2001Access Control: Policies, Models, and Mechanisms584 cited
  • 2005How to Declare Access Control Policies for XML Structured Information Objects using OASIS' eXtensible Access Control Markup Language (XACML)582 cited
  • 1993A calculus for access control in distributed systems575 cited
  • 2002A fine-grained access control system for XML documents483 cited
  • 2002A logical language for expressing authorizations427 cited
  • 2005Verification and change-impact analysis of access-control policies393 cited
  • 2002An algebra for composing access control policies294 cited
  • 1997A unified framework for enforcing multiple access control policies283 cited
  • 1998An access control model supporting periodicity constraints and temporal reasoning243 cited
  • 2000Design and implementation of an access control processor for XML documents156 cited
  • 1996Authentication, access control, and audit150 cited

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

Cited by

No citing works inside the corpus for this window.