The browser version you are accessing is too low. To provide better experience, it is recommended that you upgrade the browser toEdgeBrowserOr, it is recommended.GoogleBrowser

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