Action DYADE

6 Résultats et transferts industriels

• 6.1 AAA
• 6.2 Koala
• 6.3 Médiation
• 6.4 Mescaline
• 6.5 PING
• 6.6 VASY
• 6.7 Visioconf
• 6.8 VIP
  • 6.8.1 Vérification de protocoles cryptographiques
  • 6.8.2 Conception, et évaluation d'architectures de sécurité
  • 6.8.3 Code mobile : sémantique et sécurité