基于无干扰原理的终端安全模型研究

基金项目: 国家863计划资助项目(2006AA01Z440)；国家973计划资助项目(2007CB311100,2007CB31307107)

详细信息

Research of Terminal Security Model Based on Noninterference

¹Institute of Electronic Technology,Information Engineering University,12 East Shangchen Road,Zhengzhou 450004,China;²The PLA Institute of Equipment and Command Technology,Huairou,Beijing 101416,China

Funds: 国家863计划资助项目(2006AA01Z440)；国家973计划资助项目(2007CB311100,2007CB31307107)

摘要: 终端是信息系统中所有安全风险的根源,借鉴无干扰信息流的思想,从终端的访问行为安全的角度提出一种无干扰的终端安全模型。模型以终端的访问行为为基本元素,详细讨论了访问行为安全应满足的条件,指出安全策略与隔离性是保障终端安全的根本,并在此基础上扩展到整个终端安全。
- 可信计算 /
- 终端安全 /
- 信息流 /
- 无干扰
Abstract: According to the theory of noninterference information flow,a kind of noninterference security model is put forward based on access security of terminal.The terminal access is the basic element of the model;and some security conditions of access are discussed in detail based on it;it is shown that the security policy and isolation are the root of terminal security.And it expands access security into all terminal security.
- trusted computing /
- terminal security /
- information flow /
- noninterference