Information-flow Interfaces and Security Lattices

2024/06/20 by Bartocci, Ezio, Henzinger, Thomas A., Nickovic, Dejan +1
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)

paper · doi:10.48550/arxiv.2406.14374

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.

Related

• Secure Information Flow Connections
• Only Connect, Securely
• The order-theoretical foundation for data flow security
• Information-Flow Interfaces
• Security theory for data flow and access control: From partial orders to lattices and back, a half-century trip