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

Diana Allam

hal-00668999, version 1

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

AOSD 2012 Student Research Competition (Poster) (2012) 9--10

Résumé : 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.

1 : Laboratoire d'Informatique de Nantes Atlantique (LINA)
CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes
2 : ASCOLA (INRIA - EMN)
INRIA – École Nationale Supérieure des Mines - Nantes

hal-00668999, version 1
http://hal.inria.fr/hal-00668999
oai:hal.inria.fr:hal-00668999
Contributeur : Diana Allam <>
Soumis le : Vendredi 10 Février 2012, 18:21:34
Dernière modification le : Mercredi 23 Mai 2012, 17:27:45

Voir la fiche détaillée

Documents associés

PDF :

PS :

DOI : 10.1145/2162110.2162120

Exporter

Bibtex EndNote TEI RefWorks

%F hal-00668999, version 1
%0 Conference Proceedings
%U http://hal.inria.fr/hal-00668999
%2 INFO:INFO_CL
%T A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
%A Allam, Diana
%+ Laboratoire d'Informatique de Nantes Atlantique - LINA , ASCOLA - INRIA - EMN
%X 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.
%2 D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.0: Abstract data types, D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.3: Constraints, D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.6: Data types and structures, D.3.3.10: Input/output, D.3.3.15: Recursion, D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.5: Programming by contract, D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.1: Syntax
%G Anglais
%8 2012-03-25
%2 internationale
%B AOSD 2012 Student Research Competition (Poster)
%2 Potsdam
%2 Allemagne
%8 2012-03-25
%8 2012-03-30
%E Proceedings of the 11th annual international conference on Aspect-oriented Software Deve
%I ACM
%P 9--10
%R 10.1145/2162110.2162120
%K Formal Methods, Security, Reference Monitors, Aspects, Service-Oriented Architecture
%Z Poster
%2 7737