Team for Research in
Ubiquitous Secure Technology

Citation
Deepak Garg, Jason Franklin, Dilsun Kaynar, Anupam Datta. "Compositional System Security with Interface-Confined Adversaries". Electronic Notes in Theoretical Computer Science, 265, 2010.

Abstract
(No abstract.)

Electronic downloads

• http://www.andrew.cmu.edu/user/danupam/gfkd-mfps2010.pdf

• HTML

  Deepak Garg, Jason Franklin, Dilsun Kaynar, Anupam Datta.
  <a href="http://www.truststc.org/pubs/822.html"
  >Compositional System Security with Interface-Confined
  Adversaries</a>, <i>Electronic Notes in
  Theoretical Computer Science</i>, 265,  2010.

• Plain text

  Deepak Garg, Jason Franklin, Dilsun Kaynar, Anupam Datta.
  "Compositional System Security with Interface-Confined
  Adversaries". <i>Electronic Notes in Theoretical
  Computer Science</i>, 265,  2010.

• BibTeX

  @article{GargFranklinKaynarDatta10_CompositionalSystemSecurityWithInterfaceConfinedAdversaries,
      author = {Deepak Garg and Jason Franklin and Dilsun Kaynar
                and Anupam Datta},
      title = {Compositional System Security with
                Interface-Confined Adversaries},
      journal = {Electronic Notes in Theoretical Computer Science},
      volume = {265},
      year = {2010},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/822.html}
  }
  

Posted by Anupam Datta on 23 Nov 2011.
For additional information, see the Publications FAQ or contact webmaster at www truststc org.