book chapter published yes Ezio Bartocci author Thomas A Henzinger author 40876CD8-F248-11E8-B48F-1D18A9856A870000-0002-2985-7724 Dejan Nickovic author 41BCEE5C-F248-11E8-B48F-1D18A9856A87 Ana Oliveira da Costa author f347ec37-6676-11ee-b395-a888cb7b4fb40000-0002-8741-5799 ToHe department Interface Theory for Security and Privacy project Vigilant Algorithmic Monitoring of Software project Information-flow interfaces is a formalism recently proposed for specifying, composing, and refining system-wide security requirements. In this work, we show how the widely used concept of security lattices provides a natural semantic interpretation for information-flow interfaces. Springer Nature2025 eng 0302-9743 1611-3349 9783031975363 2406.1437410.1007/978-3-031-97537-0_15 15471251-263 Bartocci E, Henzinger TA, Nickovic D, Oliveira da Costa A. 2025.Information-Flow Interfaces and Security Lattices. In: Engineering Safe and Trustworthy Cyber Physical Systems. LNCS, vol. 15471, 251–263. Bartocci E, Henzinger TA, Nickovic D, Oliveira da Costa A. Information-Flow Interfaces and Security Lattices. In: <i>Engineering Safe and Trustworthy Cyber Physical Systems</i>. Vol 15471. Cham: Springer Nature; 2025:251-263. doi:<a href="https://doi.org/10.1007/978-3-031-97537-0_15">10.1007/978-3-031-97537-0_15</a> E. Bartocci, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-Flow Interfaces and Security Lattices,” in <i>Engineering Safe and Trustworthy Cyber Physical Systems</i>, vol. 15471, Cham: Springer Nature, 2025, pp. 251–263. Bartocci, Ezio, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Information-Flow Interfaces and Security Lattices.” In <i>Engineering Safe and Trustworthy Cyber Physical Systems</i>, 15471:251–63. Cham: Springer Nature, 2025. <a href="https://doi.org/10.1007/978-3-031-97537-0_15">https://doi.org/10.1007/978-3-031-97537-0_15</a>. Bartocci, E., Henzinger, T. A., Nickovic, D., &#38; Oliveira da Costa, A. (2025). Information-Flow Interfaces and Security Lattices. In <i>Engineering Safe and Trustworthy Cyber Physical Systems</i> (Vol. 15471, pp. 251–263). Cham: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-97537-0_15">https://doi.org/10.1007/978-3-031-97537-0_15</a> E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, Engineering Safe and Trustworthy Cyber Physical Systems, Springer Nature, Cham, 2025, pp. 251–263. Bartocci, Ezio, et al. “Information-Flow Interfaces and Security Lattices.” <i>Engineering Safe and Trustworthy Cyber Physical Systems</i>, vol. 15471, Springer Nature, 2025, pp. 251–63, doi:<a href="https://doi.org/10.1007/978-3-031-97537-0_15">10.1007/978-3-031-97537-0_15</a>. 207232025-12-01T15:44:58Z2025-12-09T07:57:55Z