Massimiliano Masi, Giovanni Paolo Sellitto, Helder Aranha, Tanja Pavleska. Formal Security Proof Assurance in Architecture Design for IT/OT Convergence. In Hans-Georg Fill, Yves Wautelet, Jolita Ralyté, Jelena Zdravkovic, editors, The Practice of Enterprise Modeling - 18th IFIP Working Conference, PoEM 2025, Geneva, Switzerland, December 3-5, 2025, Proceedings. Volume 570 of Lecture Notes in Business Information Processing, pages 298-307, Springer, 2025. [doi]
Abstract is missing.