DISC-SET: Handling temporal and security aspects in the Web services composition

Ehtesham Zahoor 1 Olivier Perrin 1 Claude Godart 1
1 SCORE - Services and Cooperation
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
Abstract : In this paper we propose the DISC-SeT framework to handle the representation, solution computation and verification of temporal and security requirements in the services composition. The proposed approach provides a flexible event calculus based composition design, that allows for modeling different temporal (response time, time-units and other) and security aspects (access control, confidentiality and others) for Web services with different synchronization modes. The use of a formal approach allows to reason about and verify the security and temporal requirements. Further, as the proposed approach is integrated and builds upon the DISC framework, it allows to learn from run-time security and temporal constraints violations to take recovery actions.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00537976
Contributor : Ehtesham Zahoor <>
Submitted on : Saturday, December 4, 2010 - 7:01:26 AM
Last modification on : Tuesday, December 18, 2018 - 4:26:01 PM
Long-term archiving on : Monday, November 5, 2012 - 11:20:43 AM

File

DISC-SET.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00537976, version 1

Collections

Citation

Ehtesham Zahoor, Olivier Perrin, Claude Godart. DISC-SET: Handling temporal and security aspects in the Web services composition. ECOWS 2010 - The 8th IEEE European Conference on Web Services, Dec 2010, Ayia Napa, Cyprus. ⟨inria-00537976⟩

Share

Metrics

Record views

307

Files downloads

162