TR07-02 (2007) – Secrecy for Security Protocols

Catalin Birjoveanu

Thesis submitted to the “Alexandru Ioan Cuza” University of Iasi, Romania,for the degree of Doctor of Philosophy in Computer Science.

Bibtex

@TechReport{phd_thesis,
author = "C{u a}t{u a}lin B{^ i}rjoveanu",
title = "{S}ecrecy for {S}ecurity {P}rotocols",
institution = "``Al.I.Cuza'' University of Ia{c s}i, 
                 Faculty of Computer Science",
year = "2007",
number = "TR 07-02",
note = "URL:http://www.infoiasi.ro/~tr/tr.pl.cgi"
}