%0 Conference Proceedings
%T Forensic Leak Detection for Business Process Models
%+ Business Process Security Group [Freiburg]
%+ University of Freiburg [Freiburg]
%A Accorsi, Rafael
%A Wonnemann, Claus
%Z Part 2: FORENSIC TECHNIQUES
%< avec comité de lecture
%( IFIP Advances in Information and Communication Technology
%B 7th Digital Forensics (DF)
%C Orlando, FL, United States
%Y Gilbert Peterson
%Y Sujeet Shenoi
%I Springer
%3 Advances in Digital Forensics VII
%V AICT-361
%P 101-113
%8 2011-01-31
%D 2011
%R 10.1007/978-3-642-24212-0_8
%K Business process forensics
%K leak detection
%K information flow analysis
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 11
%Z WG 11.9
%2 https://inria.hal.science/hal-01569546/document
%2 https://inria.hal.science/hal-01569546/file/978-3-642-24212-0_8_Chapter.pdf
%L hal-01569546
%U https://inria.hal.science/hal-01569546
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC11
%~ IFIP-DF
%~ IFIP-WG11-9
%~ IFIP-AICT-361