On-line verification of initial-state opacity by Petri nets and integer linear programming

被引：22

作者：

Cong, Xuya ^{[1
,2
]}

Fanti, Maira Pia ^{[2
]}

Mangini, Agostino Marcello ^{[2
]}

Li, Zhiwu ^{[1
,3
]}

机构：

[1] Xidian Univ, Sch Electromech Engn, 2 South Taibai Rd, Xian 710071, Shaanxi, Peoples R China

[2] Polytech Bari, Dept Elect & Informat Engn, I-70125 Bari, Italy

[3] Macau Univ Sci & Technol, Inst Syst Engn, Taipa, Macao, Peoples R China

来源：

ISA TRANSACTIONS | 2019年 / 93卷

关键词：

Initial-state opacity; Petri nets; Integer linear programming; DISCRETE-EVENT SYSTEMS; DIAGNOSABILITY;

D O I：

10.1016/j.isatra.2019.01.023

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper deals with a problem related to the observability of discrete event systems: the initial-state opacity. Given a set of system states (the secret), a system observation is called initial-state opaque if an agent (named intruder), who can partially observe the system, cannot determine whether the set of initial states consistent with an event sequence is included in the secret. Such a character can describe security problems in cyber-infrastructures, such as Internet and mobile communication networks or national defense service systems. This work presents a novel on-line methodology to verify the notion of initial-state opacity of discrete event systems that are modeled by labeled Petri nets. By working on-line, the intruder records an event and exploits integer linear programming problem for checking the initial-state opacity of the system's evolution under the given observation. A set of examples are shown to shed light on the efficiency of the presented methodology. (C) 2019 ISA. Published by Elsevier Ltd. All rights reserved.

引用

页码：108 / 114

页数：7

共 30 条

[11] On-line fault detection in discrete event systems by Petri nets and integer linear programming
Dotoli, Mariagrazia
Fanti, Maria Pia
Mangini, Agostino Marcello
Ukovich, Walter
[J]. AUTOMATICA, 2009, 45 (11) : 2665 - 2672
[12] GIUA A, 1992, 1992 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1 AND 2, P974, DOI 10.1109/ICSMC.1992.271666
[13] On the history of diagnosability and opacity in discrete event systems
Lafortune, Stephane
Lin, Feng
Hadjicostis, Christoforos N.
[J]. ANNUAL REVIEWS IN CONTROL, 2018, 45 : 257 - 266
[14] Constrained population extremal optimization-based robust load frequency control of multi-area interconnected power system
Lu, Kangdi
Zhou, Wuneng
Zeng, Guoqiang
Zheng, Yiyuan
[J]. INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, 2019, 105 : 249 - 271
[15] Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
Ma, Ziyue
Tong, Yin
Li, Zhiwu
Giua, Alessandro
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (03) : 1078 - 1093
[16] Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
Ma, Ziyue
Li, Zhiwu
Giua, Alessandro
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (07) : 1774 - 1785
[17] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS
MURATA, T
[J]. PROCEEDINGS OF THE IEEE, 1989, 77 (04) : 541 - 580
[18] An observer based approach for achieving fault diagnosis and fault tolerant control of systems modeled as hybrid Petri nets
Renganathan, K.
Bhaskar, VidhyaCharan
[J]. ISA TRANSACTIONS, 2011, 50 (03) : 443 - 453
[19] Observer based on-line fault diagnosis of continuous systems modeled as Petri nets
Renganathan, K.
Bhaskar, Vidhyacharan
[J]. ISA TRANSACTIONS, 2010, 49 (04) : 587 - 595
[20] Verification of initial-state opacity in security applications of DES
Saboori, Anooshiravan
Hadjicostis, Christoforos N.
[J]. WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 328 - 333

← 1 2 3 →