Security Model of GIDISS Trusted Linux 0.1 Z Version 0.8.0 MaximilianoCristi´a mcristia@fceia.unr.edu.ar mcristia@flowgate.net Grupo de Investigaci´on y Desarrollo en Ingenier´ ıa de Software y Seguridad Facultad de Ciencias Exactas, Ingenier´ ıa y Agrimensura Universidad Nacional de Rosario Flowgate Security Consulting Rosario Rep´ ublica Argentina April 3, 2006