| 一种多级安全系统模型的隐通道流量分析 |
| |
| 引用本文： | 杨向荣,沈钧毅,宋擒豹. 一种多级安全系统模型的隐通道流量分析[J]. 西安交通大学学报, 2002, 36(10): 1075-1078 |
| |
| 作者姓名： | 杨向荣 沈钧毅 宋擒豹 |
| |
| 作者单位： | 西安交通大学电子与信息工程学院,710049,西安 |
| |
| 基金项目： | 国家自然科学基金资助项目 (60 1 730 58) . |
| |
| 摘 要： | 利用Markov状态机形式化地描述了一种多级的，基于模式转换的安全系统模型，该模型利用系统可分分性构筑，将一个多级的安全系统划分成多个运行模式，利用该模式可提高所设计系统的灵活性，但该模型存在隐通道问题，利用香农信息论和广义图灵测试模型证明该模型中隐通道流量存在上限并给出定量分析，从而为达到可控的系统安全性和灵活性平衡提供了理论基础，采用该系统模型和隐通道流量分析，通过限制模式转换频率和限制参与转换的资源数目等方法可控制隐通道隐患。
|
| 关 键 词： | 多级安全系统模型 流量分析 计算机安全 隐通道流量 模式转换 香农信息论 广义图灵测试模型 |
| 文章编号： | 0253-987X(2002)10-1075-04 |
| 修稿时间： | 2002-03-11 |
Capacity Analysis of Multilevel Security System''''s Covert Channel |
| |
| Yang Xiangrong,Shen Junyi,Song Qinbao. Capacity Analysis of Multilevel Security System''''s Covert Channel[J]. Journal of Xi'an Jiaotong University, 2002, 36(10): 1075-1078 |
| |
| Authors: | Yang Xiangrong Shen Junyi Song Qinbao |
| |
| Abstract: | |
| |
| Keywords: | computer security multilevel security system covert channel bandwidth mode transition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
