隐私不确定需求驱动的服务演化与验证

Cloud computing has features of multiple participating and openness, which make it hard for the privacy data safeguard techniques, such as encryption, obfuscation, and turbulence, to meet the requirements of cloud computing privacy protection. In addition, privacy requirements uncertainty leads to the continuous evolution of services, which makes the privacy protection more complex and hard. In this project, we focus on the operation behavior of privacy data and do the research about privacy requirement driven service evolution and verification: 1)for privacy requirement uncertainty, the research concentrates on the identification and discovery, description and modeling, influence and management of privacy uncertainty requirements. 2) Combing privacy requirement uncertainty and service behavior modeling, build the privacy policy meta-model with unified semantics. 3)propose a architecture which separates the privacy policies and service functionality to support the research about service evolution, including: the service evolution driven by the change of privacy policies and vice versa.4) do the research on the verification of privacy polices under service evolution, propose a method of privacy preservation supervision to ensure consistency and conformance between services and privacy requirements. This project will provide a theoretical basis for the privacy modeling, analysis, and verification of cloud computing with dynamic service evolution. It will also provide techniques to support the construction of safe cloud computing platform and the certification of privacy protection.

云计算具有多方参与和系统开放的特征，使得加密、匿名和扰动等面向隐私数据的安全防护技术不能完全满足云计算隐私保护需要，加之隐私需求不确定性导致服务持续演化，使得隐私保护问题更加复杂和困难。本课题拟面向隐私数据操作行为，开展隐私不确定需求驱动的服务演化和验证研究:1)围绕隐私需求不确定性，开展其识别和发现、描述和建模、影响和管理的研究；2)面向隐私不确定需求和服务行为建模，构建统一语义的隐私策略元模型；3)提出隐私策略与服务功能分离的体系结构，支持服务演化方法研究，包括隐私策略变化导致的服务演化和服务功能演化导致的隐私策略变化；4) 开展服务演化场景下隐私策略满足性验证研究，提出动态运行环境下隐私特性保持的监督方法，以保障服务演化与隐私需求间的一致性和依从性。本项目的成果将为具有动态演化特征的云计算环境下的隐私建模和分析验证提供理论基础，为构建安全的云计算平台和隐私保护认证的开展提供技术保障。

云计算具有多方参与和系统开放的特征，使得加密、匿名和扰动等面向隐私数据的安全防护技术不能完全满足云计算隐私保护需要，加之隐私需求不确定性导致服务持续演化，使得隐私保护问题更加复杂和困难。本课题拟面向隐私数据操作行为，开展隐私不确定需求驱动的服务演化和验证研究:1)围绕隐私需求不确定性，开展其识别和发现、描述和建模、影响和管理的研究；2)面向隐私不确定需求和服务行为建模，构建统一语义的隐私策略元模型；3)提出隐私策略与服务功能分离的体系结构，支持服务演化方法研究，包括隐私策略变化导致的服务演化和服务功能演化导致的隐私策略变化；4) 开展服务演化场景下隐私策略满足性验证研究，提出动态运行环境下隐私特性保持的监督方法，以保障服务演化与隐私需求间的一致性和依从性。本项目的成果将为具有动态演化特征的云计算环境下的隐私建模和分析验证提供理论基础，为构建安全的云计算平台和隐私保护认证的开展提供技术保障。