云计算环境下隐私需求的描述与检测方法

来源：计算机研究与发展杂志2015年第4期北京时间：

作者：柯昌博,黄志球,

摘要：云计算已经成为一种计算范型为用户提供服务，但其开放性、虚拟化和服务外包化的特点使得用户的隐私信息难以控制和保护.以描述逻辑为基础，提出了一种云计算环境下面向语义的隐私需求描述与检测方法.首先，对用户隐私需求与服务提供者的隐私策略进行描述；其次，对两者之间是否存在冲突进行检测，发现满足用户隐私需求的服务；最后，利用Protégé本体建模工具对用户的隐私需求和服务提供者的隐私策略进行建模，并利用Pellet推理机进行了实验，分别对本体模型中的概念进行一致性检测和对概念与逻辑公理之间的可满足性进行检验，从而证明了此检测方法的正确性与可行性.

关键词：云计算, 描述逻辑, 隐私属性, 隐私策略, 隐私偏好,