Observational Equivalence and Trace Equivalence in an Extension of Spi-calculus. Application to Cryptographic Protocols Analysis. Extended Version

Observational Equivalence and Trace Equivalence in an Extension of Spi-calculus. Application to Cryptographic Protocols Analysis. Extended Version. Véronique Cortier. Research Report LSV-02-3, Laboratoire Spécification et Vérification, ENS Cachan, France, 2002. 33 pages.

Download

[PS]

Abstract

(unavailable)

BibTeX

@techreport{LSV:02:3,
  author =        {Cortier, V{\'e}ronique},
  institution =   {Laboratoire Sp{\'e}cification et V{\'e}rification,
                   ENS Cachan, France},
  month =         mar,
  note =          {33 pages},
  number =        {LSV-02-3},
  type =          {Research Report},
  title =         {Observational Equivalence and Trace Equivalence in an
                   Extension of {S}pi-calculus. {A}pplication to
                   Cryptographic Protocols Analysis. {E}xtended Version},
  year =          {2002},
                   rr-lsv-2002-3.rr.ps},
}