2 papers
cs.FL2024
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…
cs.FL2020
Information-Flow Interfaces
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger +2
Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are const…