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.
Type de document :
Communication dans un congrès
ECOWS 2010 - The 8th IEEE European Conference on Web Services, Dec 2010, Ayia Napa, Cyprus. 2010
Domaine :
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00537976
Contributeur : Ehtesham Zahoor <>
Soumis le : samedi 4 décembre 2010 - 07:01:26
Dernière modification le : jeudi 11 janvier 2018 - 06:23:13
Document(s) archivé(s) le : lundi 5 novembre 2012 - 11:20:43

Fichier

DISC-SET.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2010. 〈inria-00537976〉

Partager

Métriques

Consultations de la notice

259

Téléchargements de fichiers

100