|
Maude-NPA facilite l’analyse des protocoles cryptographiques
Par
Rédaction,
secuobs.com
Le 27/03/2009
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
Les commentaires pour cet article : >>> par XPO - le [29/4/2010] à 4:9:33 cpsa 2.0.4 Symbolic cryptographic protocol analyzer
lien
|
>>> par XPO - le [29/9/2010] à 3:23:4 ESRT @t0ka7a @CoderW3x @r0bertmart1nez - CrypTool - Educational Tool for Cryptography and Cryptanalysis
lien
|
>>> par XPO - le [19/10/2010] à 16:58:35 ESRT @xanda @2gg @sagar38 - Convert keys between GnuPG, OpenSsh and OpenSSL
lien
|
>>> par XPO - le [28/12/2010] à 17:37:8 Automatic Identification of Cryptographic Primitives in Software code, thesis, slides
lien
|
>>> par XPO - le [25/2/2011] à 12:14:16 ESRT @r00tbsd @ncaproni @xalek - Comparing Encrypted Volumes in OpenBSD via @openbsdjournal
lien
|
>>> par XPO - le [2/3/2011] à 16:20:9 ESRT @packet_storm - Botan C++ Crypto Algorithms Library 1.9.14
lien
|
>>> par XPO - le [5/3/2011] à 15:4:19 ESRT @hal_pomeranz @dckovar - Linux based crypto scanner
lien
|
>>> par XPO - le [22/3/2011] à 13:7:31 ESRT @paradoxengine @randombit - Botan 1.9.15, first release candidate for new stable series, has been released
lien
|
>>> par XPO - le [4/5/2011] à 15:2:30 UPDATE CryptoNark v0.4.5
lien
|
>>> par XPO - le [21/5/2011] à 19:32:52 Cheap pairing computation
lien
|
>>> par XPO - le [23/5/2011] à 18:10:8 ESRT @alexandrosilva - Successful timing attacks on elliptic curve cryptography
lien
|
Mini-Tagwall des articles publiés sur SecuObs : | | | | sécurité, exploit, windows, attaque, outil, microsoft, réseau, audit, metasploit, vulnérabilité, système, virus, internet, usbsploit, données, source, linux, protocol, présentation, scanne, réseaux, scanner, bluetooth, conférence, reverse, shell, meterpreter, vista, rootkit, détection, mobile, security, malicieux, engineering, téléphone, paquet, trames, https, noyau, utilisant, intel, wishmaster, google, sysun, libre |
Mini-Tagwall de l'annuaire video : | | | | curit, security, biomet, metasploit, biometric, cking, password, windows, botnet, defcon, tutorial, crypt, xploit, exploit, lockpicking, linux, attack, wireshark, vmware, rootkit, conference, network, shmoocon, backtrack, virus, conficker, elcom, etter, elcomsoft, server, meterpreter, openvpn, ettercap, openbs, iphone, shell, openbsd, iptables, securitytube, deepsec, source, office, systm, openssh, radio |
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 |
|
|
|
|
|