Lógica y metodología científica en Seguridad Informática

Descripción general del curso

En los últimos años, la seguridad informática ha cobrado gran importancia, probablemente porque junto al avance de la tecnología ha crecido exponencialmente, la cantidad de ataques que comprometen tanto a la información como a la disponibilidad de los servicios informáticos.

La gran expansión concomitante de la tecnología hacia el común de las personas, ha diversificado el nivel de profesionalidad del personal a cargo del diseño, desarrollo e implementación de los programas, llegando al punto de encontrar equipos de trabajo completos sin personal cualificado.

Esta carencia ha traído consigo un sinfín de prácticas pseudocientíficas que han sabido ganar terreno en el ámbito profesional, a tal punto que muchas personas llegaron a creer en ellas, como las únicas capaces de garantizar la seguridad de un sistema informático. Sin embargo, son parte responsable, de haber puesto los programas en riesgo.

Así, quien utilizan la tecnología en el quehacer cotidiano, experimentan a diario un abanico de fallos que si bien detectables, pasa inadvertido el hecho de que un fallo representa ineludiblemente, un agujero de seguridad que podría haberse evitado.

Es aquí donde la lógica y la metodología científica cumplen un papel esencial para la ingeniería de software, fortaleciendo la seguridad de un programa informático, a fin de tornarlo invulnerable.

Duración del curso, precio y modalidad de cursada

Modalidad: A distancia
(con clases online semanales)

Duración: 12 semanas
(12 clases online de 90' c/u)

Carga horaria total: 60 HS
Clases online: 18 hs (12 clases x 90’ c/u).
Ejercitación offline: 15 hs.
Lecturas: 15 hs.
TPF (opcional): 12 hs (obligatorio para obtención de certificado de aprobación).

Precio real: $535 (USD)

Precio lanzamiento: $240 (USD)

Objetivos

El objetivo general de este curso es dotar al estudiantado de las habilidades necesarias para desarrollar el pensamiento científico, y aplicar su método en la ingeniería del sistema a fin de garantizar su seguridad en tiempo de diseño.

Objetivos específicos

• Dotar al estudiantado del conocimiento necesario para desarrollar el pensamiento lógico y aplicarlo a la Ingeniería del Software.
• Proveer al estudiantado de los mecanismos disponibles en la lógica matemática para definir de forma inequívoca, las restricciones de seguridad del software así como su comportamiento, de forma tal que le permitan aplicar el método científico para garantizar matemáticamente la invulnerabilidad de los datos.
• Nutrir al estudiantado de los conocimientos y métodos necesarios que le permitan llevar a cabo pruebas lógicas para validar la seguridad del software y la invulnerabilidad de los datos.

Incumbencia profesional

Al finalizar este curso, y conforme las bases profesionales preexistentes, las personas que asistan estarán en capacidad de:

• Definir las restricciones de seguridad del software y expresarlas matemáticamente, de forma tal que puedan ser traducidas a código fuente de manera directa, más allá del lenguaje de programación que se utilice.
• Definir matemáticamente el comportamiento del software frente a violaciones de seguridad de los datos, a fin de facilitar el diseño de los algoritmos empleados para su codificación.
• Diseñar las pruebas de seguridad necesarias para verificar la invulnerabilidad de los datos, y validar el comportamiento del programa frente a violaciones de seguridad relativas a la integridad de los mismos.

Destinatarias/os

Este curso de posgrado va dirigido a:

• Personas graduadas y estudiantes de carreras afines a la Ingeniería de Software.
• Personas programadoras y analistas programadoras con al menos 1 año de experiencia en el ejercicio de la profesión.
• Cualquier persona con interés legítimo en la temática del curso.

Contenidos del curso

El curso de Lógica y metodología científica en Seguridad Informática aplicada a la Ingeniería de Software se organiza en tres módulos con la siguiente estructura:

Módulo I. Desarrollo del pensamiento lógico en la ingeniería, aplicado a la seguridad informática.

1. Convertir información convencional en enunciados categóricos codificables: los cómo y los para qué hacerlo.
2. Forma y distribución: ¿Qué son los términos distribuidos y de qué manera impactan en la seguridad informática?
3. Enunciados hipotéticos y su importancia en la ciencia.
4. Silogismos categóricos y hipotéticos: la base del método científico y su utilidad en la seguridad informática.
5. Silogismos disyuntivos falaces y errores de diseño derivados.
6. Las reglas de los silogismos y cómo impactan en la seguridad informática.

Módulo II. Métodos de formalización para el diseño y definición de restricciones de seguridad.

1. La importancia de la especificación de requerimientos y la definición de componentes en la seguridad informática.
2. Restricciones de seguridad en los componentes del software: ¿por qué se incrementa la seguridad del software si se formalizan?
3. eguridad informática y respuesta del sistema: ¿se puede aplicar la lógica matemática para establecer la respuesta del sistema frente a una violación de seguridad?
4. Funciones matemáticas de validación y procedimientos de respuesta como mecanismo de refuerzo de la seguridad del software.

Módulo III. Diseño de pruebas de seguridad para la validación de restricciones y respuestas del sistema.

1. l pensamiento lógico y la importancia del diseño de pruebas conceptuales para la seguridad de los datos.
2. De lo abstracto a lo concreto: elección de datos y simplificación de pruebas.
3. Elementos básicos de las bibliotecas para pruebas unitarias.

Certificación

A las personas inscriptas que asistan a al menos 10 de las 12 clases, se les otorgará un certificado de asistencia emitido por el Elida Bahit Research Centre de Reino Unido.

A las personas inscriptas que habiendo asistido a por lo menos 10 de las 12 clases, completen y aprueben en tiempo y forma el trabajo práctico final (TPF), se les entregará además, un certificado de aprobación, emitido por el Elida Bahit Research Centre de Reino Unido.

Recursos

Este curso pondrá a disposición del alumnado los siguientes recursos:

• Clases en directo a través de Google Meet (compatible con sistemas operativos Unix, Linux, MacOS, Windows, Android, y iOS).
• Material de lectura en PDF (apto para lectores de pantalla).
• Filminas de cada clase disponibles en PDF.
• Grabación de la clase en video para verla en diferido.
• Foro de consultas y debate académico abierto.

Requisitos tecnológicos

Para poder cursar cómodamente, quienes asistan deberán contar con los siguientes requisitos:

• Ordenador con conexión a Internet de al menos 2 Mbits de bajada y 1Mbit de subida.
• Ordenador (portable o de mesa) con navegador Web

La asistencia al curso desde dispositivos móviles está desaconsejada.

Profesorado

Informes e inscripción

Si tienes dudas acerca del curso, o no tienes la seguridad de que este curso sea para tí, puedes escrbirnos a info@elidabahit.co.uk.

Si deseas reservar una plaza en el curso de Lógica y metodología científica en Seguridad Informática puedes hacerlo ahora desde nuestra tienda internacional, ingresando en el siguiente enlace: https://bookshop.elidabahit.co.uk/.

Información de contacto

Si tienes dudas acerca del curso, o no tienes la seguridad de que este curso sea para tí, puedes escrbirnos por e-mail a info@elidabahit.co.uk, o comunicarte por teléfono al 🕿 +44 (20) 8089-1082, o vía Telegram a @EBRCPublisher. También puedes encontrarnos en Twitter y LinkedIn.

Nuestra oficina comercial se encuentra en 71-75 Shelton Street, Covent Garden, Londres. Reino Unido.

Ver mapa más grande.