"Metodologías para desarrollar software seguro"

 

Con el aumento de amenazas de hackers y grupos criminales, se destaca la necesidad de implementar metodologías que integren la seguridad desde las etapas iniciales del desarrollo. Se revisan metodologías tradicionales y aquellas específicas para el desarrollo de software seguro, centrándose en dos de ellas: Correctness by Construction (CbyC) y Security Development Lifecycle (SDL).

  1. Metodologías Tradicionales:
    • Se destaca la importancia del proceso de desarrollo en la creación de software seguro.
    • Se menciona la evolución desde enfoques "code and fix" hasta metodologías formales y ágiles.
    • Se reconoce que las metodologías tradicionales se centran en mejorar la calidad, pero actualmente es esencial incluir la seguridad desde el inicio.

Metodologías Enfocadas al Desarrollo de Software Seguro:

    • Se resalta la necesidad de producir software resistente a ataques y se reconoce la presencia de metodologías que incorporan actividades específicas para abordar vulnerabilidades.

Correctness by Construction (CbyC):

    • Desarrollada por Praxis, busca producir software con un mínimo de defectos y alta resistencia al cambio. Se combinan métodos formales con desarrollo ágil, fases detalladas incluyen requerimientos, diseño de alto nivel, especificación, diseño detallado, codificación, pruebas, y construcción del software.

Security Development Lifecycle (SDL):

Propuesto por Microsoft en 2004, se centra en mejorar la seguridad del software.

Ofrece dos versiones: rígida y orientada al desarrollo ágil.

Dieciséis actividades incluyen entrenamiento, modelado de amenazas, revisión de código, pruebas de fuzz, y respuesta a incidentes.

Comentarios

Entradas populares de este blog

Tarea: Proyecto integrador fase 1: levantamiento de requisitos

Presentación Programación de Dispositivos Móviles

Principales diagramas de UML