计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
10期
152-154,172
,共4页
逻辑规则%控制模型%授权%代理
邏輯規則%控製模型%授權%代理
라집규칙%공제모형%수권%대리
在任何一个安全系统中,存取控制都是一个极为重要的问题.本文提出一个基于逻辑程序设计的方法来管理非集中式的授权及其代理.在这个系统中,允许用户代理管理权限、授权或禁止其他用户使用某些存取权限.给出一组独立于论域的规则来实现代理正确性、解决冲突和沿着主体、客体及存取权限层次结构的授权传递,其基本思想是将这些一般规则与用户定义的一组与论域相关的特殊规则结合起来,以推导出系统中成立的所有授权.此外,还给出一些语义性质.
在任何一箇安全繫統中,存取控製都是一箇極為重要的問題.本文提齣一箇基于邏輯程序設計的方法來管理非集中式的授權及其代理.在這箇繫統中,允許用戶代理管理權限、授權或禁止其他用戶使用某些存取權限.給齣一組獨立于論域的規則來實現代理正確性、解決遲突和沿著主體、客體及存取權限層次結構的授權傳遞,其基本思想是將這些一般規則與用戶定義的一組與論域相關的特殊規則結閤起來,以推導齣繫統中成立的所有授權.此外,還給齣一些語義性質.
재임하일개안전계통중,존취공제도시일개겁위중요적문제.본문제출일개기우라집정서설계적방법래관리비집중식적수권급기대리.재저개계통중,윤허용호대리관리권한、수권혹금지기타용호사용모사존취권한.급출일조독립우론역적규칙래실현대리정학성、해결충돌화연착주체、객체급존취권한층차결구적수권전체,기기본사상시장저사일반규칙여용호정의적일조여론역상관적특수규칙결합기래,이추도출계통중성립적소유수권.차외,환급출일사어의성질.