431 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 (13/12/2011), Stéphanie Delaune;Jean Goubault-Larrecq (Dir.) [tel-00675509 - version 1]		 STAR - Dépôt national des thèses électroniques