动态信息释放机制下的当前状态不透明性验证框架
系统与控制
2022-01-19 v2 形式语言与自动机理论
系统与控制
摘要
不透明性是一种重要的信息流安全属性，刻画了动态系统针对窃听攻击对其“秘密”的可否认性。作为信息流属性，底层观测模型是不透明性建模与分析的关键。本文研究离散事件系统在奥威尔式观测下的当前状态不透明性验证，即系统可基于事件的未来后缀重新解释该事件的观测。首先，我们提出一种称为动态信息释放机制（DIRM）的新型奥威尔式观测模型。在 DIRM 中，何时释放先前“暂扣”的事件依赖于状态。随后我们基于历史等价而非标准投影等价提出一种新的不透明性定义，该定义更适用于非前缀闭的观测。最后，我们展示通过构造称为 DIRM-观测器的新型结构，可在 DIRM 下有效验证当前状态不透明性。文中还给出了所提方法的计算复杂度分析及示例。与现有奥威尔式观测模型相比，所提框架更一般化，因其信息释放机制依赖于状态且相应的不透明性定义更适用于非前缀闭观测。
引用
@article{arxiv.2012.04874,
title = {A Framework for Current-State Opacity under Dynamic Information Release Mechanism},
author = {Junyao Hou and Xiang Yin and Shaoyuan Li},
journal= {arXiv preprint arXiv:2012.04874},
year = {2022}
}