1
Este CD / DVD en vivo ISO de arranque (NST Live) está basado en Fedora.El kit de herramientas fue diseñado para proporcionar un fácil acceso a las mejores aplicaciones de seguridad de red de código abierto y debe ejecutarse en la mayoría de las plataformas x86 / x86_64.La intención principal de desarrollar este kit de herramientas fue proporcionar al administrador de seguridad de red un conjunto integral de herramientas de seguridad de red de código abierto.La mayoría de las herramientas publicadas en el artículo: Top 125 Security Tools de INSECURE.ORG están disponibles en el kit de herramientas.Se proporciona una interfaz de usuario web (WUI) avanzada para la administración del sistema / red, navegación, automatización, geolocalización y configuración de muchas aplicaciones de red y seguridad que se encuentran dentro de la distribución NST.En el mundo virtual, NST puede usarse como una herramienta de análisis, validación y monitoreo de seguridad de red en servidores virtuales empresariales que alojan máquinas virtuales ...
network-security-toolkit
Caracteristicas
Alternativas a Network Security Toolkit para Web
3
F*
F * es un lenguaje de programación funcional similar a ML destinado a la verificación del programa.F * puede expresar especificaciones precisas para los programas, incluidas las propiedades de corrección funcional.Los programas escritos en F * se pueden traducir a OCaml o F # para su ejecución.