Análisis de vulnerabilidades desde docker

Definitivamente docker ofrece muchas ventajas a la hora de instalar paquetes de software, en esta ocación listaré un conjunto de imágenes las cuales pueden dar una idea de que tan seguro está nuestro sitio web considerando algunas tecnologías específicas.

WP Scan

docker pull wpscanteam/wpscan
docker run -it --rm wpscanteam/wpscan -u http://dominio.com

Nikto

docker pull frapsoft/nikto
docker run frapsoft/nikto -host https://dominio.com

Modelo de programación relacional

Se obtiene añadiendo dos conceptos al modelo declarativo:

Escogencia no determinista

Dado un conjunto de opciones, se escoge cualquiera

Espacio de computación

Se simula el comportamiento de la máquina en función de una escogencia no determinista

Información adicional

  • Commit hace que se complete una operación Choose en el espacio y se devuelva un resultado
  • Choose espera hasta que el espacio se estabilice, bloquea el estado actual y crea un punto de escogencia.
  • Este paradi...

Modelo de programación orientada a objetos

El modelo de programación orientada a objetos no añade ningún concepto nuevo con respecto del modelo de programación con estado explícito.

Objeto

Se modela como un procedimiento con estado encapsulado

Clase

Un procedimiento que genera nuevas instancias de objetos

Herencia

Mecanismo por el cual se construyen clases a partir de clases existentes

Objetos activos

Objetos que se comunican por medio de puertos, añadiendo la concurrencia por paso de mensajes.

Información a...

Modelo de programación con estado

El estado se define como una secuencia de valores en el tiempo que contienen los resultados intermedios de un proceso de computación. En el modelo declarativo, el estado es implícito, mientras que este modelo con estado lo muestra explícito.

El principio de abstracción dicta que un sistema es igual a la suma de su especificación y su implementación.

Para soportar el principio de abstracción se requieren cuatro conceptos fundamentales:

  • Encapsulación: Debe ser posible ocultar lo inte...

Modelo concurrente declarativo

El modelo concurrente declarativo extiene del modelo declarativo al añadirle ejecución concurrente. Esto quiere decir que las técnicas usadas para el modelo declarativo también son aplicabables a este modelo, y más importante aún: estos programan son deterministas, porque el no determinismo con el que cuentan es No observable, lo que quiere decir que aunque al interior de un programa no se tenga el control de que se ejecuta en que orden, el resultado siempre será el mismo.

Hilos

Para la...