WEB Bibliographie
Réalisation et validation des protocoles:


Ces documents existent en ligne, ils sont donc accessibles aussi pendant les stages, et viennent compléter les cours et exposés.

Connaissant votre amour des langues, j'ai cherché à utiliser le plus possible des documents en Francais.
N'hésitez cependant pas à étudier les tutoriels de Sun qui sont vraiment bien faits !
  1. Ingénierie du logiciel dans les réseaux informatiques
    Cours de Guy Leduc (Université de Liège).
    Les cours du Pr Leduc sont à l'URL:
    http://www.montefiore.ulg.ac.be/~leduc/cours/

  2. Design and Validation of Computer Protocol
    SPIN Promela


  3. Méthodes de développement de protocoles. embedded wireless

  4. Description Estelle des couches_1_à_4

  5. Sécurité des protocoles cryptographiques décidabilité et complexité

Avez-vous des références à communiquer ?

Bon courage,
B. M. G.
bg@eisti.fr