|
|
Maude-NPA facilite l'analyse des protocoles cryptographiques
Par Xavier Poli,
secuobs.com
Le 27/03/2009
Résumé : Maude-NPA est une plateforme d'outils facilitant l'analyse semi-automatique des protocoles cryptographiques. Des exemples sont fournis dans le manuel d'utilisation avec les protocoles Needham-Schroeder à clé publique, eXclusive-OR et Diffie-Hellman. - Lire l'article
Maude-NPA, ou Maude-NRL Protocol Analyser, est un ensemble d'outils d'analyse pour les protocoles cryptographiques. Il prend en compte un plus grand nombre de propriétés algébriques des crypto-systèmes que n'importe quel autre outil existant dans ce domaine. Basé sur Maude ( lien ), il inclut notamment l'annulation des chiffrements/déchiffrements, mais aussi les groupes abéliens ( lien ) avec eXclusive-OR ( XOR - lien ) et les exposants ( lien ) pour le calcul de grandes puissances entières.
Maude-NPA se base concrètement sur une approche utilisant conjointement l'unification et les recherches inverses qui sont effectuées depuis un état final pour déterminer l'accessibilité par une attaque. Maude-NPA implémente plus spécifiquement des théories de réécriture logique et de rétrécissement vers des ensembles minimalistes de solutions à tester. Il offre dans le même temps un support plus large des théories de résolution des systèmes d'équations en incluant notamment les théories associatives-commutatives ( AC - lien ) pour faciliter la déduction automatique.
Un manuel d'installation/utilisation est disponible ( lien ), il inclut de nombreux exemples pour différents protocoles afin d'aider à la compréhension des processus d'analyse. Sont également exposées les fondations formelles des réécritures logiques et les optimisations appliquées ici afin d'augmenter les performances de déduction par réduction des espaces de recherche. A noter que pour utiliser Maude-NPA 1.0 ( lien ), il est impératif d'avoir préalablement une installation fonctionnelle de Maude en version 2.4 ( lien ).
On retrouve notamment dans le manuel les mécanismes de chargement et de spécification des protocoles ainsi que la syntaxe avec un exemple concret portant sur le protocole Needham-Schroeder à clé publique ( NSPK - lien ), protocole qui servira par la suite à présenter différentes commandes. On notera également l'énumération des théories supportées pour la résolution des systèmes d'équations, puis la présentation des outils mis à disposition via deux exemples pratiques, XOR et Diffie-Hellman ( lien ), impliquant les théories AC citée précédemment.
Les limitations actuelles de Maude-NPA et le plan de développement pour les extensions à venir sont finalement introduits, alors qu'une page de démonstration est disponible directement en ligne ( lien ) via une interface Web permettant de s'assurer des capacités fonctionnelles de l'analyseur sous-jacent qu'elle interface.
Source : Security Circus ( lien )
- Article suivant : La loi HADOPI, tête de pont du filtrage de l'internet ?
- Article précédent : Un Rootkit BIOS qui persiste au redémarrage, au formatage, à la réinstallation, au changement de disque et au flashage
- Article suivant dans la catégorie Outils : Microsoft Nozzle pour réduire les faux positifs lors de la détection temps réel d'attaques par Heap Spraying
- Article précédent dans la catégorie Outils : GreenSQL un proxy MySQL pour filtrer les requêtes SQL et contrer les injections
| Mini-Tagwall des articles publiés sur SecuObs : | | | | sécurité, exploit, windows, microsoft, attaque, réseau, outil, vulnérabilité, audit, système, virus, internet, données, metasploit, présentation, linux, bluetooth, protocol, source, vista, scanner, réseaux, shell, rootkit, engineering, conférence, trames, paquet, téléphone, wishmaster, sysun, mobile, noyau, mémoire, botnet, https, rapport, libre, téléphones, google, patch, reverse, scapy, security, navigateur |
| Mini-Tagwall de l'annuaire video : | | | | security, vmware, biometric, virus, metasploit, windows, password, botnet, lockpicking, tutorial, attack, exploit, network, linux, crypt, source, iphone, server, secconf, shmoocon, conficker, engineering, virtual, ettercap, wimax, rootkit, wireshark, reverse, hackitoergosum, cisco, internet, hacker, systm, openssh, firewall, wireless, openbsd, openvpn, meterpreter, access, conference, knoppix, backtrack, arduino, brucon |
| Mini-Tagwall des articles de la revue de presse : | | | | security, microsoft, windows, hacker, attack, network, vulnerability, google, exploit, malware, internet, remote, iphone, server, inject, patch, apple, twitter, mobile, virus, ebook, facebook, vulnérabilité, crypt, source, linux, password, intel, research, virtual, phish, access, tutorial, trojan, social, privacy, firefox, adobe, overflow, office, cisco, conficker, botnet, pirate, sécurité |
| Mini-Tagwall des Tweets de la revue Twitter : | | | | security, linux, botnet, attack, metasploit, cisco, defcon, phish, exploit, google, inject, server, firewall, network, twitter, vmware, windows, microsoft, compliance, vulnerability, python, engineering, source, kernel, crypt, social, overflow, nessus, crack, hacker, virus, iphone, patch, virtual, javascript, malware, conficker, pentest, research, email, password, adobe, apache, proxy, backtrack |
|
|
|
|
|
