Précédent : VASY
Suivant : Visioconf
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é des
architectures de sécurité. L'action VIP a noué un
partenariat avec le GIE Cartes Bancaires pour la vérification formelle
du protocole C-SET, ainsi que d'un partenariat avec CP8 pour la
réalisation d'un prototype de JavaCard (carte à puce
supportant Java), ainsi que d'API sécuritaires pour le pilotage de
cartes à puces et de terminaux de paiement (Java Terminal).
Rapport d'activité 1997
