A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...