Description and Verifying of Security Policy Semantic Based on Ontology

摘要：

　　For the purpose of the description scope and verification capability faults existing in the policy semantic,a method to describe the semantic security policy based on ontology is presented.By defining the basic elements of the security policy,the relationship model between the ontology and the concept of security policy based on OWL is established,so as to construct the description framework of security policy semantic based on ontology.Through modeling in Protégé,the ontology model of authorization policy is reasoned and introducing first-order predicate description logic to the analysis and verification of it.Results show that the ontology-based semantic description of security policy has the better flexibility and practicality.

关键词： security policy ontology semantic description of policy the first-order predicate description logic

会议类型: 国内会议

会议名称: 第八届中国可信计算与信息安全学术会议

会议地点: 湖北恩施

会议语种:英文

页码: 1-7

在线出版日期: 2014-09-13（万方平台首次上网日期，不代表论文的发表时间）