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

共 20 条

[1]

Accorsi R., 2011, P 2011 ACM S APPL CO, P308

[2]

[Anonymous], ACM Transactions on Information and System Security (TISSEC), DOI DOI 10.1145/290163.290168

[3]

[Anonymous], 2004, P IEEE INT S COMPUTE

[4]

Baldan Paolo, 2014, Application and Theory of Petri Nets and Concurrency. 35th International Conference, PETRI NETS 2014. Proceedings: LNCS 8489, P190, DOI 10.1007/978-3-319-07734-5_11

[5]

Basile E, 2018, P AMER CONTR CONF, P3056, DOI 10.23919/ACC.2018.8431241

[6] On K-diagnosability of Petri nets via integer linear programming [J].