Team for Research in
Ubiquitous Secure Technology

Citation
A. Roy, A. Datta, J. C. Mitchell, J.P. Seifert. "Secrecy Analysis in Protocol Composition Logic". 11th Annual Asian Computing Science Conference (ASIAN'06), December, 2006.

Abstract
(No abstract.)

Electronic downloads

• HTML

  A. Roy, A. Datta, J. C. Mitchell, J.P. Seifert. <a
  href="http://www.truststc.org/pubs/406.html"
  >Secrecy Analysis in Protocol Composition
  Logic</a>, 11th Annual Asian Computing Science
  Conference (ASIAN'06), December, 2006.

• Plain text

  A. Roy, A. Datta, J. C. Mitchell, J.P. Seifert.
  "Secrecy Analysis in Protocol Composition Logic".
  11th Annual Asian Computing Science Conference (ASIAN'06),
  December, 2006.

• BibTeX

  @inproceedings{RoyDattaMitchellSeifert06_SecrecyAnalysisInProtocolCompositionLogic,
      author = {A. Roy and A. Datta and J. C. Mitchell and J.P.
                Seifert},
      title = {Secrecy Analysis in Protocol Composition Logic},
      booktitle = {11th Annual Asian Computing Science Conference
                (ASIAN'06)},
      month = {December},
      year = {2006},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/406.html}
  }
  

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