Caso de seguridad

Una definición de un caso de seguridad es que se trata de un argumento estructurado , respaldado por evidencia , destinado a justificar que un sistema es aceptablemente seguro para una aplicación específica en un entorno operativo específico . ^{[ 1 ]} Los casos de seguridad suelen ser un requisito en un proceso regulatorio, y el certificado de seguridad se otorga solo cuando el regulador está satisfecho con el argumento presentado en el caso de seguridad. Las industrias reguladas de esta manera incluyen el transporte (como la aviación , la industria automotriz y los ferrocarriles ) y los dispositivos médicos . Por lo tanto, existen fuertes paralelismos con la evaluación formal de riesgos utilizada para preparar una evaluación de riesgos , aunque el resultado será específico para cada caso. Un caso de seguridad de un vehículo puede demostrar que es aceptablemente seguro para circular por carretera, pero concluir que puede no ser adecuado para circular por terrenos irregulares o con una carga descentrada, por ejemplo, si existiera entonces un mayor riesgo de peligro, como una pérdida de control o una lesión para el ocupante. La información utilizada para compilar el caso de seguridad puede entonces garantizar formalmente especificaciones adicionales, como velocidades máximas seguras, cargas seguras permitidas o cualquier otro parámetro operativo. Se debe revisar el análisis de seguridad cuando se vaya a dar un nuevo uso a un producto existente, si esto excede el alcance de la evaluación original.

Un informe de seguridad tiene como objetivo demostrar que las afirmaciones de seguridad específicas están fundamentadas y, en el Reino Unido, que los riesgos se mantienen "tan bajos como sea razonablemente practicable" ( ALARP ). En Estados Unidos, la FDA publicó un documento de orientación en 2010 para exigir a los fabricantes de bombas de infusión que presenten informes de seguridad como parte de los 510(k). ^{[ 2 ]}

Una definición de la Norma de Defensa del Reino Unido 00-56 Edición 4 establece: ^{[ 3 ]} Este enfoque basado en la evidencia puede contrastarse con un enfoque prescriptivo para la certificación de seguridad, que requiere que la seguridad se justifique mediante un proceso prescrito. Estas normas generalmente no requieren explícitamente un argumento explícito para la seguridad y, en cambio, se basan en el supuesto de que seguir el proceso prescrito generará la evidencia requerida para la seguridad. Muchas normas del Reino Unido no son prescriptivas y exigen un enfoque basado en argumentos para justificar la seguridad, de ahí que se requiera un caso de seguridad.

Los casos de seguridad suelen documentarse tanto en notación textual como gráfica, por ejemplo, utilizando la Notación de Estructuración de Objetivos (GSN). ^{[ 4 ]}

Los análisis de seguridad (Safety Cases) son cada vez más populares en aeronaves civiles/comerciales y sistemas de armas del Departamento de Defensa (DoD) debido al aumento de su complejidad y criticidad. A menudo, es necesario un cambio de paradigma para aceptar los análisis de seguridad, ya que los enfoques y procesos tradicionales de análisis y verificación de la seguridad del sistema y del software no están adecuadamente estructurados para presentar un argumento de seguridad eficaz en algunas arquitecturas más modernas que utilizan herramientas de desarrollo y métodos formales de vanguardia .

Algunos programas importantes del Departamento de Defensa de EE. UU., como el Sistema de Gestión de Vehículos (VMS) del F-35, utilizan eficazmente la Ingeniería de Sistemas Basada en Modelos (MBSE) en funciones de sistemas aéreos altamente complejos, intensivos en software y críticos para la seguridad, junto con la Notación de Estructuración de Objetivos (GSN). Las Evaluaciones de Seguridad y los Casos de Seguridad más elaborados y completos con GSN son eficaces siempre que se incluyan argumentos de refutación y un análisis exhaustivo mediante análisis de riesgos y enfoques de seguridad tradicionales, y se utilicen modelos para describir el comportamiento del sistema. Se están utilizando modelos más elaborados y métodos formales para obtener evidencia de seguridad colectiva. En el Reino Unido, la GSN, como parte de los Casos de Seguridad, ha demostrado ser útil para proporcionar evidencia de seguridad objetiva. Un Caso de Seguridad es una forma ideal de reflejar el modelo MBSE, los casos de uso del software, la arquitectura de seguridad, el comportamiento funcional crítico para la seguridad, los estados seguros y la secuenciación en el dominio de la seguridad. El comportamiento funcional suele comprenderse, expresarse y defenderse mejor cuando se muestra gráficamente en cada paso del proceso en MBSE, en comparación con el desarrollo tradicional, que implica una enorme cantidad de documentación difícil de correlacionar en un Caso de Seguridad eficaz.

