@PHDTHESIS{carls1994,
url = "http://www.theses.fr/1994PA112255",
title = "Specification et analyse formelles des protocoles cryptographiques",
author = "Carlsen, Ulf",
year = "1994",
pages = "154 P.",
note = "Thèse de doctorat dirigée par ROLIN, P. Sciences appliquées Paris 11 1994",
note = "1994PA112255",
}