Forensic Leak Detection for Business Process Models

Abstract : This paper presents a formal forensic technique based on information flow analysis to detect data and information leaks in business process models. The approach can be uniformly applied to the analysis of process specifications and the log files generated during process execution. The Petri net dialect IF net is used to provide a common basis for the formalization of isolation properties, the representation of business process specifications and their analysis. The utility of the approach is illustrated using an eHealth case study.
Type de document :
Communication dans un congrès
Gilbert Peterson; Sujeet Shenoi. 7th Digital Forensics (DF), Jan 2011, Orlando, FL, United States. Springer, IFIP Advances in Information and Communication Technology, AICT-361, pp.101-113, 2011, Advances in Digital Forensics VII. 〈10.1007/978-3-642-24212-0_8〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01569546
Contributeur : Hal Ifip <>
Soumis le : jeudi 27 juillet 2017 - 08:22:22
Dernière modification le : vendredi 1 décembre 2017 - 01:16:43

Fichier

978-3-642-24212-0_8_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Rafael Accorsi, Claus Wonnemann. Forensic Leak Detection for Business Process Models. Gilbert Peterson; Sujeet Shenoi. 7th Digital Forensics (DF), Jan 2011, Orlando, FL, United States. Springer, IFIP Advances in Information and Communication Technology, AICT-361, pp.101-113, 2011, Advances in Digital Forensics VII. 〈10.1007/978-3-642-24212-0_8〉. 〈hal-01569546〉

Partager

Métriques

Consultations de la notice

37

Téléchargements de fichiers

8