Formal Protection Architecture for Cloud Computing System
Release Date：2014-06-18
Author：Yasha Chen, Jianpeng Zhao, Junmao Zhu, and Fei Yan
[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
Related Articles
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}