Information-flow Interfaces and Security Lattices
<|reference_start|>Information-flow Interfaces and Security Lattices: 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.<|reference_end|>
@article{bartocci2024information-flow,
    title={Information-flow Interfaces and Security Lattices},
    author={Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic and Ana Oliveira da
  Costa},
    journal={arXiv preprint arXiv:2406.14374},
    year={2024},
    archivePrefix={arXiv},
    eprint={2406.14374},
    primaryClass={cs.FL}
}