A unified formal model for service oriented architecture to enforce security contracts
AOSD Companion '12: Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion（2012）
摘要
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.
更多查看译文
关键词
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
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要