Team for Research in
Ubiquitous Secure Technology

Citation
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kaynar. "A Logic of Secure Systems and its Application to Trusted Computing". Proceedings of 30th IEEE Symposium on Security and Privacy, May, 2009.

Abstract
(No abstract.)

Electronic downloads

• http://www.andrew.cmu.edu/user/danupam/dfgk-oakland09.pdf

• HTML

  Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kaynar.
  <a href="http://www.truststc.org/pubs/821.html"
  >A Logic of  Secure Systems and its Application to
  Trusted Computing</a>, Proceedings of 30th IEEE
  Symposium on Security and Privacy, May, 2009.

• Plain text

  Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kaynar.
  "A Logic of  Secure Systems and its Application to
  Trusted Computing". Proceedings of 30th IEEE Symposium
  on Security and Privacy, May, 2009.

• BibTeX

  @inproceedings{DattaFranklinGargKaynar09_LogicOfSecureSystemsItsApplicationToTrustedComputing,
      author = {Anupam Datta and Jason Franklin and Deepak Garg
                and Dilsun Kaynar},
      title = {A Logic of  Secure Systems and its Application to
                Trusted Computing},
      booktitle = {Proceedings of 30th IEEE Symposium on Security and
                Privacy},
      month = {May},
      year = {2009},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/821.html}
  }
  

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