Tell a friend
Print
Heinze, Thomas S. and Türker, Jasmin (2018) Certified Information Flow Analysis of Service Implementations. In: IEEE International Conference on Service-Oriented Computing and Applications, Proceedings, 2018, pp. 177-184. IEEE. 2018 IEEE 11th Interrnational Conference on Service-Oriented Computing and Applications, 20-22 Nov 2018, Paris, France. doi: 10.1109/SOCA.2018.00033. ISBN 978-1-5386-9133-5.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
368kB |
Official URL: https://ieeexplore.ieee.org/document/8599595
Abstract
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.
| Item URL in elib: | https://elib.dlr.de/124731/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | |||||||||
| Title: | Certified Information Flow Analysis of Service Implementations | |||||||||
| Authors: |
| |||||||||
| Date: | 2018 | |||||||||
| Journal or Publication Title: | IEEE International Conference on Service-Oriented Computing and Applications, Proceedings | |||||||||
| Refereed publication: | Yes | |||||||||
| Open Access: | Yes | |||||||||
| Gold Open Access: | No | |||||||||
| In SCOPUS: | No | |||||||||
| In ISI Web of Science: | Yes | |||||||||
| Volume: | 2018 | |||||||||
| DOI: | 10.1109/SOCA.2018.00033 | |||||||||
| Page Range: | pp. 177-184 | |||||||||
| Publisher: | IEEE | |||||||||
| Series Name: | 2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA) | |||||||||
| ISBN: | 978-1-5386-9133-5 | |||||||||
| Status: | Published | |||||||||
| Keywords: | information flow analysis, distributed business process, certified analysis, process compliance, Coq | |||||||||
| Event Title: | 2018 IEEE 11th Interrnational Conference on Service-Oriented Computing and Applications | |||||||||
| Event Location: | Paris, France | |||||||||
| Event Type: | international Conference | |||||||||
| Event Dates: | 20-22 Nov 2018 | |||||||||
| HGF - Research field: | Aeronautics, Space and Transport | |||||||||
| HGF - Program: | Space | |||||||||
| HGF - Program Themes: | other | |||||||||
| DLR - Research area: | Raumfahrt | |||||||||
| DLR - Program: | R - no assignment | |||||||||
| DLR - Research theme (Project): | R - no assignment | |||||||||
| Location: | Jena | |||||||||
| Institutes and Institutions: | Institute of Data Science Institute of Data Science > IT-Security Institute of Data Science > Secure Digital Systems | |||||||||
| Deposited By: | Heinze, Thomas | |||||||||
| Deposited On: | 03 Jan 2019 08:23 | |||||||||
| Last Modified: | 02 Jul 2020 14:43 |
Repository Staff Only: item control page
