Metodologías para desarrollar software seguro Correctness by Construction (CbyC) Es un metodo que tiene efectividad cuando se desarrolla un software que demanda un nivel de seguridad critico, sus metas principales son obtener una taza de defectos al minimo y un alta resilencia al cambio, se logran debido a dos principios fundamentales( dificil introducir errores y asegurandose que los errores sean removidos cuando se inyectan , esta metodologia busca producir un producto correcto desde su inicio basandose en requerimientos rigurosos de seguridad. sus fases son: Fase de requerimientos: Requerimientos funcionales y no funcionales del usuario con sus repetivos diagramas contextuales, de clases y Definiciones operativas. Fase de Diseño de Alto Nivel: Descripcion de la estructura interna del sistema (distribucion de la funcionalidad, estructuracion de bases de datos, mecanismos para las transacciones y comunicaciones). Fase de Especificacion del S...
Comentarios
Publicar un comentario