SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Satisfiability and Resiliency in Workflow Authorization Systems
12 references·4 citing·31 second hop
Satisfiability and Resiliency in Workflow Authorization Systems (2010)Satisfiability and Resiliency in Workflow…On mutually exclusive roles and separation-of-duty (2007)On mutually exclusive roles a…Inter-instance authorization constraints for secure workflow management (2006)Inter-instance authorization …A reference monitor for workflow systems with constrained task execution (2005)A reference monitor for workf…Specifying and enforcing constraints in role-based access control (2003)Specifying and enforcing cons…Separation of duty in role-based environments (2002)Separation of duty in role-ba…On the formal definition of separation-of-duty policies and their composition (2002)On the formal definition of s…Practical safety in flexible access control models (2001)Practical safety in flexible …Role-based authorization constraints specification (2000)Role-based authorization cons…The specification and enforcement of authorization constraints in workflow management systems (1999)The specification and enforce…The RSL99 language for role-based separation of duty constraints (1999)The RSL99 language for role-b…Role-based access control models (1996)Role-based access control mod…An authorization model for workflows (1996)An authorization model for wo…Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes (2016)Cerberus: Automated Synthesis…Towards a Process-Centered Resilience Framework (2015)Towards a Process-Centered Re…Modelling user availability in workflow resiliency analysis (2015)Modelling user availability i…Why Are Business Processes Not Secure? (2013)Why Are Business Processes No…A Comparison of Commercial and Military Computer Security Policies (1987)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Model driven security for process-oriented systems (2003)Modeling contextual security policies (2007)Lattice-based access control models (1993)The NIST model for role-based access control (2000)A model of OASIS role-based access control and its support for active security (2002)Extending query rewriting techniques for fine-grained access control (2004)Access control in collaborative systems (2005)Proposed NIST standard for role-based access control (2001)Role-Based Access Control (2002)Policy Analysis for Administrative Role Based Access Control (2006)Modeling process-related RBAC models with extended UML activity models (2010)Modeling Process-Related Duties with Extended UML Activity and Interaction Diagrams (2024)Protection of information in computer systems (1975)The role graph model and conflict of interest (1999)The Chinese Wall security policy (2003)RT: a Role-based Trust-management framework (2004)Role-Based Access Control (RBAC): Features and Motivations | NIST (1995)Separation of duties for access control enforcement in workflow environments (2001)The ARBAC99 model for administration of roles (2003)Using event calculus to formalise policy specification and analysis (2004)Security models for web-based applications (2001)Database security - concepts, approaches, and challenges (2005)TRBAC (2000)A rule-based framework for role based delegation (2001)Separation of duties as a service (2011)On the parameterized complexity of the workflow satisfiability problem (2012)Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking (2013)The Ponder Policy Specification Language (2001)The UCON ABC usage control model (2004)
this work references cited by second hop

References

  • 1996Role-based access control models5,926 cited
  • 1999The specification and enforcement of authorization constraints in workflow management systems543 cited
  • 2000Role-based authorization constraints specification416 cited
  • 2002Separation of duty in role-based environments349 cited
  • 2002On the formal definition of separation-of-duty policies and their composition223 cited
  • 1996An authorization model for workflows184 cited
  • 2007On mutually exclusive roles and separation-of-duty131 cited
  • 2003Specifying and enforcing constraints in role-based access control127 cited
  • 1999The RSL99 language for role-based separation of duty constraints124 cited
  • 2005A reference monitor for workflow systems with constrained task execution119 cited
  • 2001Practical safety in flexible access control models116 cited
  • 2006Inter-instance authorization constraints for secure workflow management56 cited

Cited by

  • 2013Why Are Business Processes Not Secure?13 cited
  • 2015Towards a Process-Centered Resilience Framework12 cited
  • 2016Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes

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

11 cited
  • 2015Modelling user availability in workflow resiliency analysis11 cited