一种多级安全系统模型的隐通道流量分析

• 作者: 宋擒豹 杨向荣 沈钧毅
• 来源期刊: 西安交通大学学报
• 关键词: 计算机安全 多级安全系统 隐通道流量 模式转换
• 年，卷（期）: 2002,（10）
• 页码范围: 1075-1078
• 页数: 4页
• 分类号: TP391
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2002.10.021

摘要

利用Markov状态机形式化地描述了一种多级的、基于模式转换的安全系统模型,该模型利用系统可分性构筑,将一个多级的安全系统划分成多个运行模式,利用该模型可提高所设计系统的灵活性,但该模型存在隐通道问题.利用香农信息论和广义图灵测试模型证明该模型中隐通道流量存在上限并给出定量分析,从而为达到可控的系统安全性和灵活性平衡提供了理论基础.采用该系统模型和隐通道流量分析,通过限制模式转换频率和限制参与转换的资源数目等方法可控制隐通道隐患.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈钧毅	西安交通大学电子与信息工程学院	211	4319	32.0	55.0
2	宋擒豹	西安交通大学电子与信息工程学院	41	1725	19.0	41.0
3	杨向荣	西安交通大学电子与信息工程学院	14	554	12.0	14.0