Securing Web Service Compositions: Formalizing Authorization policies using Event Calculus

Mohsen Rouached 1 Claude Godart 1
1 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/inria-00114026
Contributor : Mohsen Rouached <>
Submitted on : Wednesday, November 15, 2006 - 12:06:41 PM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM
Long-term archiving on : Tuesday, April 6, 2010 - 7:36:54 PM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

269

Files downloads

181