Organizations often do not want to reveal the way a product is created or a service is delivered. As a consequence, if two organizations want to cooperate, they contact a trusted third party. Each speci¿es how it wants to communicate with the other party. The trusted third party then needs to assure that the two organizations cooperate correctly. In this paper, we study requirements on trusted third parties to ensure correct cooperation between the di¿erent organizations.
|Name||CEUR Workshop Proceedings|
|Workshop||International Workshop on Petri Nets and Software Engineering 2012 (PNSE 2012)|
|Abbreviated title||PNSE '12|
|Period||25/06/12 → 26/06/12|
|Other||Workshop co-located with the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2012) and the 12th International Conference on Application of Concurrency to System Design (ACSD 2012)|