Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-00668999
Contributor : Diana Allam Connect in order to contact the contributor
Submitted on : Friday, February 10, 2012 - 6:21:34 PM
Last modification on : Wednesday, April 27, 2022 - 4:11:28 AM
Long-term archiving on: : Friday, May 11, 2012 - 3:05:08 AM

Files

aosd551p-allam.pdf
Files produced by the author(s)

Identifiers

Citation

Diana Allam. A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts. AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩. ⟨hal-00668999⟩

Share

Metrics

Record views

118

Files downloads

311