Formal Protection Architecture for Cloud Computing System

Release Date:2014-06-18 Author:Yasha Chen, Jianpeng Zhao, Junmao Zhu, and Fei Yan Click:

[Abstract] Cloud computing systems play a vital role in national security. This paper describes a conceptual framework called dual⁃system architecture for protecting computing environments. While attempting to be logical and rigorous, formalism method is avoided and this paper chooses algebra Communication Sequential Process.

[Keywords] formal method; trusted computing; privacy; cloud computing