Steve Kremer: Formal Analysis of Optimistic Fair Exchange Protocols

Formal Analysis of Optimistic Fair Exchange Protocols

Steve Kremer. Formal Analysis of Optimistic Fair Exchange Protocols. Thèse de doctorat, Université Libre de Bruxelles, Belgium, 2003.

Download

[PS]

Abstract

(unavailable)

BibTeX

@phdthesis{Kremer2003,
  author =        {Kremer, Steve},
  month =         dec,
  school =        {Universit\'e Libre de Bruxelles, Belgium},
  type =          {Th{\`e}se de doctorat},
  title =         {Formal Analysis of Optimistic Fair Exchange
                   Protocols},
  year =          {2003},
  nmonth =        {12},
  url =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/Kremer-thesis.ps},
}