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.
|CEUR Workshop Proceedings
|33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2012
|25/06/12 → 29/06/12
|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)