共 6 条
Semantic Description and Verification of Security Policy Based on Ontology
被引：1
作者：
TANG Chenghua
[1
]
WANG Lina
[1
]
TANG Shensheng
[2
]
QIANG Baohua
[1
,3
]
TIAN Jilong
[1
]
机构：
[1] Guangxi Experiment Center of Information Science, Guilin University of Electronic Technology
[2] Department of Engineering Technology, Missouri Western State University
[3] Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology
基金：
中国国家自然科学基金;
关键词：
security policy;
ontology;
semantic description of policy;
the first-order predicate description logic;
D O I：
暂无
中图分类号：
TP391.1 [文字信息处理];
TP393.08 [];
学科分类号：
081203 ;
0835 ;
0839 ;
1402 ;
摘要：
To solve the shortage problem of the semantic description scope and verification capability existed in the security policy,a semantic description method for the 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 the Web ontology language(OWL)is established,so as to construct the semantic description framework of the security policy.Through modeling and reasoning in the Protégé,the ontology model of authorization policy is proposed,and the first-order predicate description logic is introduced to the analysis and verification of the model.Results show that the ontology-based semantic description of security policy has better flexibility and practicality.
引用
收藏
页码：385 / 392
页数：8
相关论文