小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2007年
9期
1710-1714
,共5页
李瑞轩%赵战西%文坤梅%孙小林%王治纲
李瑞軒%趙戰西%文坤梅%孫小林%王治綱
리서헌%조전서%문곤매%손소림%왕치강
多域%访问控制%策略集成%本体%描述逻辑
多域%訪問控製%策略集成%本體%描述邏輯
다역%방문공제%책략집성%본체%묘술라집
本体是共享概念模型的形式化规范说明,是一种能在语义和知识层次上描述信息系统概念模型的建模工具,为解决多域环境中的安全互操作提供了一种新的方法.使用本体及其描述语言,对基于角色的访问控制策略进行了描述,形成一个概念和属性的公理集合(TBox),并采用ALCN(含有个数限制和补算子的描述逻辑语言)对TBox进行形式化的描述.利用域间角色映射方法来解决多域访问控制策略的集成.使用基于规则的推理技术,定义多域访问控制中的一系列推理规则,实现访问控制领域的推理.基于前述方法实现了OntoAC系统,实验结果表明该方法是有效的.
本體是共享概唸模型的形式化規範說明,是一種能在語義和知識層次上描述信息繫統概唸模型的建模工具,為解決多域環境中的安全互操作提供瞭一種新的方法.使用本體及其描述語言,對基于角色的訪問控製策略進行瞭描述,形成一箇概唸和屬性的公理集閤(TBox),併採用ALCN(含有箇數限製和補算子的描述邏輯語言)對TBox進行形式化的描述.利用域間角色映射方法來解決多域訪問控製策略的集成.使用基于規則的推理技術,定義多域訪問控製中的一繫列推理規則,實現訪問控製領域的推理.基于前述方法實現瞭OntoAC繫統,實驗結果錶明該方法是有效的.
본체시공향개념모형적형식화규범설명,시일충능재어의화지식층차상묘술신식계통개념모형적건모공구,위해결다역배경중적안전호조작제공료일충신적방법.사용본체급기묘술어언,대기우각색적방문공제책략진행료묘술,형성일개개념화속성적공리집합(TBox),병채용ALCN(함유개수한제화보산자적묘술라집어언)대TBox진행형식화적묘술.이용역간각색영사방법래해결다역방문공제책략적집성.사용기우규칙적추리기술,정의다역방문공제중적일계렬추리규칙,실현방문공제영역적추리.기우전술방법실현료OntoAC계통,실험결과표명해방법시유효적.