Análisis realizado sobre una especificación no procedimental, formal y del sistema que localiza los flujos potenciales de información entre variables del sistema. Al asignar niveles de seguridad a las variables, el análisis puede encontrar algunos tipos de canales encubiertos.
