L'action VIP regroupe cinq équipes : l'équipe de méthodes formelles de Bull, l'équipe Cristal, l'équipe Coq et l'équipe Lande de l'INRIA, et l'équipe Plume de l'ENS Lyon. 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 quatre thèmes : la sécurité des protocoles de commerce électronique, les machines virtuelles Java embarquées, la certification d'architectures de sécurité, et la sécurité du code mobile. L'action VIP a noué un partenariat avec Bull SC&T pour la réalisation de deux machines virtuelles, une pour JavaCard (carte à puce supportant Java), et une pour JavaTerminal (Java pour terminaux de paiement et autres systèmes embarqués), ainsi que d'API sécuritaires pour ces machines. L'action VIP a d'autre part participé à la définition et à la modélisation des méthodes de certification de politiques de sécurité, avec Bull SC&T.