基于操作语义的时间隐通道分析  

Analysis of covert timing channels based on operational semantics

作　　者：戴梅[1] 孙国强[1] 刘志锋[2] 

机构地区：[1]上海理工大学计算机与电气学院,上海200093 [2]江苏大学 计算机科学与通信工程学院,江苏镇江212013

出　　处：《计算机工程与设计》2009年第7期1593-1595,1599,共4页Computer Engineering and Design

摘　　要：主要讨论了计算机信息安全领域中比较热点的话题——基于操作语义的时间隐通道。根据隐通道中的时间隐通道的特点和存在的最小条件,针对其特点提出了一种搜索方法。该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等推导规则为基础,以及完整的信息传导操作语义的模型,分析了两个高低安全级进程抽象机状态变化及其状态动态变化序列,最后对可视窗口的分析,可以找到其中存在的时间隐通道。More hot topic is discussed in the field of computer information security --covert timing channels based on operational semantics. According to its characteristicsandexisting condition of coverttimingchannel in covertchannel, then the methods ofsearching based on its characteristics is proposed. The methods of searching considers process as an abstract machine, based on the reasoning rules of Plotkin＇ s structured operational semantics, and the integral information conduction operational semantics model. The states transformation and transformation sequences of two high and low security levels of the abstract machine are analyzed, and finally studying visual windows, then find the exsting covert timing channel.

关 键 词：隐通道 时间隐通道 抽象机 信息传导 结构化操作语义 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]