基于格的访问控制策略在RBAC中实现的形式化分析

摘要：

研究如何实现基于格的访问控制策略无论在安全理论领域还是在安全实践方面都是很有意义的。描述如何使用一个基于角色的访问控制(RBAC)模型来模拟摹于格的访问控制(LBAC)系统，如Bell-LaPadula和Biba；通过用代数的方法形式化RBAC和LBAC之间的关系，结果清楚地显示出有代表性的几种基于格的访问控制策略如何在RBAC中实现。

关键词： 访问控制 形式化分析 关系代数 控制策略 信息安全

作者: 张明生 张明义

作者单位: 贵州大学 计算机科学与技术学院，贵州 贵阳 550025;贵州民族学院，贵州 贵阳 550025 贵州师范大学，贵州 贵阳 550001;贵州科学院，贵州 贵阳 550001

会议类型: 国内会议

会议名称: 第一届中国计算机网络与信息安全学术会议

会议地点: 西安

会议语种:中文

页码: 1-5

在线出版日期: 2007-11-17（万方平台首次上网日期，不代表论文的发表时间）