Noninterference Enforcement via Supervisory Control in Bounded Petri Nets

被引：19

作者：

Basile, Francesco ^{[1
]}

De Tommasi, Gianmaria ^{[2
]}

Sterle, Claudio ^{[2
]}

机构：

[1] Univ Salerno, DIEM, I-84084 Fisciano, Italy

[2] Univ Napoli Federico II, DIETI, I-80125 Naples, Italy

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2021年 / 66卷 / 08期

关键词：

Petri nets; Security; Supervisory control; Optimization; Interference; Decentralized control; Discrete-event systems; Integer linear programming (ILP) problems; Petri nets (PNs); noninterference; supervisory control; system security; OPACITY; SYSTEMS; MODELS; DIAGNOSABILITY;

D O I：

10.1109/TAC.2020.3024274

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Security of distributed control systems is affected by the presence of information leaks, which permit to external intruders to infer the state of the system itself. Noninterference deals with the absence of such leak paths in a dynamic system modeled as discrete-event system. For a system that presents information leaks, a supervisory control strategy to enforce noninterference is proposed in this article. The approach is based on the solution of optimization problems on a Petri net model of the system under investigation. The effectiveness of the proposed enforcement strategy is shown by means of illustrative examples.

引用

页码：3653 / 3666

页数：14

共 39 条

[1]

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

[2] Information leak detection in business process models: Theory, application, and tool support [J].

Accorsi, Rafael ;

Lehmann, Andreas ;

Lohmann, Niels .

INFORMATION SYSTEMS, 2015, 47 :244-257

[3] Analysis of information flow security in cyber-physical systems [J].

Akella, Ravi ;

Tang, Han ;

McMillin, Bruce M. .

INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, 2010, 3 (3-4) :157-173

[4]

[Anonymous], 2019, GLPK GNU LINEAR PROG

[5]

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

[6] Multilevel transitive and intransitive non-interference, causally [J].