具有动态变化秘密的广义当前状态不透明性
系统与控制
2021-03-02 v1 系统与控制
摘要
不透明性作为与系统隐私和安全相关的信息流属性，已在离散事件系统背景下被广泛研究。尽管已提出多种不透明性概念，但所有情形中考虑的秘密均为常量。本文聚焦当前状态不透明性，考虑秘密随系统演化动态变化的场景。换言之，我们提出广义当前状态不透明性（GCSO）这一新概念，其相对于动态秘密模型而非常量秘密。此外，我们基于 GCSO-验证器构造给出验证 GCSO 的方法。最后给出一个实际示例以阐释所提概念及其验证方法。
引用
@article{arxiv.2103.00234,
title = {Generalized Current-State Opacity With Dynamically Changing Secrets},
author = {Dan You and Shouguang Wang and Carla Seatzu},
journal= {arXiv preprint arXiv:2103.00234},
year = {2021}
}