A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
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.
Origin : Files produced by the author(s)
Loading...