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] A survey on non-interference with Petri nets
    Busi, N
    Gorrieri, R
    LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 328 - 344
  • [2] 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
  • [3] 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
  • [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] Positive non-interference in elementary and trace nets
    Busi, N
    Gorrieri, R
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 1 - 16
  • [7] Structural non-interference in elementary and trace nets
    Busi, Nadia
    Gorrieri, Roberto
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009, 19 (06) : 1065 - 1090
  • [8] Bounded Model Checking of Speculative Non-Interference
    Pescosta, Emmanuel
    Weissenbacher, Georg
    Zuleger, Florian
    2021 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN (ICCAD), 2021,
  • [9] 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
  • [10] 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
12345