Gualhano, Mariana, 		Vera, Ausberto, E 		Medeiros Junior, Roberto.
" Biblioteca de Requisitos sobre propriedades de segurança em Sistemas Computacionais" <em>Anais do Encontro Nacional de Computação dos Institutos Federais (ENCompIF)</em> [Online], (28 julho 2014)