4.7 Article

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

期刊

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

资金

  1. Project MRT MADNESS 2016-2019
  2. European Union
  3. European Regional Development Fund (ERDF)
  4. 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.

作者

我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

4.7
评分不足

次要评分

新颖性
-
重要性
-
科学严谨性
-
评价这篇论文

推荐

暂无数据
暂无数据