Abstract
When dealing with security and safety problems, Discrete Events Systems (DESs) could be a convenient way to model the behavior of distributed dynamical systems. Among the different DES mathematical tools, Petri Nets (PNs), by benefiting from a twofold representation, i.e. a graphical and a mathematical one, can be exploited for effectively tackling some security problems in the DES context such as the opacity one. This latter property is related to the capability of hiding a secret to external observers. When the secret is modeled by the initial marking (state) of a PN, the problem is known in literature as Initial-State Opacity (ISO). A DES is said to be ISO if, for every trajectory originating from a secret state, there exists another trajectory originated from a non-secret state, such that both of them are equivalent from an external observer (potentially malicious) point of view. Therefore, in an opaque system, such intruder can never determine whether the system started from a secret state or from a non-secret one. In this paper, leveraging the mathematical representation of PNs, we present a sufficient condition which permit to assess if a system is not opaque, by solving a feasibility problem with integer optimization variables. Specifically, the proposed approach starts from the ISO definition and, then, characterizes the aforementioned non-opacity condition as a set of linear constraints that, if not satisfied, imply the system to be not ISO.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The notation T ∗ denotes the Kleene closure of T (see [10, Ch. 2]).
References
GLPK (GNU Linear Programming Kit): https://www.gnu.org/software/glpk/ (2021). Accessed 12.01.2021
Alladi, T., Chamola, V., Zeadally, S.: Industrial control systems: Cyberattack trends and countermeasures. Computer Communications 155, 1–8 (2020)
Basile, F., Boussif, A., De Tommasi, G., Ghazel, M., Sterle, C.: Efficient diagnosability assessment via ILP optimization: a railway benchmark. In: 23rd IEEE International Conference on Emerging Technologies and Factory Automation, pp. 441–448, Torino, Italy, September 2018
Basile, F., Chiacchio, P., De Tommasi, G.: On \(\mathscr {K}\)-diagnosability of Petri nets via integer linear programming. Automatica 48(9), 2047–2058 (2012)
Basile, F., De Tommasi, G.: An algebraic characterization of language-based opacity in labeled Petri nets. IFAC-PapersOnLine 51(7), 329–336 (2018)
Basile, F., De Tommasi, G., Sterle, C.: Non-interference enforcement via supervisory control in bounded Petri nets. IEEE Trans. Autom. Control 66(8), 3653–3666 (2020)
Busi, N., Gorrieri, R.: A survey on non-interference with Petri nets. In: Lectures on Concurrency and Petri Nets, pp. 328–344 (2004)
Cabasino, M.P., Giua, A., Seatzu, C.: Introduction to Petri nets. Control of Discrete-Event Systems, pp. 191–211. Springer (2013)
Cao, L., et al.: A survey of network attacks on cyber-physical systems. IEEE Access 8, 44219–44227 (2020)
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer (2008)
García Vallés, F.: Contributions to the Structural and Symbolic Analysis of Place/Transition Nets with Applications to Flexible Manufacturing Systems and Asynchronous Circuits. Ph.D. thesis, Departamento de Informática e Ingeníeria de Sistemas, Centro Politecnico Superior, Universidad de Zaragoza, 1999
Jacob, R., Lesage, J.-J., Faure, J.-M.: Overview of discrete event systems opacity: Models, validation, and quantification. Annu. Rev. Control 41, 135–146 (2016)
Keroglou, C., Lafortune, S.: Embedded insertion functions for opacity enforcement. IEEE Trans. Autom. Control 66(9), 4184–4191 (2020)
Rashidinejad, A., et al.: Supervisory control of discrete-event systems under attacks: an overview and outlook. In: 2019 18th European Control Conference (ECC), pp. 1732–1739, Naples, Italy, June 2019
Saboori, A., Hadjicostis, C.N.: Opacity-enforcing supervisory strategies via state estimator constructions. IEEE Trans. Autom. Control 57(5), 1155–1165 (2011)
Tong, Y., Li, Z., Seatzu, C., Giua, A.: Decidability of opacity verification problems in labeled petri net systems. Automatica 80, 48–53 (2017)
Wu, Y.-C., Lafortune, S.: Comparative analysis of related notions of opacity in centralized and coordinated architectures. Discrete Event Dyn. Syst. 23(3), 307–339 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Tommasi, G.D., Motta, C., Petrillo, A., Santini, S. (2021). Optimization-Based Assessment of Initial-State Opacity in Petri Nets. In: Masone, A., Dal Sasso, V., Morandi, V. (eds) Optimization and Data Science: Trends and Applications. AIRO Springer Series, vol 6. Springer, Cham. https://doi.org/10.1007/978-3-030-86286-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-86286-2_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-86285-5
Online ISBN: 978-3-030-86286-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)