Title | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2162110.2162120 | AOSD (Companion) |
Keywords | Field | DocType |
unifying web services technology,restful model,security contract,model abstract,important security property,service implementation,unified formal model,service oriented architecture,heterogeneous service,web service,formal method,formal methods,security | Computer science,Computer security,Sherwood Applied Business Security Architecture,Security service,Implementation,SOAP,Formal methods,Web service,Service-oriented architecture,Computer security model | Conference |
Citations | PageRank | References |
2 | 0.39 | 8 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Diana Allam | 1 | 3 | 1.42 |