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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Certified Information Flow Analysis of Service Implementations


    Beteiligte:

    Kongress:

    2018 ; Paris, France



    Erscheinungsdatum :

    2018



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    Reference Implementations

    Jaeger, Attila | Springer Verlag | 2016


    Pira gets certified

    British Library Online Contents | 1996


    METHOD TO ASSURE INTEGRITY OF INTEGRATED CERTIFIED AND NON-CERTIFIED SENSORS

    KANA ZDENEK / AHLBRECHT MARK A / SOTAK MILOS | Europäisches Patentamt | 2022

    Freier Zugriff

    UGS's "Certified Select Status"

    Emerald Group Publishing | 2002