计算机科学 ›› 2007, Vol. 34 ›› Issue (10): 92-95.

• 软件工程与数据库技术 • 上一篇    下一篇

隐通道传递信息机理的研究

  

  • 出版日期:2018-11-16 发布日期:2018-11-16
  • 基金资助:
    本课题受到国家自然科学基金(编号;60573046)的资助.

  • Online:2018-11-16 Published:2018-11-16

摘要: 可信计算机系统中一些隐蔽数据流避开了安全机制的监控,造成信息的泄漏。本文通过对这种隐蔽流泄漏信息的机理进行分析和抽象,提出了一个通道元模型。将每一类通道元看成一个有限状态机,以Plotkin的结构化操作语义等为基础,计算出状态机的状态变化序列。通过对不满足隐通道定义的状态变迁序列的归纳,得到了抽象机中安全状态转移的约束条件,找出两个通道元通过共享客体泄露信息的工作机理,从而开发出一种基于操作语义的隐通道标识方法。对电梯调度算法模型进行实验,可有效地标识出存在的隐通道。

关键词: 隐通道 信息安全 安全模型

Abstract: Some covert information flow evades the inspection of security mechanism in trusted computer system, which results in information leakage. The atomic channel model was established by analyzing and abstracting the principle of covert information flow. A fi

Key words: Covert channel, Information security, Security model

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!