Int. J. of Cloud Computing   »   2012 Vol.1, No.4

 

 

Title: A privacy protection model for transparent computing system

 

Authors: Haiwei Xue; Yiqi Dai

 

Addresses:
Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China.
Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China

 

Abstract: Transparent computing system provides services, including OS, applications, data, etc., for end users, in which users can request the computing and storages resources according to their requirement. It is important to protect the data in transparent computing system, especially to enhance the privacy protection. In some cases, security threats are not only from malicious users or viruses but also include inside leaks, which cannot be prevented by current security systems. We proposed system-based privacy protection model for transparent computing systems in this paper. Our model is based from mandatory access control and we use formal methods to analysis the privacy protection problem. Our model is a state machine model, which have five state transition rules and all these rules can be proved to be safe by formally description method. So if we use these rules in transparent computing system, and make sure that the initial state is secure, the transparent computing system is always keep state secure.

 

Keywords: transparent computing; cloud computing; privacy protection; privacy preservation; BLP; L-BLP; state machine models; data protection; mandatory access control; data security.

 

DOI: 10.1504/IJCC.2012.049768

 

Int. J. of Cloud Computing, 2012 Vol.1, No.4, pp.367 - 384

 

Available online: 14 Oct 2012

 

 

Editors Full text accessAccess for SubscribersPurchase this articleComment on this article