Microsoft SDL Core

Día 1

Seguridad de TI y codificación segura

• Naturaleza de la seguridad
• Términos relacionados con la seguridad de TI
• Definición de riesgo
• Diferentes aspectos de la seguridad de TI
• Requisitos de diferentes áreas de aplicación
• Seguridad de TI frente a codificación segura
• De vulnerabilidades a botnets y cibercrimen
  • Naturaleza de los fallos de seguridad
  • Razones de la dificultad
  • De un ordenador infectado a ataques dirigidos
• Clasificación de fallos de seguridad
  • Taxonomía de Landwehr
  • Los siete reinos perniciosos
  • OWASP Top Ten 2013
  • Comparativa de las OWASP Top Ten entre 2003 y 2013

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

• Programa
• Aplicaciones bajo ataque...
  • Evolución del cibercrimen
  • Los ataques se están centrando en las aplicaciones
  • La mayoría de vulnerabilidades están en pequeñas aplicaciones de ISV (Software Independiente)
• Orígenes del SDL de Microsoft...
  • Línea temporal de seguridad en Microsoft...
  • ¿Qué aplicaciones deben seguir el SDL?
• Ciclo de Desarrollo Seguro (SDL) de Microsoft
  • Ciclo 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 posterior al SDL: Respuesta
  • Orientación del proceso SDL para aplicaciones LOB (Line of Business)
  • Orientación del 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
  • Ejemplos de reducción de la superficie de ataque
• Privacidad
  • Privacidad
  • Comprensión del comportamiento y las preocupaciones de la aplicación
• Defensa en profundidad
  • Principio Core del SDL: Defensa en profundidad
  • Ejemplo de defensa en profundidad
• Principio de privilegio mínimo
  • Ejemplo de privilegio mínimo
• Valores por defecto seguros
  • Ejemplos de valores por defecto seguros

Principios de implementación segura

• Programa
• Ciclo de Desarrollo Seguro (SDL) de Microsoft
• Conceptos básicos de 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 entero
    • Desbordamiento aritmético - ¡adivine el resultado!
    • 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
    • Detectar 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 entero en .NET
    • Una vulnerabilidad real de desbordamiento entero
    • Explotar la vulnerabilidad de desbordamiento entero
  • 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 tiempos
  • 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 hasheadas
  • Gestión y almacenamiento de contraseñas
  • Algoritmos hash especializados para almacenamiento de contraseñas
• Scripting entre sitios (XSS)
  • Scripting entre sitios (XSS)
  • Inyección CSS
  • Explotación: inyección a través de otras etiquetas HTML
  • Prevención de XSS
• Control de acceso a nivel de función ausente
  • Filtrado de cargas de archivos
• Criptografía práctica
  • Proporcionar confidencialidad con criptografía simétrica
  • Algoritmos de cifrado simétrico
  • Cifradogramas por bloques - 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
  • Conclusión

Principios de verificación segura

• Pruebas funcionales frente a pruebas de seguridad
• Vulnerabilidades de seguridad
• Priorización
• Pruebas de seguridad en el ciclo de vida del desarrollo de software (SDLC)
• Pasos de la planificación de pruebas (análisis de riesgo)
• Delimitación y recopilación de información
  • Partes interesadas
  • 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/abuso
  • Casos de uso indebido/abuso - ejemplo simple de una 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)
  • 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 prueba de seguridad
  • Enfoques generales de pruebas
  • Técnicas para las distintas etapas del SDLC
• Revisión de código
  • Revisión de código para seguridad de software
  • Análisis de manchar (taint analysis)
  • Heurística
• 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 (pentesting)
  • Pruebas de estrés
• Fuzzing
  • Pruebas de seguridad automatizadas - fuzzing
  • Desafíos del fuzzing
• Escáneres de vulnerabilidades web
  • Ejercicio - Uso de un escáner de vulnerabilidades
• Comprobació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)
  • Vulnerabilidad de terminación con byte NULL
  • La vulnerabilidad de elusión de autenticación de formularios en el código
  • Explotar 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
• Directrices de codificación segura para .NET en MSDN
• Hojas de referencia (cheat sheets) de codificación segura para .NET
• Libros recomendados - .NET y ASP.NET