基于操作语义的磁臂隐通道分析

• 作者: 刘志锋 李沛 鞠时光
• 来源期刊: 计算机应用研究
• 关键词: 隐通道 磁臂隐通道 信息传导 结构化操作语义
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 信息安全
• 页码范围: 157-160
• 页数: 4页
• 分类号: TP309.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2007.11.047

摘要

深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电梯调度算法的推导规则;根据推导规则得到进程抽象机所有状态以及进程抽象机状态的动态变化历史,这样就构成完整的信息传导操作语义模型.研究与分析两个高低安全级进程抽象机状态变迁及状态变迁序列,从而找到其中存在的磁臂隐通道.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	鞠时光	江苏大学计算机科学与通信工程学院	159	1685	21.0	34.0
2	刘志锋	江苏大学计算机科学与通信工程学院	29	118	5.0	10.0
3	李沛	江苏大学计算机科学与通信工程学院	6	13	3.0	3.0