Kropiwiec, Diogo, and Paulo Lício de Geus. "Paradigmas de Segurança em Sistemas Operacionais." Anais do IV Workshop em Segurança de Sistemas Computacionais, Gramado, 2004. SBC, 2004, pp.71-82.