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
(No downloads are available for this publication.)

Citation formats

• 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 Archuleta-Gamble on 7 May 2008.
For additional information, see the Publications FAQ or contact webmaster at www truststc org..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.