This paper presents InDico, an approach for the automated analysis of business processes against confidentiality requirements. InDico is motivated by the fact that in spite of the correct deployment of access control mechanisms, information leaks in automated business processes can persist due to erroneous process design. InDico employs a meta-model based on Petri nets to formalize and analyze business processes, thereby enabling the identification of leaks caused by a flawed process design. © 2011 Springer-Verlag.
CITATION STYLE
Accorsi, R., & Wonnemann, C. (2011). InDico: Information flow analysis of business processes for confidentiality requirements. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6710 LNCS, pp. 194–209). https://doi.org/10.1007/978-3-642-22444-7_13
Mendeley helps you to discover research relevant for your work.