用于强制离散事件系统分散与联合不透明性性质的插入函数综合
密码学与安全
2018-02-19 v1
摘要
不透明性是一种机密性性质，刻画了系统对外部观察者不泄露特定秘密信息的特征。在本文中，我们考虑在存在多个入侵者的离散事件系统形式化框架内强制不透明性。我们研究两种情况，一种为入侵者之间无协调，另一种为有协调。我们分别针对这两种情况提出了相应的不透明性概念，并基于插入函数的实现提出了这些不透明性性质的强制机制，该机制通过在必要时插入虚构的可观测事件来操纵系统的输出。当不存在协调时，插入机制被适配到分散框架中以强制不透明性。此外，我们提出了一种协调与精化过程，以综合适当的插入函数，在入侵者可能通过遵循基于交集的协调协议相互协调时强制不透明性。所提出的不透明性强制方法的有效性通过说明性示例得到了验证。
引用
@article{arxiv.1802.05728,
title = {Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems},
author = {Bo Wu and Jin Dai and Hai Lin},
journal= {arXiv preprint arXiv:1802.05728},
year = {2018}
}