Formal Security Verification of Virtual Environment in Cloud Computing
Jianfeng Wang · Information Security and Communications Privacy · 2012
Cloud computing is an emerging utilization mode for computation and storage resources,and receives wide application in IT fields for its low cost and high efficiency.However,as a key component of cloud computing,the security of virtualization directly affects the security performance of cloud computing.Currently the most frequently-used method for verification of cloud virtual environment is traditionally coverage-based and could not ensure the correctness in theory.By combining model checking technique in formal methods with cloud computing,three steps of configuration gathering,requirement analysis and property verification are performed,thus to complete the highly-covered verification of the virtualization security.Simulation on the virtual environment indicates that this method is feasible and applicable.