Enforcement of Current-State Opacity in Signal Interpreted Petri Nets

• 成果类型: Article
• 署名作者: Koehler, Andreas; Marijan, Pascal; Zhang, Ping
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3412008
• 发表日期: 2024
• 页码: 8104-8111
• 关键词: actuators; Petri nets; vectors; iterative methods; encryption; Automata; Supervisory control; Discrete event systems (DES); opacity; Petri nets (PNs); production systems

摘要

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.