5646 articles – 1 Notice  [english version]
.:. Consultation > Liste par auteurs > 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