Here is listed all Lisex 0.0 documentation. Just those documents with their titles in English are available in English. The rest of them will be translated as soon as possible.
Introducción a la seguridad de Lisex 0.0.
Formal verification of an extension of a secure, compatible UNIX file system (Master's Thesis)
Formal verification of an extension of a secure, compatible UNIX file system, a summary of the previous document.
A MLS Linux Prototype Called Lisex is an article which describes the design and implementation of Lisex 0.0.