Ce cours aborde les méthodes d'ingénierie propres à la conception de protocoles réseaux: écriture de machines à états finies étendues, déroulement des machines à état sur un diagramme temps séquence, spécification des formats de messages, sérialisation et implémentation d'un protocole sous forme de couches de services. Par les méthodes pré-citées, différentes techniques classiques de récupération d'erreurs réseaux telles que les pertes ou la corruption de paquets sont résolues de manière systématique.

• Design and Validation of computer protocols, Gerard Holzmann chapitre 1 chapitre 2 Appendix B chapitre 4 chapitre 5 chapitre 8
• Computer Networking : Principles, Protocols and Practice, Olivier Bonaventure
• Protocol Engineering, Hartmut Konig, Springer Verlag 2012 ISBN 978-3-642-44093-9
• Modélisation informelle d'une couche transport
• 10 Règles pour l'écriture de code robuste
• The Eight Fallacies of Distributed Computing
• SDL course from Oulu University
• SDL by example

• Bases mathématiques
• Vérification de calculs de CRC
• Implémentation des CRC avec des shift register
• Page wikipedia sur l'implémentation des CRC
• 32-Bit Cyclic Redundancy Codes for Internet Applications

• Spin Online Reference
• Spin Man Page and Semantic Definition
• Basic Spin Manual
• Spin web interface
• Vérification exhaustive d'un modèle promela avec spin

• Doc lets encrypt
• X509 SSL certificates ASN.1 encoding

1. Introduction à la modélisation de protocoles [src]
2. Le langage Promela (voir chapitre 5 de G.Holzmann mais aussi les excellents slides de P. Trentin içi et là )

1. Informal model of a simple lock step protocol [src]
2. [src] Error detection (part 1) [src]
3. [src] Error detection (part 2), loss and duplicate recovery [src]
4. ABP protocol and pipeline [src]
5. Sliding window and Go back N [src]
6. Selective_repeat [src]

1. Abstract Syntax Notation #1 (ASN.1) and Basic Encoding Rules (BER) [src]
2. Spécification ASN.1 des messages LDAP [src]
3. LDAP : Exemple de décodage de messages
4. LDAP : Modèle de données, espace de nommage et protocole [src]