précédent up suivant T.d. matières postscript index aide

Action DYADE

Précédent : VASY Suivant : Visioconf

3.9 VIP

L'action VIP regroupe cinq équipes : l'équipe de méthodes formelles de Bull, l'équipe Cristal, l'équipe Coq, l'équipe Eureca et l'équipe Lande. Son objectif est de développer les outils et l'expertise dans le domaine de la certification des protocoles et des architectures de sécurité pour Internet et le Web. L'action est actuellement centrée sur deux thèmes : la sécurité des protocoles de commerce électronique et plus particulièrement des protocoles cryptographiques utilisés dans les couches applicatives (S-HTTP, Shen, etc.) et la sécurité du code mobile. L'action VIP a noué un partenariat avec le GIE Cartes Bancaires pour la vérification formelle du protocole C-SET.
durollet marie-pierre
Last modified: Tue Feb 25 08:14:51 PST