El Comité de Seguridad del Sistema G-48 de SAE International celebró el Taller de Casos de Seguridad en APT Research en Huntsville, AL, el 15 de enero de 2014, con la presencia de varias agencias del Departamento de Defensa y contratistas líderes para estudiar y documentar el proceso y los métodos de los Casos de Seguridad para su perfeccionamiento y posible futura promulgación en varias Normas de Seguridad, ^{[ 5 ]} ya que varias ya los utilizan como parte de sus mejores prácticas internas. "Ahora hay evidencia creciente de que algunas organizaciones en los EE. UU. están avanzando en la dirección de los casos de seguridad." ^{[ 6 ]} El G-48, compuesto por una Oficina de Seguridad de la NASA, agencias del Departamento de Defensa y varios representantes de contratistas de defensa líderes, cita varias ventajas de seguridad basadas en evidencia de los Casos de Seguridad sobre ANSI/GEA-STD-010 y MIL-STD-882, incluyendo 1. Articulación inicial de los Argumentos (fundamento y afirmaciones) que se utilizarán y (2) revisión independiente para verificar y validar. Dado que los Casos de Seguridad son enfoques estructurados y basados ​​en evidencia para satisfacer el argumento de seguridad establecido al inicio de los programas, pueden ser una buena opción para complementar los métodos y técnicas de análisis de riesgos existentes y probados. Se prevé que, a medida que los Casos de Seguridad ganen popularidad y se incluyan en las mejores prácticas actuales, no reemplazarán ningún método de seguridad eficaz vigente, como las Evaluaciones de Peligros Funcionales (FHA), sino que podrán integrarse en ellos desde el principio y en metodologías de seguridad más completas y combinadas para argumentar y mejorar la recopilación y documentación de evidencia objetiva de seguridad a través del programa. Un Caso de Seguridad final debe contener todos los artefactos específicos necesarios, como evidencia de pruebas que respalden las afirmaciones de seguridad. Un Caso de Seguridad bien equilibrado también debe permitir una verificación especial orientada a la seguridad, como pruebas de condiciones de falla creíbles, pruebas de mal funcionamiento para observar estados seguros previstos y comportamiento planificado, inserción de fallas para la funcionalidad esperada en las peores condiciones, inmunidad a fallas para garantizar que el sistema ignore la corrupción y las amenazas maliciosas, y resultados de pruebas fuera de condiciones nominales o modificadas, fuera de límites y de otro tipo para demostrar que se cumplen los requisitos de seguridad fuera del funcionamiento normal.

Idealmente, los futuros conceptos de Casos de Seguridad, que evolucionan a medida que los sistemas de sistemas intensivos en software y de alta tecnología se vuelven más complejos, deben contener un paquete de datos específico con artefactos de seguridad integrales y deben incluir todos los análisis de seguridad, hallazgos y la determinación de la suma total del riesgo del sistema. Los Casos de Seguridad deben ir más allá de los Informes de Evaluación de Seguridad MIL-STD-882 actuales, que son un resumen más general de hallazgos basados ​​en peligros y riesgos. Los Casos de Seguridad con argumentos, metas y objetivos estructurados deben ser más inclusivos de varios aspectos modernos de seguridad, que generalmente incluyen seguridad basada en requisitos (INCOSE), seguridad basada en modelos, seguridad basada en software (IEEE STD-1228), seguridad basada en funciones (IEC-61508), prácticas recomendadas aeroespaciales basadas en el diseño para la seguridad (SAE ARP 4761/4754A).

Se han aplicado métodos de desarrollo ágil a la producción de casos de seguridad. ^{[ 7 ]}

La revisión de los estudios de seguridad es una actividad importante en el proceso de ingeniería de seguridad , que se lleva a cabo durante el desarrollo, la operación y el mantenimiento, en la que se examinan y cuestionan los argumentos y las pruebas que respaldan la seguridad.

• Curso de análisis de seguridad en inglés
• Curso de casos prácticos de seguridad en francés (en Francia)
• Curso de casos prácticos de seguridad impartido en español.
• Curso de casos prácticos de seguridad en italiano (en italiano)
• Curso de casos prácticos de seguridad en alemán (en alemán)