550 articles – 1 reference  [version française]
.:. Lists > By author > Arnaud .:.
1 document

fulltext access Formal verification of secured routing protocols
Arnaud M.
École normale supérieure de Cachan - ENS Cachan (2011-12-13), Stéphanie Delaune;Jean Goubault-Larrecq (Dir.) [tel-00675509 - version 1]
STAR - Dépôt national des thèses électroniques