Enforcement of Current-State Opacity in Signal Interpreted Petri Nets

被引：0
作者：
Koehler, Andreas [1 ]
Marijan, Pascal [1 ]
Zhang, Ping [1 ]
机构：
[1] Univ Kaiserslautern Landau, Inst Automat Control, D-67653 Kaiserslautern, Germany
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2024年 / 69卷 / 11期
关键词：
Actuators; Petri nets; Vectors; Iterative methods; Encryption; Automata; Supervisory control; Discrete event systems (DES); opacity; Petri nets (PNs); production systems;
D O I：
10.1109/TAC.2024.3412008
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This article proposes a new approach for the enforcement of current-state opacity in signal interpreted Petri nets (SIPN). In order to enforce current-state opacity in SIPNs, the properties of iterative firing and simultaneous firing of transitions are considered. To prevent the intruder from inferring the current marking, signals associated with the secret marking are compared to signals associated with alternative markings. This allows to determine which signals need to be encrypted to confuse the secret marking with markings leading to the secret marking, markings directly reachable from the secret marking or markings reachable from the premarking of the secret marking. The proposed approach applies to any system that can be described by an SIPN.
引用
收藏
页码：8104 / 8111
页数：8
相关论文
共 50 条
  • [21] On the enforcement of a class of constraint in Petri nets
    Wu, WM
    Dong, LD
    Su, HY
    Chu, J
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 598 - 603
  • [22] The Complexity of Diagnosability and Opacity Verification for Petri Nets
    Berard, Beatrice
    Haar, Stefan
    Schmitz, Sylvain
    Schwoon, Stefan
    FUNDAMENTA INFORMATICAE, 2018, 161 (04) : 317 - 349
  • [23] Enforcing current-state opacity through shuffle and deletions of event observations
    Barcelos, Raphael Julio
    Basilio, Joao Carlos
    AUTOMATICA, 2021, 133
  • [24] Algebraic Structures in Interpreted Petri nets
    Renato Vazquez, Carlos
    Ramirez-Trevino, Antonio
    Navarro-Gutierrez, Manuel
    IFAC PAPERSONLINE, 2023, 56 (02): : 7893 - 7898
  • [25] Enforcing Diagnosability in Interpreted Petri Nets
    Hernandez-Rueda, K.
    Meda-Campana, M. E.
    Aramburo-Lizarraga, J.
    IFAC PAPERSONLINE, 2015, 48 (07): : 58 - 63
  • [26] Current-State Opacity Formulations in Probabilistic Finite Automata (vol 59, pg 120, 2014)
    Saboori, Anooshiravan
    Hadjicostis, Christoforos N.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (05) : 3480 - 3481
  • [27] A framework for current-state opacity under dynamic information release mechanism
    Hou, Junyao
    Yin, Xiang
    Li, Shaoyuan
    AUTOMATICA, 2022, 140
  • [28] Current-state opacity verification in discrete event systems using an observer net
    Labed, Abdeldjalil
    Saadaoui, Ikram
    Wu, Naiqi
    Yu, Jiaxin
    Li, Zhiwu
    SCIENTIFIC REPORTS, 2022, 12 (01):
  • [29] Fault Diagnosis in Discrete Event Systems Modeled by Signal Interpreted Petri Nets
    Koehler, Andreas
    Zhang, Ping
    IFAC PAPERSONLINE, 2023, 56 (02): : 4576 - 4581
  • [30] Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
    Basile, Francesco
    De Tommasi, Gianmaria
    Sterle, Claudio
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (08) : 3653 - 3666
12345