Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems

被引：7

作者：

Lefebvre, Dimitri ^{[1
]}

Hadjicostis, Christoforos N. ^{[2
]}

机构：

[1] Univ Le Havre Normandie, GREAH Lab, F-76600 Le Havre, France

[2] Univ Cyprus, Dept Elect & Comp Engn, CY-1678 Nicosia, Cyprus

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2021年 / 66卷 / 12期

关键词：

Firing; Petri nets; Observers; Probabilistic logic; Security; Markov processes; Timing; Discrete-event systems; privacy; stochastic processes; INFINITE-STEP OPACITY; DETECTABILITY; VERIFICATION; MARKING;

D O I：

10.1109/TAC.2020.3044853

中图分类号：

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

学科分类号：

0812 ;

摘要：

Opacity is a security notion that focuses on determining whether a given system's behavior is kept secret to intruders. Various notions of opacity have received significant attention during the last decade including current state opacity and initial state opacity, which have been studied for deterministic and probabilistic systems in untimed contexts. In timed systems, opacity requirements may vary with time and one could also be interested in knowing the time duration for which opacity requirements are violated or preserved. The main contribution of this article is to introduce and analyze opacity exposure and opacity revelation times as measures of vulnerability in timed discrete event system (DES) that behave according to Markovian dynamics (i.e., at any given time, all enabled events are independent and distributed in time with exponential probability density functions). Labeled stochastic Petri nets (LSPNs) are used to model timed stochastic DESs, and appropriate constructions (involving current and initial state observers) are used to evaluate exposure and revelation times for a given LSPN.

引用

页码：5802 / 5815

页数：14

共 50 条

[31] Notions of security and opacity in discrete event systems
Saboori, Anooshiravan
Hadjicostis, Christoforos N.
PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 3101 - 3106
[32] On the history of diagnosability and opacity in discrete event systems
Lafortune, Stephane
Lin, Feng
Hadjicostis, Christoforos N.
ANNUAL REVIEWS IN CONTROL, 2018, 45 : 257 - 266
[33] Opacity formulations and verification in discrete event systems
Hadjicostis, C. N.
Keroglou, C.
2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
[34] An Information Theoretic Measure for Secrecy Loss in Stochastic Discrete Event Systems
Ibrahim, Mariam
Chen, Jun
Kumar, Ratnesh
PROCEEDINGS OF THE 2015 7TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMPUTERS AND ARTIFICIAL INTELLIGENCE (ECAI), 2015,
[35] Trajectory-observers of timed stochastic discrete event systems: Applications to privacy analysis
Lefebvre, Dimitri
Hadjicostis, Christoforos N.
2019 6TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT 2019), 2019, : 1078 - 1083
[36] On the diagnosability of decentralized, timed discrete event systems
Provan, G
PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 405 - 410
[37] Reconfigurable Timed Discrete-Event Systems
Macktoobian, Matin
2020 24TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2020, : 316 - 321
[38] The Complexity of Codiagnosability for Discrete Event and Timed Systems
Cassez, Franck
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 82 - 96
[39] Fault Diagnosis of Timed Discrete Event Systems
Gao, C.
Lefebvre, D.
Seatzu, C.
Li, Z.
Giua, A.
IFAC PAPERSONLINE, 2023, 56 (02): : 9612 - 9617
[40] The Complexity of Codiagnosability for Discrete Event and Timed Systems
Cassez, Franck
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (07) : 1752 - 1764

← 1 2 3 4 5 →