Metodologías para Desarrollar Software Seguro

•  Correctness by Construction (CbyC): Es un método efectivo para desarrollar software que demanda un nivel de seguridad critico y que además sea demostrable. Las metas principales de esta metodología son obtener una taza de defectos al mínimo y una alta resiliencia al  cambio; los cuales se logran debido a dos principios fundamentales: que sea muy difícil introducir errores y asegurarse que los errores sean removidos tan pronto hayan sido inyectados. El CbyC consta además de las siguientes fases: 
• Fase de Requerimientos
• Fase de Diseño de Alto Nivel
• Fase de Especificaciones de Software
• Fase de Diseño Detallado
• Fase de Especificación de los Módulos
• Fase de Codificación
• Fase de las Especificaciones de las Pruebas
• Fase de Construcción del Software
• Security Development Lifecycle (SDL): Es un proceso para mejorar la seguridad de software propuesto para la compañía de Microsoft en el año 2004. Las practicas que propone SDL van desde una etapa de entrenamiento sobre temas de seguridad, pasando por análisis estático, análisis dinámico, fuzz testing del código hasta tener un plan de respuestas a incidentes. Una de las principales características de SDL es el modelado de amenazas que sirve a los desarrolladores para encontrar partes del código, donde probablemente existan vulnerabilidades o sean objeto de ataques.
• Fase de Entrenamiento
• Fase de Requerimientos
• Fase de Diseño
• Fase de Implementación
• Fase de Verificación
• Fase de Lanzamiento
• Fase de Respuesta
•