Synthesis of Event Insertion Functions for Enforcement of Opacity Security Properties
Stephane Lafortune, Yi-Chin Wu

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

Abstract
(No abstract.)

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

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

• Plain text

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

• BibTeX

  @presentation{LafortuneWu14_SynthesisOfEventInsertionFunctionsForEnforcementOfOpacity,
      author = {Stephane Lafortune and Yi-Chin Wu},
      title = {Synthesis of Event Insertion Functions for
                Enforcement of Opacity Security Properties},
      day = {16},
      month = {September},
      year = {2014},
      abstract = {(No abstract.)},
      URL = {http://terraswarm.org/pubs/365.html}
  }
  

Posted by Barb Hoversten on 17 Sep 2014.
Groups: tools