Information-flow Interfaces and Security Lattices

Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic +1

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 co…