A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts

Diana Allam 1, 2
2 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : In this paper we introduce a model as a foundation for heterogeneous services, therefore unifying web services technologies in SOA (Service Oriented Architecture), specifically, SOAP/WS* and RESTful models. This model abstracts away from service implementations, in order to verify and to enforce some important security properties.
Type de document :
Communication dans un congrès
Proceedings of the 11th annual international conference on Aspect-oriented Software Deve. AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. ACM, pp.9-10, 2012, 〈10.1145/2162110.2162120〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00668999
Contributeur : Diana Allam <>
Soumis le : vendredi 10 février 2012 - 18:21:34
Dernière modification le : vendredi 22 juin 2018 - 09:29:16
Document(s) archivé(s) le : vendredi 11 mai 2012 - 03:05:08

Fichiers

aosd551p-allam.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Diana Allam. A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts. Proceedings of the 11th annual international conference on Aspect-oriented Software Deve. AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. ACM, pp.9-10, 2012, 〈10.1145/2162110.2162120〉. 〈hal-00668999〉

Partager

Métriques

Consultations de la notice

266

Téléchargements de fichiers

320