Fares Saad Khorchef, Antoine Rollet, Richard Castanet, Ismail Berrada. Cadre formel pour le test de robustesse. Application au protocole SSL.
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2006, Oct 2006, Tozeur, Tunisie. Hermès, 12 p., 2006, Session 5 : validation, vérification et test.
〈inria-00111714〉