Modeling securized cooperation of inter-organizational workflows in a multi-level virtual architecture

Managing security is one of the main stakes in the cooperation of an inter-organizational workflow. Several approaches were adopted on this sense. Within the framework of the cooperation we proposed a multi-layered distributed architecture to specify, verify, and connect partners to cooperate. This management architecture WF consists of four levels: modeling level, specification level, cooperation level and execution level. We also proposed an algorithm of cooperation, in which the coverage of the security is realized by the introduction of a control access component based on the ORBAC model. In this article, we will present some approaches of security in workflows cooperation, then we shall propose a formalization of our cooperation algorithm to validate modeling level of our architecture with a final aim of an implementation.