检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机工程与应用》2006年第1期74-76,共3页Computer Engineering and Applications
基 金:国家"十五"攻关资助项目(编号:2002BA103A04)
摘 要:论文给出了在角色访问控制系统中实现职责分离的方法,在基本模型的基础上,形式化地描述了静态和动态的职责分离的原则及保证职责分离的需求得到满足的安全状态。在讨论了角色之间共享权限的约束关系后,从安全状态和互斥规则的关系这个角度给出了维持安全状态的充分条件和必要条件,并加以证明。The article describes a means-mutual exclusion of roles-that implementing separation of duty in role-based access control system.Based on basic model,the article specifies formally for rules of static and dynamic separation of duty,and safety condition ensure separation of duty requirements are not violated.After discussing the degree to which privileges are shared between roles,the article gives the sufficient condition and the necessary condition to maintain the safety condition and proofs them.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.112