| 基于操作语义的时问隐通道分析 |
| |
| 引用本文： | 戴梅,孙国强,刘志锋.基于操作语义的时问隐通道分析[J].计算机工程与设计,2009,30(7). |
| |
| 作者姓名： | 戴梅 孙国强 刘志锋 |
| |
| 作者单位： | 1. 上海理工大学,计算机与电气学院,上海,200093
2. 江苏大学计算机科学与通信工程学院,江苏,镇江,212013 |
| |
| 摘 要： | 主要讨论了计算机信息安全领域中比较热点的话题--基于操作语义的时间隐通道.根据隐通道中的时间隐通道的特点和存在的最小条件,针对其特点提出了一种搜索方法,该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等推导规则为基础,以及完整的信息传导操作语义的模型,分析了两个高低安全级进程抽象机状态变化及其状态动态变化序列,最后对可视窗口的分析,可以找到其中存在的时间隐通道.
|
| 关 键 词： | 隐通道 时间隐通道 抽象机 信息传导 结构化操作语义 |
Analysis of covert timing channels based on operational semantics |
| |
| DAI Mei,SUN Guo-qiang,LIU Zhi-feng.Analysis of covert timing channels based on operational semantics[J].Computer Engineering and Design,2009,30(7). |
| |
| Authors: | DAI Mei SUN Guo-qiang LIU Zhi-feng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
