A unified formal model for service oriented architecture to enforce security contracts

Authors:
Diana Allam
Affiliations:
Dept. Informatique. Ecole des Mines de Nantes, 44307 NANTES Cedex 3, France
Venue:
Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion
Year:
2012

Citing 5
Cited 0

The chemical abstract machine

Selected papers of the Second Workshop on Concurrency and compositionality
Verifying policy-based security for web services

Proceedings of the 11th ACM conference on Computer and communications security
Restful web services vs. "big"' web services: making the right architectural decision

Proceedings of the 17th international conference on World Wide Web
Modular verification of security protocol code by typing

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The conversation calculus: a model of service-oriented computation

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems

Quantified Score

Hi-index	0.00

Visualization

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.