Contents

• 1. Introduction
  • 1.1 Ad hoc networks introduction
  • 1.2 Problems and secured solution at the routing layer
  • 1.3 Reinforcing the security at higher layers: groups management
  
  
• Bibliography
• 2. Group protocols - STGDH
  • 2.1 Existing group protocols
  • 2.2 Security definitions
  • 2.3 Authentication algorithm
  • 2.4 TGDH Algorithms optimizations
  • 2.5 Evaluation of the stability
  • 2.6 Complexity analysis
  • 2.7 Protocol simulations
  
  
• Bibliography
• 3. Reputation mechanism - STGDH reinforcement
  • 3.1 Existing approaches
  • 3.2 Group decision principle
  • 3.3 Evaluation of the reputation functions
  • 3.4 Evaluation of the recommendation functions
  • 3.5 Reputation overhead analysis
  
  
• Bibliography
• 4. Stability and groups cooperations
  • 4.1 Stability definitions in existing protocols
  • 4.2 Stability considerations for STGDH
  • 4.3 Stability enforcement: coopération between groups
  • 4.4 Evaluation of the stability for STGDH
  
  
• 5. Formal study of the security properties
  • 5.1 Formal models introduction
  • 5.2 Existing modelisation in method B
  • 5.3 STGDH modelisation
  • 5.4 STGDH security properties validations
  
  
• 6. Appendix
  • 6.1 Maxima equations
  • 6.2 Overall of the reputation mechanism