Cazadores de bugs


Daniel Jackson, profesor del MIT, acaba de publicar un interesante artículo en el ejemplar de Junio de Scientific American sobre los analizadores automáticos de código.





La herramienta a la que el artículo presta mayor atención es Alloy, disponible libremente en Internet, y que se ha utilizado con éxito en el diseño -entre otros- de sistemas criptográficos.

Enlace del Articulo:
http://www.scientificamerican.com

Descarga herramienta:
http://alloy.mit.edu/downloads.php

Fuente:
kriptopolis.org



Otras noticias de interés:

Un proyecto europeo combate la obesidad del software obsoleto. Se llama Leg2Net y busca una evolución del software más eficiente
Informáticos de la Universidad de Leicester, en el Reino Unido, y de la empresa ATX Software están trabajando en el creciente problema de la evolución y la degradación del software. Ellos lo llaman software “obeso”, usando un símil médico. ...
Disponible Full Circle Magazine Número 16
Se encuentra disponible para su descarga el Número 16 de Full Circle, excelente revista editada por la Comunidad independiente de Ubuntu....
Exploit Zero-Day para Internet Explorer
Las vulnerabilidades 0-day son particulamente dañinas, y es importante que los usuarios estén alerta ante estos posibles ataques a su seguridad. La organización SANS Internet Storm Center nos avisa de la presencia de un nuevo agujero de este tipo ...
WebCast Microsoft-Hispasec sobre malware y soluciones
Bajo el título Defensa en profundidad contra software malintencionado (Virus) se celebrará el próximo 26 de enero un seminario virtual y gratuito a través de Internet impartido por Microsoft e Hispasec....
Wine 0.9.54, disponible con soporte para Photoshop CS2
Nueva versión para el excelente traductor entre el API de Windows y los sistemas operativos basados en UNIX. ...
Torificando Firefox
Puestos a inventarse palabros (que parece el deporte nacional, de un tiempo a esta parte), yo aporto torificando, que nos servirá para designar la anonimización de la navegación web mediante Tor....
Crimeware como servicio
El crimen como servicio está facilitando el rápido desarrollo de nuevas y sofisticadas amenazas, según un reciente informe de CA Technologies. ...
En Dubai se dijo que sería Internet
Primero hablemos sobre la UIT, la cual es una institución especializada de la ONU (Organización Naciones Unidas), en la que entran los ciento noventa y tres miembros de la comunidad mundial. La UIT convocó la Conferencia Mundial de Telecomunicacio...
Mirago, un nuevo buscador.
Mirago es un nuevo buscador, similar en su concepción al todopoderoso Google, y que está empezando a sonar entre los círculos internautas....
El primer nacimiento de un niño clonado
La primera clonación humana podría materializarse en los próximos meses tras la decisión de una pareja de EEUU de dar vida a una copia de la madre, concebida sin el esperma del padre....

Brindanos
un o una


Redes Sociales

Publicidad


Gana Bitcoins desde tu casa

Categorías


Planeta Vaslibre

Blog Roll




Nube de tags

  • anonimato
  • anonimo
  • antivirus
  • apache
  • blog
  • bsd
  • bug
  • bugs
  • cazadores
  • centos
  • chrome
  • cifrado
  • computer
  • debian
  • exploits
  • fedora
  • fice
  • firefox
  • forense
  • freebsd
  • gentoo
  • github
  • gnome
  • gnu
  • gpl
  • gtk
  • hack
  • hacking
  • hosting
  • informatica
  • internet
  • isos
  • libre
  • licencias
  • linux
  • linuxmint
  • lxde
  • micros
  • mint
  • mit
  • mozilla
  • mysql
  • noticia
  • opensource
  • pgp
  • php
  • sabayon
  • seguridad
  • system
  • tecnologia
  • thunar
  • thunderbird
  • tor
  • troyanos
  • tware
  • ubuntu
  • underground
  • vaslibre
  • virus
  • viserproject
  • vivaldi
  • vulnerabilidades
  • web
  • website
  • windows
  • xanadu
  • xfce
  • xombra