基于操作语义的磁臂隐通道分析

刘志锋; 鞠时光; 李沛

首页> 中文期刊> 《计算机应用研究》 >基于操作语义的磁臂隐通道分析

基于操作语义的磁臂隐通道分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电梯调度算法的推导规则;根据推导规则得到进程抽象机所有状态以及进程抽象机状态的动态变化历史,这样就构成完整的信息传导操作语义模型.研究与分析两个高低安全级进程抽象机状态变迁及状态变迁序列,从而找到其中存在的磁臂隐通道.

著录项

来源
《计算机应用研究》 |2007年第11期|157-160|共4页
作者
刘志锋; 鞠时光; 李沛;
展开▼
作者单位

江苏大学;

计算机科学与通信工程学院;

江苏;

镇江;

212013;

江苏大学;

计算机科学与通信工程学院;

江苏;

镇江;

212013;

江苏大学;

计算机科学与通信工程学院;

江苏;

镇江;

212013;

展开▼
原文格式 PDF
正文语种 chi
中图分类数据安全;
关键词
隐通道; 磁臂隐通道; 信息传导; 结构化操作语义;

相似文献

中文文献
外文文献
专利

1. 基于操作语义的时问隐通道分析 [J] . 戴梅 ,孙国强 ,刘志锋 . 计算机工程与设计 . 2009,第007期
2. 磁臂隐通道的分析与研究 [J] . 王元珍 ,毛中权 ,朱虹 . 计算机工程 . 2000,第003期
3. 基于信息熵的隐通道能力分析 [J] . 陈立 ,鞠时光 ,周从华 . 计算机应用研究 . 2009,第008期
4. 基于信息流图的隐通道分析技术研究 [J] . 崔宾阁 ,刘大昕 . 哈尔滨工程大学学报 . 2006,第005期
5. 基于隐式Lyapunov函数的一类不确定性机械臂位置控制方法 [J] . 郭宇飞 ,侯保林 . 南京理工大学学报（自然科学版） . 2013,第003期
6. 基于操作依赖规则发现的MLS-DBMS隐通道检测方法 [C] . 张敏 ,何永忠 ,冯登国 . 第二十二届中国数据库学术会议 . 2005
7. 基于静态分析的隐通道检测 [A] . 王运 . 2010

基于操作语义的磁臂隐通道分析

摘要

著录项

相似文献

相关主题

期刊订阅