Formal Protection Architecture for Cloud Computing System  

作　　者：Yasha Chen Jianpeng Zhao Junmao Zhu Fei Yan 

机构地区：[1]The Institute of North Electronic Equipment [2]Department of Computer Science,Wuhan University

出　　处：《ZTE Communications》2014年第2期63-66,共4页中兴通讯技术（英文版）

摘　　要：Cloud computing systems play a vital role in national security. This paper describes a conceptual framework called dualsystem architecture for protecting computing environments. While attempting to be logical and rigorous, formalism method is avoided and this paper chooses algebra Communication Sequential Process.Cloud computing systems play a vital role in national security. This paper describes a conceptual framework called dualsystem architecture for protecting computing environments. While attempting to be logical and rigorous, formalism method is avoided and this paper chooses algebra Communication Sequential Process.

关 键 词：formal method trusted computing PRIVACY cloud computing 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]