用于不透明性实施的编辑函数综合的组合式与基于抽象的方法
密码学与安全
2019-10-02 v1 形式语言与自动机理论
摘要
本文提出了一种新颖的组合式且基于抽象的方法，用于在模块化离散事件系统中综合用于不透明性实施的编辑函数。编辑函数通过擦除或插入事件来改变系统的输出，以混淆外部入侵者，其后者的目标是从系统观测中推断系统的秘密。我们综合编辑函数以解决模块化环境下的不透明性实施问题，与整体式方法相比显著降低了计算复杂度。首先采用称为不透明观测等价和不透明互模拟的两种抽象方法来抽象模块化系统的各个组件及其观测器。随后，我们提出一种方法，将编辑函数的综合转化为模块化最大非阻塞监督器的计算。我们证明了以这种方式综合的编辑函数能正确解决不透明性实施问题。
引用
@article{arxiv.1910.00417,
title = {Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement},
author = {Sahar Mohajerani and Yiding Ji and Stephane Lafortune},
journal= {arXiv preprint arXiv:1910.00417},
year = {2019}
}