Information-flow Interfaces and Security Lattices
Formal Languages and Automata Theory
2024-06-21 v1
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.
Keywords
Cite
@article{arxiv.2406.14374,
title = {Information-flow Interfaces and Security Lattices},
author = {Ezio Bartocci and Thomas A. Henzinger and Dejan Nickovic and Ana Oliveira da Costa},
journal= {arXiv preprint arXiv:2406.14374},
year = {2024}
}