计算机科学与探索
計算機科學與探索
계산궤과학여탐색
JOURNAL OF FRONTIERS OF COMPUTER SCIENCE & TECHNOLOGY
2011年
10期
140-144
,共5页
韩道军%黄泽龙%翟浩良%李磊
韓道軍%黃澤龍%翟浩良%李磊
한도군%황택룡%적호량%리뢰
访问控制%逻辑合一%规则描述
訪問控製%邏輯閤一%規則描述
방문공제%라집합일%규칙묘술
现有的访问控制规则描述方式不易表达一类主体、客体间具有包含关系的访问控制规则.针对此问题,提出一种基于逻辑中合一思想的算法.算法首先将访问控制请求转换为逻辑提问,同时根据逻辑回答给出相应的访问控制请求应答；然后使用事实描述访问控制规则中的各个要素,并通过在系统运行过程中对非ground事实的变量的动态例化实现灵活的访问控制.最后,通过一个实例及分析说明了算法的有效性.
現有的訪問控製規則描述方式不易錶達一類主體、客體間具有包含關繫的訪問控製規則.針對此問題,提齣一種基于邏輯中閤一思想的算法.算法首先將訪問控製請求轉換為邏輯提問,同時根據邏輯迴答給齣相應的訪問控製請求應答；然後使用事實描述訪問控製規則中的各箇要素,併通過在繫統運行過程中對非ground事實的變量的動態例化實現靈活的訪問控製.最後,通過一箇實例及分析說明瞭算法的有效性.
현유적방문공제규칙묘술방식불역표체일류주체、객체간구유포함관계적방문공제규칙.침대차문제,제출일충기우라집중합일사상적산법.산법수선장방문공제청구전환위라집제문,동시근거라집회답급출상응적방문공제청구응답；연후사용사실묘술방문공제규칙중적각개요소,병통과재계통운행과정중대비ground사실적변량적동태례화실현령활적방문공제.최후,통과일개실례급분석설명료산법적유효성.
