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.

For reading 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.

 

For reference Manual de referencia para el programador Manual del usuario y del administrador Formal security and computer model specification Formal verification of security properties Functional testing HTML Postscript Diseño de Lisex 0.0 y relación entre el modelo y el diseño