期刊
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
卷 66, 期 12, 页码 5802-5815出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TAC.2020.3044853
关键词
Firing; Petri nets; Observers; Probabilistic logic; Security; Markov processes; Timing; Discrete-event systems; Petri nets; privacy; stochastic processes
资金
- Project MRT MADNESS 2016-2019
- European Union
- European Regional Development Fund (ERDF)
- Regional Council of Normandie
This article introduces and analyzes opacity exposure and opacity revelation times as measures of vulnerability in timed discrete event systems, providing insights into the behavior of such systems in the face of potential intruders.
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据