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 for the idea of certified analysis. As is shown by the example of a static information flow analysis and its accompanying Coq development, certified analysis of distributed business processes is feasible and provides machine-checkable correctness certificates and thus helps in increasing thrustworthiness of automated process compliance audits.
Certified Information Flow Analysis of Service Implementations
2018 ; Paris, France
2018
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Image Information Mining - ESA Research and Implementations
TIBKAT | 2005
|Springer Verlag | 2016
|British Library Online Contents | 1996
METHOD TO ASSURE INTEGRITY OF INTEGRATED CERTIFIED AND NON-CERTIFIED SENSORS
Europäisches Patentamt | 2022
|UGS's "Certified Select Status"
Emerald Group Publishing | 2002