Forum de mathématiques - Bibm@th.net
Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
- Accueil
- » Cryptographie
- » vérification des protocoles de sécurité
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- Mkarima
- 13-05-2015 21:26:31
Bonjour;
J'ai besoin d'un outil pour l'analyse formelle des protocoles de sécurité, j'ai essayé de voir CASPER/FDR mais j'arrive pas le télécharger sur Windows. pouvez vous m'aidez?







