Distributed orchestration of web services under security constraints

Tigran Avanesov,Yannick Chevalier,Mohammed Anis Mekki,Michaël Rusinowitch,Mathieu Turuani

DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security（2011）

引用 5|浏览0

暂无评分

摘要

We present a novel approach to automated distributed orchestration of Web services tied with security policies. The construction of an orchestration complying with the policies is based on the resolution of deducibility constraint systems and has been implemented for the non-distributed case as part of the AVANTSSAR Validation Platform. The tool has been successfully experimented on several case-studies from industry and academia.

查看译文

关键词

novel approach,non-distributed case,deducibility constraint system,security constraint,security policy,web service,avantssar validation platform,formal methods,security,web services

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要