Skip to Main content Skip to Navigation
New interface
Book sections

Sécuriser les réseaux, les protocoles cryptographiques

Véronique Cortier 1 
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Book sections
Complete list of metadata
Contributor : Véronique Cortier Connect in order to contact the contributor
Submitted on : Friday, October 20, 2006 - 3:57:26 PM
Last modification on : Friday, January 21, 2022 - 3:09:38 AM


  • HAL Id : inria-00108379, version 1


Véronique Cortier. Sécuriser les réseaux, les protocoles cryptographiques. Presses Universitaires de France. Sur les chemins de la découverte, Presses Universitaires de France, 2006. ⟨inria-00108379⟩



Record views