Cédric Fournet Microsoft Research, Cambridge Ecole JEUNES CHERCHEURS en PROGRAMMATION 6 au 17 juin 2005 Modèles formels de sécurité logicielle 2eme partie.