Synthesis of insertion functions for enforcement of opacity security properties

Abstract

Opacity is a confidentiality property that characterizes whether a ‘‘secret’’ of a system can be inferred by an outside observer called an ‘‘intruder’’. In this paper, we consider the problem of enforcing opacity in systems modeled as partially-observed finite-state automata. We propose a novel enforcement mechanism based on the use of insertion functions… (More)
DOI: 10.1016/j.automatica.2014.02.038

Topics

14 Figures and Tables

Statistics

0102030201520162017
Citations per Year

Citation Velocity: 15

Averaging 15 citations per year over the last 3 years.

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