04 现在的位置:首页 > 期刊导读 > 2017 > 04 >

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

【作者】 李瑜 赵勇 郭晓栋 刘国乐    国家保密科技测评中心 北京100044 北京工业大学计算机学院 北京100124 可信计算北京市重点实验室 北京100124

【关键词】 云安全 访问控制 保障模型

摘要】针对云平台各访问控制点的访问控制机制难以有效联动问题,该文提出了全系统一体的访问控制保障模型。首先,形式化定义了访问请求的等价关系及支撑关系,对访问请求的本质进行了描述;其次,给出了基于模型的访问控制保障算法,形式化证明了算法能够实现可信的访问控制请求传递;最后,从云平台的网络层、云应用层和操作系统核心层给出了模型的工程实施方法。结果表明:通过访问请求语义的传递,模型实现了全系统访问控制机制的联动,保证了访问请求信息的可信传递。

上一篇:基于多项logit模型的在线机票代理商选择行为
下一篇:用于钒电池组自启动的双级高频隔离变流器

版权所有@清华大学  京公网安备 110402430053 号
地址:北京市海淀区清华园   邮政编码:100084