University of Rome
When outsourcing tasks of a business process to a third party, information flow security becomes a critical issue. In particular implicit information leaks are an intriguing problem. Given a business process one could ask whether the execution of a confidential task is kept secret to a third party which can observe some public (non-confidential) tasks. A business process is secure in sense of implicit information flow if a third party cannot deduce the execution of confidential tasks based on observations of public tasks.