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 条
  • [41] Timed abstract non-interference
    Giacobazzi, R
    Mastroeni, I
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 289 - 303
  • [42] A Causal View on Non-Interference
    Baldan, Paolo
    Carraro, Alberto
    FUNDAMENTA INFORMATICAE, 2015, 140 (01) : 1 - 38
  • [43] Process algebra and non-interference
    Ryan, PYA
    Schneider, SA
    PROCEEDINGS OF THE 12TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, 1999, : 214 - 227
  • [44] Computational probabilistic non-interference
    Backes, M
    Pfitzmann, B
    COMPUTER SECURITY - ESORICS 2002, PROCEEDINGS, 2002, 2502 : 1 - 23
  • [45] Non-interference, who needs it?
    Ryan, P
    Mellon, C
    McLean, J
    14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2001, : 237 - 238
  • [46] ‘Non-interference’ implies equality
    Marco Mariotti
    Roberto Veneziani
    Social Choice and Welfare, 2009, 32 : 123 - 128
  • [47] Autonomy, Competence and Non-interference
    Roberts, Joseph T. F.
    HEC FORUM, 2018, 30 (03) : 235 - 252
  • [48] A symbolic algorithm for the synthesis of bounded Petri nets
    Carmona, J.
    Cortadella, J.
    Kishinevsky, M.
    Kondratyev, A.
    Lavagno, L.
    Yakovlev, A.
    APPLICATIONS AND THEORY OF PETRI NETS, 2008, 5062 : 92 - +
  • [49] Decomposition theorems for bounded persistent Petri nets
    Best, Eike
    Darondeau, Philippe
    APPLICATIONS AND THEORY OF PETRI NETS, 2008, 5062 : 33 - +
  • [50] Causality in Bounded Petri Nets is MSO Definable
    Oliveira, Mateus de Oliveira
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 : 200 - 214
12345