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

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.