满足隐私需求的服务组合信息流控制方法研究

摘要：

确保服务组合在满足用户功能性需求的前提下保护用户的隐私信息,是服务组合隐私保护的关键性问题.现有的Web服务访问控制模型不能有效地控制信息在系统内的传播和数据的间接污染,从而导致隐私信息的间接泄漏,而信息流分析方法是一种保障系统端到端信息传输安全性的方法,因此提出一种信息流控制模型对服务组合的隐私数据进行保护.首先使用隐私策略矩阵规约服务的隐私权限,使用隐私数据项依赖图描述服务组合过程中隐私数据项间的依赖关系,提出服务组合信息流控制模型,对服务的隐私策略进行形式化规约.然后利用带隐私语义的Petri网模型对服务组合的行为进行建模,提出服务组合隐私需求验证算法,用于验证服务组合的行为是否满足服务的隐私策略.最后通过一个BPEL实例说明该方法的有效性.

关键词：服务组合、隐私保护、信息流控制、Petri网

所属期刊栏目：12

分类号：TP311.5(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No.61272083;the National High Technology Research and Development Program of China under Grant No.2015AA015303国家高技术研究发展计划863计划

在线出版日期：2018-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：370-379