NOTA: quien considere que conoce un sitio Web de interés sobre alguno de estos temas le rogamos escriba un mail a Maximiliano Cristiá (profesor responsable) o a Emilio Siningen (encargado de la página) indicando URL y tema. Gracias.

Generales:

	GIDIS Grupo de Investigación y Desarrollo en Ingeniería de Software. Sistema Lisex, GIDIS Trusted Linux, otros proyectos.
	Análisis de Sistemas Asignatura LCC: lenguajes formales de especificación y diseño orientado a objetos.
	Ingeniería de Software Asignatura LCC: estilos arquitectónicos, testing y verificación formal.
	Trusted System Design, Analysis, and Development Curso de la Universidad de Nebraska. Contiene papers, links, libros, etc..
	ACSA Information Security Bookshelf Libros, publicaciones, papers sobre Seguridad Informática.
	MITRE's Information Security Center Technical Papers.
	Center for High Assurance Computer Systems (CHACS) Publications Publicaciones.
	Dorothy Denning's Publications Publicaciones.
	Computer Security and Privacy Curso de la Universidad de California.
	Information Security Group Royal Holloway, Universidad de Londres.
	C.d.L. Informatica Università di Bologna.
	Fred B. Schneider Publications Publicaciones.

Software útil:

	RAR Archivador. Maneja archivos RAR, ZIP y de otros formatos (Windows, Linux, MacOS, FreeBSD, DOS y OS/2).
	WinZip Archivador. Maneja archivos compactados con gzip de GNU y otros formatos (Windows).
	Ghostscript Intérprete para el lenguaje PostScript y para PDF, software relacionado y documentación (Windows, Linux, MacOS y OS/2).
	Acrobat Reader Software para visualizar e imprimir archivos en formato "Portable Document Format" (PDF) en todas las plataformas principales.
	Doxygen Sistema de documentación para C, C++, Java, etc. (Linux, Windows, Sun Solaris, Mac OS X).