HAL: hal-00668999, version 1

DOI: 10.1145/2162110.2162120

See detailed view

BibTeX,EndNote,... BibTeX - EndNote - TEI - RefWorks -

AOSD 2012 Student Research Competition (Poster), Potsdam : Allemagne (2012)

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

Diana Allam 1, 2

(2012-03-25)

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

Domain

:

Computer Science/Computation and Language

Keywords: Formal Methods – Security – Reference Monitors – Aspects – Service-Oriented Architecture

hal-00668999, version 1

http://hal.inria.fr/hal-00668999

oai:hal.inria.fr:hal-00668999

From: Diana Allam <>

Submitted on: Friday, 10 February 2012 18:21:34

Updated on: Wednesday, 23 May 2012 17:27:45