Rafael Accorsi, Claus Wonnemann. InDico: Information Flow Analysis of Business Processes for Confidentiality Requirements. In Jorge Cuéllar, Javier Lopez, Gilles Barthe, Alexander Pretschner, editors, Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers. Volume 6710 of Lecture Notes in Computer Science, pages 194-209, Springer, 2010.
Abstract is missing.