Opacity Enforcement by Insertion Functions under Energy Constraints

被引:6
作者
Ji, Yiding [1 ]
Yin, Xiang [2 ]
Lafortune, Stephan [1 ]
机构
[1] Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA
[2] Shanghai Jiao Tong Univ, Dept Automat, Shanghai, Peoples R China
基金
美国国家科学基金会;
关键词
Privacy; opacity enforcement; insertion function; partial observation; energy game; DISCRETE-EVENT SYSTEMS;
D O I
10.1016/j.ifacol.2018.06.315
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We investigate the enforcement of opacity by insertion functions, when the system has a certain amount of initial-credit energy for its operation and defense of secrets. The problem is formulated as a two-player game between the insertion function and the system (or environment) with an energy objective and asymmetric partial information. The insertion function must defend the secrets by inserting fictitious output events while guaranteeing that the energy level never drops below zero, under the worst-case scenario of system operation. The insertion function has only partial information about the system, due to unobservable events that affect the energy level. To resolve the partial observation, we construct a game structure called the Energy Insertion Structure (or EIS) that provably embeds insertion functions solving the proposed problem. (C) 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
引用
收藏
页码:291 / 297
页数:7
相关论文
共 23 条
[1]   Modelling Opacity Using Petri Nets [J].
Bryans, Jeremy W. ;
Koutny, Maciej ;
Ryan, Peter Y. A. .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 121 :101-115
[2]  
Cassandras C. G., 2008, INTRO DISCRETE EVENT
[3]   Synthesis of opaque systems with static and dynamic masks [J].
Cassez, Franck ;
Dubreil, Jeremy ;
Marchand, Herve .
FORMAL METHODS IN SYSTEM DESIGN, 2012, 40 (01) :88-115
[4]  
Cassez F, 2009, LECT NOTES COMPUT SC, V5576, P21, DOI 10.1007/978-3-642-02617-1_3
[5]   Concurrent reachability games [J].
de Alfaro, Luca ;
Henzinger, Thomas A. ;
Kupferman, Orna .
THEORETICAL COMPUTER SCIENCE, 2007, 386 (03) :188-217
[6]  
Degorre A, 2010, LECT NOTES COMPUT SC, V6247, P260, DOI 10.1007/978-3-642-15205-4_22
[7]   Supervisory Control for Opacity [J].
Dubreil, Jeremy ;
Darondeau, Philippe ;
Marchand, Herve .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (05) :1089-1100
[8]   Enforcement and validation (at runtime) of various notions of opacity [J].
Falcone, Ylies ;
Marchand, Herve .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2015, 25 (04) :531-570
[9]  
Jacob R., 2016, ANN REV CONTROL
[10]  
Keroglou C., 2017, DISCRETE EVENT DYNAM