Team for Research in
Ubiquitous Secure Technology

Citation
A. Roy, A. Datta, A. Derek, J. C. Mitchell. " Inductive Trace Properties Imply Computational Security". Talk or presentation, March, 2007.

Abstract
(No abstract.)

Electronic downloads

• HTML

  A. Roy, A. Datta, A. Derek, J. C. Mitchell. <a
  href="http://www.truststc.org/pubs/405.html"
  ><i> Inductive Trace Properties Imply Computational
  Security</i></a>, Talk or presentation,  March,
  2007.

• Plain text

  A. Roy, A. Datta, A. Derek, J. C. Mitchell. " Inductive
  Trace Properties Imply Computational Security". Talk or
  presentation,  March, 2007.

• BibTeX

  @presentation{RoyDattaDerekMitchell07_InductiveTracePropertiesImplyComputationalSecurity,
      author = {A. Roy and A. Datta and A. Derek and J. C. Mitchell},
      title = { Inductive Trace Properties Imply Computational
                Security},
      month = {March},
      year = {2007},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/405.html}
  }
  

Posted by Jessica Gamble on 7 May 2008.
For additional information, see the Publications FAQ or contact webmaster at www truststc org.