Enforcing opacity by insertion functions under multiple energy constraints
Enforcing opacity by insertion functions under multiple energy constraints
复制标题
在多重能量约束下通过插入函数增强不透明度
DOI：
10.1016/j.automatica.2019.06.028
复制
发表时间：
2019-10
期刊：
影响因子：
6.4
通讯作者：
Stephane Lafortune
中科院分区：
文献类型：
--
作者：
Yiding Ji;Xiang Yin;Stephane Lafortune
本文研究了执行的不透明性插入功能受到多个定量约束捕获资源或能源的限制。有一个恶意的入侵者试图从它的观察推断系统的秘密。为了防止秘密的泄露，插入函数将虚构的事件插入到系统的输出中以混淆入侵者。系统初始化有几种类型的资源，称为能量。能量随着事件的发生而消耗或补充，而总是随着事件的插入而消耗。插入函数必须在确保每种类型的资源永远不会耗尽的同时实施不透明性。然后，这个问题被简化为插入函数和系统（环境）之间的两个玩家的游戏，具有适当定义的目标。提出了一种称为能量插入结构的博弈结构，表示为E I S，它可证明包含能量约束不透明度执行问题的解决方案。在此基础上，进一步研究了插入函数在E I S中获胜区域上的有界费用率插入问题，该问题要求插入费用的长期平均费用率有界。该问题被描述为一个多维平均支付博弈，并采用一种称为超平面分离技术的特殊方法来有效地解决该问题。
This paper investigates the enforcement of opacity by insertion functions subject to multiple quantitative constraints capturing resource or energy limitations. There is a malicious intruder attempting to infer secrets of the system from its observations. To prevent the disclosure of secrets, the insertion function inserts fictitious events to the output of the system to obfuscate the intruder. The system is initialized with several types of resources, referred to as energy. The energy is consumed or replenished with event occurrences while always consumed with event insertions. The insertion function must enforce opacity while ensuring that each type of resource is never depleted. This problem is then reduced to a two-player game between the insertion function and the system (environment), with properly defined objectives. A game structure called the Energy Insertion Structure, denoted by E I S is proposed, which provably contains solutions to the energy constrained opacity enforcement problem. Then we further study the bounded cost rate insertion problem on the insertion function’s winning region of E I S, which requires that the long run average rate of insertion cost be bounded. This problem is formulated as a multidimensional mean payoff game and a special method called hyperplane separation technique is applied to efficiently solve it.
登录
查看更多内容
DOI：
10.1017/s0305004100003844
发表时间：
1963-10
影响因子：
0.8
作者：
C. Nash-Williams
通讯作者：
C. Nash-Williams
影响因子：
6.8
作者：
Kuize Zhang;Xiang Yin;Majid Zamani
通讯作者：
Kuize Zhang;Xiang Yin;Majid Zamani
DOI：
10.1007/978-3-642-02617-1_3
发表时间：
2009-06
期刊：
--
影响因子：
--
作者：
F. Cassez
通讯作者：
F. Cassez
DOI：
10.1109/cdc.2007.4434515
发表时间：
2007-12
期刊：
2007 46th IEEE Conference on Decision and Control
影响因子：
--
作者：
A. Saboori;C. Hadjicostis
通讯作者：
A. Saboori;C. Hadjicostis
DOI：
10.1007/978-3-642-40184-8_35
发表时间：
2012-10
期刊：
J. Comput. Syst. Sci.
影响因子：
--
作者：
K. Chatterjee;Yaron Velner
通讯作者：
K. Chatterjee;Yaron Velner