SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Using colored Petri nets to model and analyze workflow with separation of duty constraints
10 references·4 citing·32 second hop
Using colored Petri nets to model and analyze workflow with separation of duty constraints (2007)Using colored Petri nets to model and ana…Petri net-based workflow modelling and analysis of the integrated manufacturing business processes (2004)Petri net-based workflow mode…Task–role-based access control model (2002)Task–role-based access contro…A Petri net based safety analysis of workflow authorization models1 (2000)A Petri net based safety anal…The specification and enforcement of authorization constraints in workflow management systems (1999)The specification and enforce…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Task-based authorization controls (TBAC): a family of models for active and enterprise-oriented authorization management (1998)Task-based authorization cont…Modeling and Analysis of Workflows Using Petri Nets (1998)Modeling and Analysis of Work…Role-based access control models (1996)Role-based access control mod…An authorization model for workflows (1996)An authorization model for wo…A Comparison of Commercial and Military Computer Security Policies (1987)A Comparison of Commercial an…Dynamic Implementation of Security Requirements in Business Processes (2020)Dynamic Implementation of Sec…Research and development on key models and technology of PDM system (2015)Research and development on k…Modeling and analyzing the impact of authorization on workflow executions (2012)Modeling and analyzing the im…Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus (2010)Unified modelling and analysi…An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Fundamentals of control flow in workflows (2003)The P2P Approach to Interorganizational Workflows (2013)Protection in operating systems (1976)A logical framework for reasoning about access control models (2003)An XML-based process definition language for integrated process management (2003)Verification of workflow nets (1997)Petri net-based modelling of workflow systems: An overview (2001)On the usefulness of subprocesses in business process models (2010)A model-driven approach to enabling change capability in SMEs (2013)Role-Based Access Control (RBAC): Features and Motivations | NIST (1995)Model-driven business process security requirement specification (2008)Verification of Business Process Entailment Constraints Using SPIN (2009)An approach to capture authorisation requirements in business processes (2010)Integrity Considerations for Secure Computer Systems (1977)The NIST model for role-based access control (2000)The Chinese Wall security policy (2003)Design of a role-based trust-management framework (2005)Model driven security for process-oriented systems (2003)Modeling contextual security policies (2007)On mutually exclusive roles and separation-of-duty (2007)Security models for web-based applications (2001)Access control in collaborative systems (2005)Database security - concepts, approaches, and challenges (2005)The role graph model and conflict of interest (1999)A model of OASIS role-based access control and its support for active security (2002)Workflow Patterns (2003)Workflow mining: discovering process models from event logs (2004)YAWL: yet another workflow language (2004)Proposed NIST standard for role-based access control (2001)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
  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 1987A Comparison of Commercial and Military Computer Security Policies1,142 cited
  • 1999The specification and enforcement of authorization constraints in workflow management systems543 cited
  • 1998Task-based authorization controls (TBAC): a family of models for active and enterprise-oriented authorization management422 cited
  • 1998Modeling and Analysis of Workflows Using Petri Nets299 cited
  • 2002Task–role-based access control model222 cited
  • 1996An authorization model for workflows184 cited
  • 2000A Petri net based safety analysis of workflow authorization models156 cited
  • 2004Petri net-based workflow modelling and analysis of the integrated manufacturing business processes26 cited

Cited by

  • 2012Modeling and analyzing the impact of authorization on workflow executions17 cited
  • 2020Dynamic Implementation of Security Requirements in Business Processes14 cited
  • 2010Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus13 cited
  • 2015Research and development on key models and technology of PDM system5 cited

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