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 segu...