Enforcing Robust Declassification and Qualified Robustness

Enforcing Robust Declassification and Qualified Robustness
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic

Citation
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic. "Enforcing Robust Declassification and Qualified Robustness". Journal of Computer Security, pp. 157-196, 2006.

Abstract
(No abstract.)

Electronic downloads

http://www.cs.cornell.edu/andru/papers/robdecl-jcs.pdf

Citation formats

HTML

Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic. <a
href="http://www.truststc.org/pubs/541.html"
>Enforcing Robust Declassification and Qualified
Robustness</a>, <i>Journal of Computer
Security</i>, pp. 157-196,  2006.

Plain text

Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic.
"Enforcing Robust Declassification and Qualified
Robustness". <i>Journal of Computer
Security</i>, pp. 157-196,  2006.

BibTeX

@article{MyersSabelfeldZdancewic06_EnforcingRobustDeclassificationQualifiedRobustness,
    author = {Andrew C. Myers and Andrei Sabelfeld and Steve
              Zdancewic},
    title = {Enforcing Robust Declassification and Qualified
              Robustness},
    journal = {Journal of Computer Security},
    pages = {157-196},
    year = {2006},
    abstract = {(No abstract.)},
    URL = {http://www.truststc.org/pubs/541.html}
}

Posted by Jessica Gamble on 19 Feb 2009.
For additional information, see the Publications FAQ or contact webmaster at www truststc org.

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.