Abstract:Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, where the management of the data and services may not be fully trustworthy. This unique paradigm brings about many new security challenges, which have not been well understood. This work studies the problem of ensuring the integrity of data storage in Cloud Computing. In particular, we consider the task of allowing a third party auditor (TPA), on behalf of the cloud client, to verify the integrity of the dynamic data stored in the cloud. The introduction of TPA eliminates the involvement of the client through the auditing of whether his data stored in the cloud are indeed intact, which can be important in achieving economies of scale for Cloud Computing. The support for data dynamics via the most general forms of data operation, such as block modification, insertion, and deletion, is also a significant step toward practicality, since services in Cloud Computing are not limited to archive or backup data only. While prior works on ensuring remote data integrity often lacks the support of either public auditability or dynamic data operations, this paper achieves both. We first identify the difficulties and potential security problems of direct extensions with fully dynamic data updates from prior works and then show how to construct an elegant verification scheme for the seamless integration of these two salient features in our protocol design. In particular, to achieve efficient data dynamics, we improve the existing proof of storage models by manipulating the classic Merkle Hash Tree construction for block tag authentication. To support efficient handling of multiple auditing tasks, we further explore the technique of bilinear aggregate signature to extend our main result into a multiuser setting, where TPA can perform multiple auditing tasks simultaneously. Extensive security and performance analysis show that the proposed schemes are highly efficient and provably secure.

Handling Dynamic Information Release

Handling Information Release and Erasure in Multi-Threaded Programs

Security Policy for Information Erasing and Leaking in Multithreaded Codes

Enforcing Relaxed Declassifications with Reference Points

Automated Enforcement for Relaxed Information Release with Reference Points.

Analysis for Real-time Intransitive Information Flow Security Properties

Nonmalleable Information Flow: Technical Report

Analysis for Intransitive Noninterference Security Properties in Probabilistic Systems

Dynamically modified union model combining confidentiality and integrity

Hybrid Mandatory Model Composed of BLP and Clark-Wilson Policy

Attacker Control and Impact for Confidentiality and Integrity

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis

A New Enforcement on Declassification with Reachability Analysis

A Multi-Compositional Enforcement on Information Flow Security

Prudent Design Principles for Information Flow Control

A Noninterference Model for Nondeterministic Systems

A Verified Capability-Based Model for Information Flow Security with Dynamic Policies

A Framework for Implementing Dynamically Modified Least Privilege Security Policy

A Last-Level Defense for Application Integrity and Confidentiality

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency

Enabling Public Verifiability and Data Dynamics for Storage Security in Cloud Computing