Vérification formelle de la plate-forme JavaCard