Skip to Main content Skip to Navigation
Conference papers

Cadre formel pour le test de robustesse. Application au protocole SSL

Résumé : Dans le domaine des télécommunications, il est indispensable de valider rigoureusement les protocoles avant de les mettre en service. Ainsi, il faut non seulement tester la conformité d'un protocole, mais il s'avère aussi nécessaire de tester sa robustesse face à des événements imprévus. Dans ce document, nous décrivons une méthode pour tester formellement la robustesse d'un système. Nous expliquons comment augmenter la spécification nominale pour prendre en compte les aléas, puis nous formalisons, à travers une relation binaire, la notion de robustesse entre une implémentation sous test et la spécification augmentée. Ensuite, nous expliquons comment générer des séquences de test à partir de cette spécification augmentée. Enfin, nous proposons une étude de cas sur le protocole SSL en utilisant l'outil TGSE pour la génération de séquences de test.
Document type :
Conference papers
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/inria-00111714
Contributor : Antoine Rollet <>
Submitted on : Monday, November 20, 2006 - 11:33:00 AM
Last modification on : Thursday, October 8, 2020 - 11:50:04 AM
Long-term archiving on: : Thursday, September 20, 2012 - 2:22:16 PM

Identifiers

  • HAL Id : inria-00111714, version 1

Citation

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, Eric Fleury and Farouk Kamoun, Oct 2006, Tozeur, Tunisie. 12 p. ⟨inria-00111714⟩

Share

Metrics

Record views

418

Files downloads

642