10.3969/j.issn.1002-137X.2007.05.026
带时间特性的BLP模型及其在Linux上的设计与实现
BLP(Bell&LaPadula)模型是用来在计算机系统内实施多级安全政策和自主安全政策的一种访问控制模型.本文将系统时间看成一个基本的安全要素,提出了带时间特性的BLP模型(BLP with Time Character:记为BLP_T),并将之形式化.BLP_T解决了主客体安全标记随时间的变化问题,以及主体可自主地决定其他的哪些主体可以在何时访问他拥有的客体.最后,将BLP_T应用于Linux,得到了一个原型.实验证明,该原型可以实现主客体安全标记时间特性、主体对客体的时间约束.BLP_T使得BLP模型呈现出环境敏感性.
信息安全、访问控制、BLP、带时间特性的BLP、时间约束
34
TP3(计算技术、计算机技术)
国家新技术研究发展基金863计划863-104-03-01;四川省科技攻关项目03GG007-007
2007-07-02(万方平台首次上网日期,不代表论文的发表时间)
共4页
92-95