| 基于操作语义的磁臂隐通道分析* |
| |
| 引用本文： | 刘志锋,鞠时光,李沛.基于操作语义的磁臂隐通道分析*[J].计算机应用研究,2007,24(11):157-160. |
| |
| 作者姓名： | 刘志锋 鞠时光 李沛 |
| |
| 作者单位： | 江苏大学,计算机科学与通信工程学院,江苏,镇江,212013 |
| |
| 摘 要： | 深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电梯调度算法的推导规则;根据推导规则得到进程抽象机所有状态以及进程抽象机状态的动态变化历史,这样就构成完整的信息传导操作语义模型.研究与分析两个高低安全级进程抽象机状态变迁及状态变迁序列,从而找到其中存在的磁臂隐通道.
|
| 关 键 词： | 隐通道 磁臂隐通道 信息传导 结构化操作语义 操作语义 隐通道分析 operational semantics based disk covert channels 存在 序列 状态变迁 安全级 语义模型 信息传导 构成 历史 态变化 有状态 规则 电梯调度算法 结构化 抽象机 |
| 文章编号： | 1001-3695（2007）11-0157-04 |
| 修稿时间： | 2006-09-01 |
Analysis of covert channels in disk arm based on operational semantics |
| |
| LIU Zhi feng,JU Shi guang,LI Pei.Analysis of covert channels in disk arm based on operational semantics[J].Application Research of Computers,2007,24(11):157-160. |
| |
| Authors: | LIU Zhi feng JU Shi guang LI Pei |
| |
| Abstract: | |
| |
| Keywords: | covert channel covert channels in disk arm information conduction structured operational semantics |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
