IEEE Transactions on Cloud Computing

Expand your horizons with Colloquium, a monthly survey of abstracts from all CS transactions!

From the October/December 2017 issue

DaSCE: Data Security for Cloud Environment with Semi-Trusted Third Party

By Mazhar Ali, Saif U.R. Malik, and Samee U. Khan

Featured article thumbnail image Off-site data storage is an application of cloud that relieves the customers from focusing on data storage system. However, outsourcing data to a third-party administrative control entails serious security concerns. Data leakage may occur due to attacks by other users and machines in the cloud. Wholesale of data by cloud service provider is yet another problem that is faced in the cloud environment. Consequently, high-level of security measures is required. In this paper, we propose data security for cloud environment with semi-trusted third party (DaSCE), a data security system that provides (a) key management (b) access control, and (c) file assured deletion. The DaSCE utilizes Shamir's (k, n) threshold scheme to manage the keys, where k out of n shares are required to generate the key. We use multiple key managers, each hosting one share of key. Multiple key managers avoid single point of failure for the cryptographic keys. We (a) implement a working prototype of DaSCE and evaluate its performance based on the time consumed during various operations, (b) formally model and analyze the working of DaSCE using high level petri nets (HLPN), and (c) verify the working of DaSCE using satisfiability modulo theories library (SMT-Lib) and Z3 solver. The results reveal that DaSCE can be effectively used for security of outsourced data by employing key management, access control, and file assured deletion.

download PDF View article (PDF)     csdl View issue (CSDL)      TCC Facebook Link  TCC on Facebook      TCC LinkedIn Group  TCC on Linkedin

Editorials and Announcements


  • We are pleased to announce that TCC is now indexed in Clarivate Analytics' Web of Science under the Science Citation Index Expanded (SCIE) and will receive an impact factor in the 2017 Journal Citation Report.
  • Heartfelt congratulations are offered to TCC's Editor-in-Chief Hui Lei, who received a 2017 IEEE Computer Society Technical Achievement Award "for pioneering contributions to scalable access to real-world data." Read more.
  • Congratulations to Hui Lei on his appointment as 2016-2017 Editor-in-Chief of IEEE Transactions on Cloud Computing. Dr. Lei is CTO, Watson Health Cloud at IBM, where he provides leadership on the Watson Health Cloud technical strategy and spearheads the development of the Watson Health Cloud platform.
  • Introduction to the IEEE Transactions on Cloud Computing by Rajkumar Buyya (PDF)
  • Welcome Message by Jon Rokne (PDF)


Guest Editorials

Reviewers List

Author Index

Call for Papers

General Call for Papers

General call for papers. View PDF.

Access recently published TCC articles

RSS Subscribe to the RSS feed of recently published TCC content

mail icon Sign up for e-mail notifications through IEEE Xplore Content Alerts

preprints icon View TCC preprints in the Computer Society Digital Library

TCC is financially cosponsored by:

IEEE Computer SocietyIEEE Communications SocietyIEEE Power & Energy SocietyIEEE Consumer Electronics SocietyIEEE Systems Council

TCC is technically cosponsored by:

IEEE Signal Processing Society