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", url = "https://publications.info.uaic.ro/technical-reports/archive/tr07-02-2007-secrecy-for-security-protocols/" }