Projet Sécurité des Protocoles

Commandes utiles

./hlpsl2if nspk-v1.hlpsl 
./cl-atse --if --of if nspk-v1.if

Remarques :

• Sécuriser l'échange via une clef de session pour éviter le rejeu.
• Faire des tests avec plusieurs connaissances initiales
• Voir comment faire si l'intrus connait un ID employé pour éviter une ursupation d'identité
• Prévoir plusieurs serveurs
• Gérer les accès exceptionnels.