全系统一体的访问控制保障模型

摘要：

针对云平台各访问控制点的访问控制机制难以有效联动问题,提出了全系统一体的访问控制保障模型.形式化定义了访问请求支撑关系,给出了基于模型的访问控制保障算法和安全定理,通过访问请求语义的传递,实现了全系统访问控制机制的联动,保证了访问请求信息的可信传递.

关键词： 云平台 访问控制保障模型 安全性分析

作者: 李瑜 赵勇 郭晓栋 刘国乐

作者单位: 国家保密科技测评中心,北京100044;北京工业大学计算机学院,北京100124;可信计算北京市重点实验室,北京100124 北京工业大学计算机学院,北京100124;可信计算北京市重点实验室,北京100124 国家保密科技测评中心,北京100044

会议类型: 国内会议

会议名称: 第八届信息安全漏洞分析与风险评估大会

会议地点: 北京

会议语种:中文

页码: 181-189

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