Optimal Synthesis of Insertion Functions for Opacity Enforcement
Yi-Chin Wu, Stephane Lafortune

Citation
Yi-Chin Wu, Stephane Lafortune. "Optimal Synthesis of Insertion Functions for Opacity Enforcement". Talk or presentation, 16, September, 2014.

Abstract
Our prior work has studied the enforcement of opacity security properties using insertion functions. Given a system that is not opaque, the so-called All Insertion Structure (AIS) is a game structure that embeds all valid insertion functions and can be used to synthesize a valid insertion function. In this work, we consider the synthesis of an optimal insertion function. Specifically, we solve two optimal synthesis problems, one with respect to the maximum total cost and the other one with respect to the maximum mean cost. We have also developed a test that determines if an insertion function with a finite total cost exists.

Electronic downloads

(No downloads are available for this publication.)

Citation formats

• HTML

  Yi-Chin Wu, Stephane Lafortune. <a
  href="http://www.terraswarm.org/pubs/373.html"
  ><i>Optimal Synthesis of Insertion Functions for
  Opacity Enforcement</i></a>, Talk or
  presentation,  16, September, 2014.

• Plain text

  Yi-Chin Wu, Stephane Lafortune. "Optimal Synthesis of
  Insertion Functions for Opacity Enforcement". Talk or
  presentation,  16, September, 2014.

• BibTeX

  @presentation{WuLafortune14_OptimalSynthesisOfInsertionFunctionsForOpacityEnforcement,
      author = {Yi-Chin Wu and Stephane Lafortune},
      title = {Optimal Synthesis of Insertion Functions for
                Opacity Enforcement},
      day = {16},
      month = {September},
      year = {2014},
      abstract = {Our prior work has studied the enforcement of
                opacity security properties using insertion
                functions. Given a system that is not opaque, the
                so-called All Insertion Structure (AIS) is a game
                structure that embeds all valid insertion
                functions and can be used to synthesize a valid
                insertion function. In this work, we consider the
                synthesis of an optimal insertion function.
                Specifically, we solve two optimal synthesis
                problems, one with respect to the maximum total
                cost and the other one with respect to the maximum
                mean cost. We have also developed a test that
                determines if an insertion function with a finite
                total cost exists. },
      URL = {http://terraswarm.org/pubs/373.html}
  }
  

Posted by Yi-Chin Wu on 18 Sep 2014.
Groups: tools