%0 Journal Article
%T Analysis of covert channels in disk arm based on operational semantics<br>基于操作语义的磁臂隐通道分析
%A LIU Zhi-feng
%A JU Shi-guang
%A LI Pei
%A <br>刘志锋
%A 鞠时光
%A 李沛
%J 计算机应用研究
%D 2007
%I 
%X 深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电梯调度算法的推导规则;根据推导规则得到进程抽象机所有状态以及进程抽象机状态的动态变化历史,这样就构成完整的信息传导操作语义模型.研究与分析两个高低安全级进程抽象机状态变迁及状态变迁序列,从而找到其中存在的磁臂隐通道.
%K covert channel
%K covert channels in disk arm
%K information conduction
%K structured operational semantics<br>隐通道
%K 磁臂隐通道
%K 信息传导
%K 结构化操作语义
%K 操作语义
%K 隐通道分析
%K operational
%K semantics
%K based
%K disk
%K covert
%K channels
%K 存在
%K 序列
%K 状态变迁
%K 安全级
%K 语义模型
%K 信息传导
%K 构成
%K 历史
%K 态变化
%K 有状态
%K 规则
%K 电梯调度算法
%K 结构化
%K 抽象机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=C793235A4E87B8F62FFF3B71A6102FF5&yid=A732AF04DDA03BB3&vid=B91E8C6D6FE990DB&iid=708DD6B15D2464E8&sid=0B4F496D54044D86&eid=1B97AE5098AEB49C&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=19