Algorithmic Verification of Noninterference Properties

Abstract

The paper discusses the problem of model checking a number of noninterference properties in finite state systems: noninterference, nondeducibility on inputs, generalized noninterference, forward correctability and restrictiveness. The complexity of these problems is characterized, and a number of possible heuristics for optimization of the model checking… (More)
DOI: 10.1016/j.entcs.2006.11.002

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Statistics

0102030201520162017
Citations per Year

Citation Velocity: 8

Averaging 8 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics