Description and Verifying of Security Policy Semantic Based on Ontology

来源 :第八届中国可信计算与信息安全学术会议 | 被引量 : 0次 | 上传用户:fastal
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  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.
其他文献
  Securitvsituation evaluation has become a hot topic in the network securitv area in recent years.Considering the existing situational evaluation methods in
会议
基于用户偏好的服务评估与选择是当前服务计算研究领域的热点之一.目前已有的服务评估方法并不能较好解决用户偏好可能存在的模糊性、不确定性、不完整性问题,也较少考虑用户
会议
健康长寿是人类永恒的追求,近些年来,由于物质生活水平的不断提高,人们对健康的追求标准也有了明显的提高,由原来被动治疗提升到了主动预防、追求健康长寿、追求提高生命品质上来了。这是人们在健康观念上的个新的飞跃。  股票有价,健康无价。一个善养生的人在50岁的时候,看上去像40岁甚至30岁,不仅仅有30岁的皮肤,而且有30岁人那样的五脏。而个不懂得爱惜自己的人,在50岁的时候,看上去像60岁甚至是70岁
Web服务具有开放性、高度动态性、松散耦合性及跨平台性等特点,传统的访问控制方式己不能满足其跨域访问的安全需求.本文通过集成信任管理及可信平台度量扩展了XACML访问控制
会议
  The security of computer always depends on ID-password pair to perform identity authentication for users.while users need to consider the mediation between
会议
搞好休眠期和萌芽期病虫害是全年梨园植保的基础。江汉平原地区,梨休眠期为11月下旬至翌年2月中旬,萌芽期为2月下旬至3月中旬。1休眠期和萌芽期病虫特点 在田间落叶中越冬的病菌有梨
目的 探讨早期康复护理在脑梗死患者护理中的应用以及对神经功能恢复的影响.方法 选择在我院诊疗的200例脑梗死患者随机分为两组.对照组使用常规护理方法.研究组采用早期康复
我国经济建设处于飞快发展的进程之中,对电力的需求直线提升,这对电力设备是一个极大的考验.本文主要讲述了变电运行设备的维护工作,探讨了在运行过程中因电力短路、外力因素
┏━━━┳━━━━┳━━━━━┳━━━━━━━━━━━┳━━━┳━━━┳━━━━┳━━━━━┳━━━━━━━━━━━━━━┳━━━┓┃调整 ┃ ┃ ┃ ┃初始 ┃调
在松下M系列摄像机中,同一块电路板上可能有几部分电路。同一功能的电路用统一的系列编号,这样既便于电路图的识别,也便于维修时查找各电路部位和元件。如摄像机系统控制部