基于操作语义的磁臂隐通道检测新方法

本文主要探讨了"基于操作语义的磁臂隐通道分析"这一课题，针对磁臂隐通道的产生机制及其检测困难性进行了深入剖析。磁臂隐通道是指在多任务操作系统环境中，由于硬件特性（如磁臂调度）导致的不同安全级别之间的信息泄露途径，通常在安全敏感的应用中是个严重问题。传统的基于系统顶级描述和源代码搜索的方法往往难以有效地识别这类隐通道。 作者们提出了一个创新的方法，即采用操作语义理论来研究磁臂隐通道。他们将磁臂调度过程中的进程视为一个抽象机，借鉴Plotkin的结构化操作语义，设计出了一套推导规则，用于描述和理解电梯调度算法的工作方式。通过这些规则，他们能够获取到进程抽象机的所有状态以及状态随时间变化的历史记录，从而构建了一个完整的信息传导操作语义模型。 在这个模型中，作者对两个具有不同安全级别的进程抽象机的状态变迁进行了详细研究和分析，特别关注了它们状态变迁序列之间的潜在联系。这种分析方法有助于揭示隐通道的存在，因为它能捕捉到那些不易察觉但实际传输信息的模式或路径。 本文的关键技术包括操作语义分析、进程抽象机的建模、以及状态变迁序列的解读。它强调了结构化操作语义在检测磁臂隐通道中的应用，表明这是一种有前景的新型隐通道检测手段，对于提高系统的安全性具有重要意义。 此外，该研究得到了国家自然科学基金项目的资助（项目编号60573046），由刘志锋、鞠时光和李沛三位研究人员共同完成。他们的研究不仅提升了对磁臂隐通道的理解，也为信息安全领域的研究者提供了一个新的研究视角和工具。 这篇论文为信息安全领域提供了对磁臂隐通道的一种新颖且有效的分析方法，为提高系统安全性实践中的隐通道防护策略提供了理论支持。