Fortificación del kernel para un sistema embebido

Abstract

En este proyecto se ha trabajado en la fortificación de un kernel Linux. Se ha elegido un hardware Raspberry Pi porque se adapta al propósito de que el dispositivo pueda desplegarse en un entorno como una calle en una ciudad. Se comienza describiendo las opciones de seguridad del kernel para luego centrarse en tres módulos principales tomoyo Linux, AppArmor y SELinux. Con esto se ha logrado analizar las principales opciones de fortificación del kernel y describir los pasos para contruir con kernel con los módulos de seguridad descritos anteriormente.

In this Project, we have worked on the fortification of a Linux kernel. We have chosen the Raspberry Pi hardware because we need a device that could be drop-down in an environment such a street in a city. It begins by describing the kernel security options and then focus on three main modules (tomoyo Linux, apparmor and selinux). With this, it has been posible to analyze the main fortification kernel options and describe the steps to build a kernel with the security modules described above.