Jasmin Türker

Certified Information Flow Analysis of Service Implementations

2018

Process analysis enables the certification of distributed business processes using automated process compliance checks. In such an auditing scenario, analysis correctness is key but is usually taken for granted. We therefore argue in this paper …