Sites Inria

Il y a 1 Résultats avec le mot clé : "PEC"

sécurité

Securité numérique

Vérifier la sécurité des échanges de clés

Jean-Michel Prima - 23/05/2017

Membres du Pôle d'excellence cyber (PEC), Thales Communications & Security et le centre Inria Rennes - Bretagne Atlantique entament une collaboration pour réaliser la vérification formelle d'une implémentation d'IKEv2. Ce protocole d'échange de clés de chiffrement constitue l'un des mécanismes essentiels pour établir des communications sécurisées sur le réseau IP.  Explications. 

Mots-clés :

Accueil > Centre > Rennes > Actualités > Vérifier la sécurité des échanges de clés

Lire la suite

Haut de page

Suivez Inria