Aquí listamos toda la documentación del proyecto. Los documentos cuyos títulos están en inglés, sólo están disponibles en ese idioma.

De consulta Introducción a la seguridad de Lisex 0.0. Formal verification of an extension of a secure, compatible unix file system

 

De referencia Manual de referencia para el programador Manual del usuario y del administrador Especificación formal del modelo y propiedades de seguridad de Lisex 0.0 Verificación formal de las propiedades de seguridad de Lisex 0.0 Testing funcional efectuado sobre Lisex 0.0 HTML Postscript Diseño de Lisex 0.0 y relación entre el modelo y el diseño