Team for Research in
Ubiquitous Secure Technology

Citation
A. Roy, A. Datta, A. Derek, J. C. Mitchell, J.P. Seifert. "Secrecy Analysis in Protocol Composition Logic". Formal Logical Methods for System Security and Correctness, IOS Press, 2008.

Abstract
(No abstract.)

Electronic downloads

• HTML

  A. Roy, A. Datta, A. Derek, J. C. Mitchell, J.P. Seifert.
  <a href="http://www.truststc.org/pubs/415.html"
  ><i>Secrecy Analysis in Protocol Composition
  Logic</i></a>, Formal Logical Methods for System
  Security and Correctness, IOS Press, 2008.

• Plain text

  A. Roy, A. Datta, A. Derek, J. C. Mitchell, J.P. Seifert.
  "Secrecy Analysis in Protocol Composition Logic".
  Formal Logical Methods for System Security and Correctness,
  IOS Press, 2008.

• BibTeX

  @inbook{RoyDattaDerekMitchellSeifert08_SecrecyAnalysisInProtocolCompositionLogic,
      author = {A. Roy and A. Datta and A. Derek and J. C.
                Mitchell and J.P. Seifert},
      title = {Secrecy Analysis in Protocol Composition Logic},
      publisher = {Formal Logical Methods for System Security and
                Correctness, IOS Press},
      year = {2008},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/415.html}
  }
  

Posted by Anupam Datta on 25 Jul 2008.
For additional information, see the Publications FAQ or contact webmaster at www truststc org.