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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-01569546
Contributor : Hal Ifip <>
Submitted on : Thursday, July 27, 2017 - 8:22:22 AM
Last modification on : Friday, December 1, 2017 - 1:16:43 AM

File

978-3-642-24212-0_8_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Rafael Accorsi, Claus Wonnemann. Forensic Leak Detection for Business Process Models. 7th Digital Forensics (DF), Jan 2011, Orlando, FL, United States. pp.101-113, ⟨10.1007/978-3-642-24212-0_8⟩. ⟨hal-01569546⟩

Share

Metrics

Record views

225

Files downloads

107