28622 articles – 22133 Notices  [english version]
.:. Consultation > Par auteur > Arnaud .:.
6 documents classés par :
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
Deciding security for protocols with recursive tests
Arnaud M., Cortier V., Delaune S.
Dans 23rd International Conference on Automated Deduction (CADE'11) (2011) 49-63 [inria-00638557 - version 1]
Modeling and Verifying Ad Hoc Routing Protocols.
Arnaud M., Cortier V., Delaune S.
Dans 23rd IEEE Computer Security Foundations Symposium - CSF'10 (2010) [inria-00525779 - version 1]
Modeling and Verifying Ad Hoc Routing Protocol
Arnaud M., Cortier V., Delaune S.
Dans 4th International Workshop on Security and Rewriting Techniques - SecReT'09 (2009) 33-46 [inria-00426626 - version 1]
Combining algorithms for deciding knowledge in security protocols
Arnaud M., Cortier V., Delaune S.
Dans 6th International Symposium on Frontiers of Combining Systems - FroCoS'07 (2007) [inria-00181609 - version 1]
fulltext access Combining algorithms for deciding knowledge in security protocols
Arnaud M., Cortier V., Delaune S.
N° RR-6118 (2007) [inria-00129418 - version 2]