MATRAZ

El Flux Advanced Security Kernel ( FLASK ) es una arquitectura de seguridad de sistema operativo que proporciona soporte flexible para políticas de seguridad. Es una iniciativa conjunta entre la Agencia de Seguridad Nacional (NSA) , la Universidad de Utah y el proyecto Secure Computing Corporation, diseñada para proporcionar un marco para un sistema operativo más seguro . Su desarrollo e implementación comenzaron con el microkernel Mach y, posteriormente, se centraron en el sistema operativo Linux . FLASK es un marco fundamental en sistemas operativos orientados a la seguridad, como Security-Enhanced Linux (SELinux) de la NSA , OpenSolaris FMAC y TrustedBSD . Esto significa que SELinux puede considerarse una implementación de FLASK. ^{[ 1 ] [ 2 ]}

• Sitio FLASK de la Universidad de Utah
• SELinux de la NSA
• TrustedBSD
• Proyecto OpenSolaris: Control de acceso obligatorio flexible
• Flask: Núcleo de seguridad avanzada Flux
• GFAC: Un concepto de marco similar implementado en RSBAC.