摘要
主要讨论了计算机信息安全领域中比较热点的话题——基于操作语义的时间隐通道。根据隐通道中的时间隐通道的特点和存在的最小条件,针对其特点提出了一种搜索方法。该搜索方法将进程看作一个抽象机状态机,以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.
出处
《计算机工程与设计》
CSCD
北大核心
2009年第7期1593-1595,1599,共4页
Computer Engineering and Design
关键词
隐通道
时间隐通道
抽象机
信息传导
结构化操作语义
covert channel
covert timing channel
abstract machine
information conduction
structured operational semantics
