SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Information leak detection in business process models: Theory, application, and tool support
9 references·0 citing·31 second hop
Information leak detection in business process models: Theory, application, and tool support (2014)Information leak detection in business pr…On the exploitation of process mining for security audits (2012)On the exploitation of proces…Automatic Information Flow Analysis of Business Process Models (2012)Automatic Information Flow An…Strong non-leak guarantees for workflow models (2011)Strong non-leak guarantees fo…Automated Certification for Compliant Cloud-based Business Processes (2011)Automated Certification for C…Analysis on demand: Instantaneous soundness checking of industrial business process models (2011)Analysis on demand: Instantan…Petri Net Transformations for Business Processes – A Survey (2009)Petri Net Transformations for…Information Technology Control and Audit (2008)Information Technology Contro…Security Analysis of Electronic Business Processes (2003)Security Analysis of Electron…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Workflow Patterns (2003)YAWL: yet another workflow language (2004)Behavioral Similarity – A Proper Metric (2011)Prediction of Remaining Service Execution Time Using Stochastic Petri Nets with Arbitrary Firing Delays (2013)Prediction of business process durations using non-Markovian stochastic Petri nets (2015)Integrity Considerations for Secure Computer Systems (1977)Process modeling (1992)Process innovation: reengineering work through information technology (1993)Access control: principle and practice (1994)Workflow mining: discovering process models from event logs (2004)Process Mining (2011)Intelligent Decision Support Systems (2014)Aligning Real Process Executions and Prescriptive Process Models through Automated Planning (2017)Process-mining-enabled audit of information systems: Methodology and an application (2018)The UCON ABC usage control model (2004)Business Process as a Service: Chances for Remote Auditing (2011)On the exploitation of process mining for security audits (2013)Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives (2013)Modeling and Analysis of Workflows Using Petri Nets (1998)The Chinese Wall security policy (2003)InDico: Information Flow Analysis of Business Processes for Confidentiality Requirements (2011)Discovering Workflow Changes with Time-Based Trace Clustering (2012)Diagnosing Workflow Processes using Woflan (2001)The refined process structure tree (2009)On the refactoring of activity labels in business process models (2012)Supporting Process Model Validation through Natural Language Generation (2014)Complete and Interpretable Conformance Checking of Business Processes (2017)Towards accountable management of identity and privacy: sticky policies and enforceable tracing services (2004)Factors associated with IT audits by the internal audit function (2010)Information Technology Capability, Internal Control Effectiveness, and Audit Fees and Delays (2014)Detecting Data-Flow Errors in BPMN 2.0 (2014)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2009Petri Net Transformations for Business Processes – A Survey175 cited
  • 2011Analysis on demand: Instantaneous soundness checking of industrial business process models145 cited
  • 2012On the exploitation of process mining for security audits87 cited
  • 2008Information Technology Control and Audit85 cited
  • 2011Automated Certification for Compliant Cloud-based Business Processes59 cited
  • 2011Strong non-leak guarantees for workflow models36 cited
  • 2012Automatic Information Flow Analysis of Business Process Models36 cited
  • 2003Security Analysis of Electronic Business Processes35 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