elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Certified Information Flow Analysis of Service Implementations

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] 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:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Heinze, Thomas S.thomas.heinze (at) dlr.deUNSPECIFIED
Türker, Jasminjasmin.tuerker (at) uni-jena.deUNSPECIFIED
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
Deposited By: Heinze, Thomas
Deposited On:03 Jan 2019 08:23
Last Modified:31 Jul 2019 20:22

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.