Non-interference enforcement in bounded Petri nets

被引：0
|
作者：
Basile, Francesco [1 ]
De Tommasi, Gianmaria [2 ]
Sterle, Claudio [2 ]
机构：
[1] Univ Salerno, DIEM, I-84084 Fisciano, Italy
[2] Univ Napoli Federico II, DIETI, Via Claudio 21, I-80125 Naples, Italy
来源：
2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC) | 2018年
关键词：
Non-interference; system security; Petri nets; DES; ILP problems; DIAGNOSABILITY; OPACITY;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we first extend an approach recently presented by the authors, to check non-interference in discrete event systems modeled using Petri nets. The proposed technique is based on the solution of integer linear programming optimization problems. A new version of the analysis result is given in this paper, which does not require anymore the acyclicity of the subnet induced by the low-level transitions. Then, the main contribution of this paper, an algorithm that enforces non-interference by selecting offline the smallest subset of high-level transitions to be disabled, is presented.
引用
收藏
页码：4827 / 4832
页数：6
相关论文
共 50 条
  • [1] Non-interference assessment in bounded Petri nets via Integer Linear Programming
    Basile, E.
    De Tommasi, G.
    2018 ANNUAL AMERICAN CONTROL CONFERENCE (ACC), 2018, : 3056 - 3061
  • [2] Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets
    Basile, Francesco
    De Tommasi, Gianmaria
    IEEE CONTROL SYSTEMS LETTERS, 2021, 5 (04): : 1151 - 1156
  • [3] 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
  • [4] Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets
    Bernardinello, Luca
    Kilinc, Gorkem
    Pomello, Lucia
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI, 2016, 9930 : 49 - 70
  • [5] Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets
    Ran, Ning
    Hao, Jinyuan
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (10) : 5541 - 5547
  • [6] An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
    Basile, Francesco
    Boccia, Maurizio
    De Tommasi, Gianmaria
    Motta, Carlo
    Sterle, Claudio
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2022, 44
  • [7] Codiagnosability Enforcement in Labeled Petri Nets
    Ran, Ning
    Li, Tingting
    He, Zhou
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (04) : 2436 - 2443
  • [8] Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph
    Ran, Ning
    Nie, Jingyao
    Meng, Aiwen
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (10) : 7159 - 7165
  • [9] Diagnosability analysis of bounded Petri nets
    Ran, Ning
    Hao, Jinyuan
    He, Zhou
    Seatzu, Carla
    2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2018, : 1145 - 1148
  • [10] Assessment of Multilevel Intransitive Non-Interference for Discrete Event Systems
    Basile, Francesco
    De Tommasi, Gianmaria
    IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 349 - 354
12345