Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes

8 references·1 citing·34 second hop

FromToDepth

this work references cited by second hop

References

2003Workflow Patterns2,613 cited
2004YAWL: yet another workflow language1,413 cited
1999The specification and enforcement of authorization constraints in workflow management systems543 cited
2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques435 cited
2010Soundness of workflow nets: classification, decidability, and analysis372 cited
2002Datalog with Constraints: A Foundation for Trust Management Languages251 cited
2008Delegation and satisfiability in workflow systems52 cited
2010Model Checking of Security-Sensitive Business Processes52 cited

Cited by

2016Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes11 cited

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