Research On Security Model Checking Method Of Virtual System Based On Ontology

In 21 century,IT business has a big development and growth,but the common information system also confronted with many challenges,such as high-energy consumption,long period of business launching,weak business continuity protection mechanism,long recovery time from malfunction,expensive cost of operation & maintenance management.In this circumstances,Cloud Computing comes into being.That means Virtualization Technology is gradually maturing,to higher performance and higher reliability.In specific area,there comes the Virtualization Resource Management and Cloud Management,which inclined to Fine Resources Management and Automation.Therefore,the study on the security of the Virtualized Cloud Computing has important practical significance.Virtualization technology is the key to cloud computing platforms for secure,virtualization system is essential to the security of cloud computing platform.This paper focuses on the Virtualization Level-security Protocols and the ontology-based virtualization system security model checksum,making some efforts on exploring the involvement of the Virtualization Security.The main research work of this paper can be summarized as follows.(1)Proposing a Virtualization Level-security Protocols oriented cloud platform.The Protocols make a description on the security requirements of the systems from five categories.These are Virtual Network Security,Host Security,Virtual Machine Manager Security,Data Security and Operation & Maintenance Security.As for those contents which are necessary complement for the routine checking of the security of the information system while are not included as control points in the security checking,this paper also tries to make some improvements.(2)Doing some research on the ontology-based security protocols OVLSS Modeling.For the common natural language expressions on national safety standards,this paper creates the description on the ontology-based security protocols,thus formalizes the protocols and uses Protégé completing the model.(3)Proposing a methods to check the Virtualization Level-security Protocols.According to the logic of the virtualization system modeling and the reasoning mechanisms of the security ontology,the paper compares the formalized control points one by one to find their intersection which are exactly the level requirements that the control points are in line with.(4)Finding a way to model the targeted virtualization system based on a cloud platform and using an example to examine its feasibility.To be specifically,this paper verifies certain infrastructure's practical program on virtualization solutions,thus the feasibility of the checksum is been verified.