科研之友
微信
新浪微博
Facebook
分享链接
摘要
确保用户的个人隐私数据不被非法收集和披露,是实现安全Web服务组合的一个关键问题,有必要在设计阶段验证服务组合是否满足隐私策略约束。首先使用隐私策略规约服务的隐私权限,然后利用带隐私语义的接口自动机对服务的接口行为进行建模。在此基础上,形式化地检验了服务组合行为是否满足隐私授权约束。基于上述验证过程所组合的Web服务,能有效地减轻对用户隐私数据的危害,增强了组合Web服务的安全性和可靠性。
-
单位南京审计大学; 中国人民解放军陆军工程大学; 南京航空航天大学
