Research On The Prototype System Of Hermit Reasoner And Ontology Modeling And Analysis Of Classified Security Protection

Since mankind entered the information age,information technology is experiencing rapid development and a wide variety of information systems emerge in endlessly.Information technology brings convenience to information management in various fields,however,at the same time it brings security problems that can't be ignored.The information security classified protection in our country is intended to protect information system according to their importance and the actual security requirements and ensure the security of information system,and promote the healthy development of information construction.In order to share and reuse the knowledge of classified protection and simplify the work of safety assessment,we need to formalize and standardized the information security classified protection.The concept of network ontology solves this problem well.Using ontology to formalize the information security classified protection is good to express the logical relationship between complex concept and judge the consistency and inclusions of the contents in classified protection.At the same time,in the process of ontology modeling of the information security classified protection,we found that the original concept of ontology and description logic concepts are not succinct for some descriptions which may lead to the result that the ontology model is not easy to understand and the reasoner can't work efficiently.Therefore,this paper attempts to introduce some new description logic rules which meet some detailed requirements of description.On the basis of these rules,this paper does some exploration for the expansion of the reasoner through the research of the internal logic structure in reasoner.Firstly,this paper constructs an ontology modeling system which is to formally describe the statement in the basic requirements for classified protection through studying and comparing the basic requirements of the classified protection and constructs an ontology model of the classified protection.Then through specific examples,this paper introduce the procedure of the level grading based on ontology model and get the result of level grading through the reasoning carried out by the Hermit reasoner.Finally,this paper does a research of the Hermit reasoner and introduces the overall structure,reasoning process and the core rules for reasoning of the Hermit.Lastly,we do an exploration for the expansion of the reasoner.