GUALHANO, Mariana; 						VERA, Ausberto; 						MEDEIROS JUNIOR, Roberto.
Biblioteca de Requisitos sobre propriedades de segurança em Sistemas Computacionais. <em>In</em>: ENCONTRO NACIONAL DE COMPUTAÇÃO DOS INSTITUTOS FEDERAIS (ENCOMPIF), 2.	, 2014, Brasília.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2014
.
 p. 65-68. 
			ISSN 2763-8766.