服务组合安全隐私信息流静态分析方法

来源：软件学报杂志2018年第6期北京时间：

作者：彭焕峰,黄志球,刘林源,李勇,柯昌博

单位：彭焕峰，南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;南京工程学院 计算机工程学院, 江苏 南京 21116711,黄志球，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110602,刘林源，南京审计大学 电子商务系, 江苏 南京 21181503,李勇，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110604,柯昌博，南京邮电大学 计算机学院, 江苏 南京 21002305

摘要：用户为使用服务组合提供的功能，需要提供必要的个人隐私数据.由于组合的业务逻辑对用户是透明的，且用户与成员服务之间缺乏隐私数据使用的相关协议，如何保证组合执行过程中不发生用户隐私信息的非法泄露，成为当前服务计算领域的研究热点之一.针对隐私保护特征，提出一种服务组合安全隐私信息流静态分析方法.首先，从服务信誉度、隐私数据使用目的及保留期限这3个维度提出一种面向服务组合的隐私信息流安全模型；其次，采用支持隐私信息流分析的隐私工作流网（privacy workflow net，简称PWF-net）构建服务组合模型，并通过静态分析算法分析组合执行路径，检测组合的执行是否会发生用户隐私信息的非法泄露；最后，通过实例分析说明了方法的有效性，并对方法性能进行了实验分析.与现有的相关工作相比，针对隐私保护特征提出了隐私信息流安全模型，且分析方法考虑了隐私数据项聚合问题，从而能够更为有效地防止用户隐私信息非法泄露.

关键词：服务组合;隐私保护;信息流安全;安全模型;静态分析;工作流网

基金资助：国家自然科学基金（61772270，61602262，61562087）；国家高技术研究发展计划（863）（2015AA015303）；江苏省自然科学基金（BK20150865，BK20130735）；江苏省高校自然科学基金（15KJD520001，13KJB520011）