Précédent : Dassault : Projet Génie Remonter : Actions industrielles Suivant : CNET
Précédent : Dassault : Projet Génie Remonter :
Actions
industrielles Suivant : CNET
Le projet de code mobile auto-certifié dans le cadre de la
vérification de protocoles est en coopération avec l'équipe de
D. Bolignano des laboratoires de recherche de Bull au sein
de l'action VIP du GIE Dyade (Bull-INRIA). D. Bolignano
utilise Coq pour la formalisation de protocoles
sécuritaires pour le Commerce Electronique.