Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Information-flow Interfaces and Security Lattices

Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

TL;DR

This work shows how the widely used concept of security lattices provides a natural semantic interpretation for information-flow interfaces.

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.

Information-flow Interfaces and Security Lattices

TL;DR

This work shows how the widely used concept of security lattices provides a natural semantic interpretation for information-flow interfaces.

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.
Paper Structure (3 sections, 1 figure)

This paper contains 3 sections, 1 figure.

Table of Contents

  1. Introduction
  2. Background
  3. Information-Flow Contracts.

Figures (1)

  • Figure 1: An example of an automotive shared communication infrastructure specified with information-flow interfaces.