ISSN 1000-1239 CN 11-1777/TP

Journal of Computer Research and Development ›› 2015, Vol. 52 ›› Issue (4): 879-888.doi: 10.7544/issn1000-1239.2015.20131906

Previous Articles     Next Articles

Privacy Requirement Description and Checking Method in Cloud Computing

Ke Changbo1,3, Huang Zhiqiu2   

  1. 1(School of Computer Science & Technology, School of Software, Nanjing University of Posts and Telecommunications, Nanjing 210023); 2(College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016); 3(Jiangsu High Technology Research Key Laboratory for Wireless Sensor Networks, Nanjing 210003)
  • Online:2015-04-01

Abstract: Cloud computing has been a computing paradigm to provide services for users. However, it is difficult to control and protect personal privacy information because of its opening, virtualization, multi-tenancy and service outsourcing characters. Therefore, how to prevent user privacy information from being used and propagated in cloud computing illegally has become a research focus. In this work, we propose a semantic-oriented privacy requirement description method and checking mechanism. First of all, we describe the user privacy requirement and privacy policy of service provider based on description logic. Secondly, we address the privacy requirement checking framework. Namely, we build the knowledge base through privacy disclosure assertion of user map to TBox and privacy disclosure assertion of service provider map to ABox, and then reason the TBox and ABox by taking advantage of the Tableau algorithm. In the end, we check whether there are the conflicts between user privacy requirement and privacy policy of service provider through experiment and case analysis. Namely, we build the privacy requirement checking model with Protégé of Stanford University, and prove the consistency of conceptions in model and the satisfiability between the conceptions and the logic axioms with Pellet reasonor. Thereby, the correctness and feasibility of our method is certified.

Key words: cloud computing, description logic, privacy property, privacy policy, privacy preference

CLC Number: