Microsoft SDL Core

Día 1

Ciberseguridad y codificación segura

• Naturaleza de la seguridad
• Términos relacionados con la ciberseguridad
• Definición de riesgo
• Diferentes aspectos de la ciberseguridad
• Requisitos de diferentes áreas de aplicación
• Ciberseguridad frente a codificación segura
• De vulnerabilidades a botnets y ciberdelitos
  • Naturaleza de los defectos de seguridad
  • Razones de dificultad
  • Desde un ordenador infectado hasta ataques dirigidos
• Clasificación de defectos de seguridad
  • Taxonomía de Landwehr
  • Los Siete Reinos Perniciosos (The Seven Pernicious Kingdoms)
  • OWASP Top Ten 2013
  • Comparativa OWASP Top Ten 2003 – 2013

Introducción al Ciclo de Vida de Desarrollo Seguro (SDL) de Microsoft®

• Agenda
• Aplicaciones bajo ataque...
  • Evolución del ciberdelito
  • Los ataques se centran en aplicaciones
  • La mayoría de las vulnerabilidades están en aplicaciones ISV más pequeñas
• Orígenes del SDL de Microsoft...
  • Cronología de seguridad en Microsoft...
  • ¿Qué aplicaciones deben cumplir con el SDL?
• Ciclo de Vida de Desarrollo Seguro (SDL) de Microsoft
  • Ciclo de Vida de Desarrollo Seguro (SDL) de Microsoft
  • Requisitos previos al SDL: Formación en seguridad
  • Fase Uno: Requisitos
  • Fase Dos: Diseño
  • Fase Tres: Implementación
  • Fase Cuatro: Verificación
  • Fase Cinco: Lanzamiento – Plan de Respuesta
  • Fase Cinco: Lanzamiento – Revisión Final de Seguridad
  • Fase Cinco: Lanzamiento – Archivo
  • Requisito post-SDL: Respuesta
  • Orientación del proceso SDL para aplicaciones LOB
  • Orientación SDL para metodologías ágiles
  • El desarrollo de software seguro requiere mejora de procesos

Principios de diseño seguro

• Superficie de ataque
  • Reducción de la superficie de ataque
  • Superficie de ataque – un ejemplo
  • Análisis de la superficie de ataque
  • Reducción de la superficie de ataque – ejemplos
• Privacidad
  • Privacidad
  • Comprensión del comportamiento y las preocupaciones de la aplicación
• Defensa en profundidad
  • Principio Core de SDL: Defensa en Profundidad
  • Defensa en profundidad – ejemplo
• Principio de mínimo privilegio
  • Mínimo privilegio – ejemplo
• Valores por defecto seguros
  • Valores por defecto seguros – ejemplos

Principios de implementación segura

• Agenda
• Ciclo de Vida de Desarrollo Seguro (SDL) de Microsoft
• Fundamentos del desbordamiento de búfer
  • Procesadores Intel 80x86 – registros principales
  • Disposición de la dirección de memoria
  • Mecanismo de llamada de funciones en C/C++ en x86
  • Variables locales y marco de pila
  • Desbordamiento de pila
    • Desbordamiento de búfer en la pila
    • Introducción a los ejercicios
    • Ejercicio BOFIntro
    • Ejercicio BOFIntro – determinar la disposición de la pila
    • Ejercicio BOFIntro – un exploit simple
• Validación de entrada
  • Conceptos de validación de entrada
  • Problemas con enteros
    • Representación de enteros negativos
    • Desbordamiento de enteros
    • Desbordamiento aritmético – ¡adivina la salida!
    • Ejercicio IntOverflow
    • ¿Cuál es el valor de Math.Abs(int.MinValue)?
  • Mitigación de problemas con enteros
    • Mitigación de problemas con enteros
    • Evitar desbordamiento aritmético – suma
    • Evitar desbordamiento aritmético – multiplicación
    • Detección de desbordamientos con la palabra clave checked en C#
    • Ejercicio – Uso de la palabra clave checked en C#
    • Excepciones provocadas por desbordamientos en C#
  • Estudio de caso – Desbordamiento de enteros en .NET
    • Una vulnerabilidad real de desbordamiento de enteros
    • Explotando la vulnerabilidad de desbordamiento de enteros
  • Vulnerabilidad de recorrido de rutas
    • Mitigación del recorrido de rutas

Día 2

Principios de implementación segura

• Inyección
  • Métodos típicos de ataque de inyección SQL
  • Inyección SQL ciega y basada en tiempo
  • Métodos de protección contra inyección SQL
  • Inyección de comandos
• Autenticación rota – gestión de contraseñas
  • Ejercicio – Debilidad de las contraseñas encriptadas (hash)
  • Gestión y almacenamiento de contraseñas
  • Algoritmos hash de propósito específico para almacenamiento de contraseñas
• Cross-Site Scripting (XSS) – Secuencia de comandos entre sitios
  • Cross-Site Scripting (XSS)
  • Inyección CSS
  • Explotación: inyección a través de otras etiquetas HTML
  • Prevención de XSS
• Control de acceso faltante a nivel de función
  • Filtrado de cargas de archivos
• Criptografía práctica
  • Proporcionar confidencialidad con criptografía simétrica
  • Algoritmos de cifrado simétrico
  • Cifrados de bloque – modos de operación
  • Hash o resumen de mensaje
  • Algoritmos hash
  • Código de Autenticación de Mensajes (MAC)
  • Proporcionar integridad y autenticidad con una clave simétrica
  • Proporcionar confidencialidad con cifrado de clave pública
  • Regla general – posesión de la clave privada
  • Errores típicos en la gestión de contraseñas
  • Ejercicio – Contraseñas codificadas (hardcoded)
  • Conclusión

Principios de verificación segura

• Pruebas funcionales frente a pruebas de seguridad
• Vulnerabilidades de seguridad
• Priorización
• Pruebas de seguridad en el SDLC
• Pasos de la planificación de pruebas (análisis de riesgos)
• Definición del alcance y recopilación de información
  • Interesados
  • Activos
  • La superficie de ataque
  • Objetivos de seguridad para las pruebas
• Modelado de amenazas
  • Modelado de amenazas
  • Perfiles de atacante
  • Modelado de amenazas basado en árboles de ataque
  • Modelado de amenazas basado en casos de uso indebido/mal uso (misuse/abuse)
  • Casos de uso indebido/mal uso – un ejemplo simple de tienda web
  • Enfoque STRIDE por elemento para el modelado de amenazas – MS SDL
  • Identificación de objetivos de seguridad
  • Diagramación – ejemplos de elementos DFD
  • Diagrama de flujo de datos – ejemplo
  • Enumeración de amenazas – STRIDE de MS SDL y elementos DFD
  • Análisis de riesgos – clasificación de amenazas
  • El modelo de clasificación de amenazas/riesgos DREAD
• Técnicas y herramientas de pruebas de seguridad
  • Enfoques generales de prueba
  • Técnicas para las diversas etapas del SDLC
• Revisión de código
  • Revisión de código para la seguridad del software
  • Análisis de contaminación (taint analysis)
  • Heurísticas
• Análisis estático de código
  • Análisis estático de código
  • Ejercicio – Uso de herramientas de análisis estático de código
• Pruebas de la implementación
  • Verificación manual en tiempo de ejecución
  • Pruebas de seguridad manuales frente a automatizadas
  • Pruebas de penetración (penetration testing)
  • Pruebas de estrés
• Fuzzing
  • Pruebas automatizadas de seguridad - fuzzing
  • Desafíos del fuzzing
• Escáneres de vulnerabilidades web
  • Ejercicio – Uso de un escáner de vulnerabilidades
• Verificación y endurecimiento del entorno
  • Sistema Común de Puntuación de Vulnerabilidades – CVSS
  • Escáneres de vulnerabilidades
  • Bases de datos públicas
• Estudio de caso – Elusión de Autenticación de Formularios (Forms Authentication Bypass)
  • Vulnerabilidad de terminación con byte nulo (NULL byte)
  • La vulnerabilidad de elusión de autenticación de formularios en el código
  • Explotando la elusión de autenticación de formularios

Fuentes de conocimiento

• Fuentes de codificación segura – un kit de inicio
• Bases de datos de vulnerabilidades
• Guías de codificación segura de .NET en MSDN
• Hojas de trucos de codificación segura de .NET
• Libros recomendados – .NET y ASP.NET