@inbook{20723,
  abstract     = {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.},
  author       = {Bartocci, Ezio and Henzinger, Thomas A and Nickovic, Dejan and Oliveira da Costa, Ana},
  booktitle    = {Engineering Safe and Trustworthy Cyber Physical Systems},
  isbn         = {9783031975363},
  issn         = {1611-3349},
  pages        = {251--263},
  publisher    = {Springer Nature},
  title        = {{Information-Flow Interfaces and Security Lattices}},
  doi          = {10.1007/978-3-031-97537-0_15},
  volume       = {15471},
  year         = {2025},
}