Securing Web Service Compositions: Formalizing Authorization policies using Event Calculus

Mohsen Rouached (1) , Claude Godart (1)

1 ECOO - Environment for cooperation

This paper presents a formal model for composing security policies dynamically to cope with changes in requirements or occurrences of events. We address one particular issue - that of authorization within a Web services composition. In particular, we propose a dynamic authorization model which allows for complex authorization policies whilst ensuring trust and privacy between the components services.

Domaines: Réseaux et télécommunications [cs.NI]

Mohsen Rouached, Claude Godart. Securing Web Service Compositions: Formalizing Authorization policies using Event Calculus. 4th International Conference on Service-Oriented Computing - ICSOC'06, Dec 2006, Chicago, USA, pp.440-446, ⟨10.1007/11948148_37⟩. ⟨inria-00114026⟩