Forgot your password?
New user?
Document Actions
mcristia
Up one levelÁrea de la página de inicio que contiene los ítems creados y recopilados por mcristia
- Security Model of GLT version 0.8 by Maximiliano Cristia — last modified 2006-10-27 08:38
- This is a Z model for a multi-level secure Linux operating system. It includes the specification of many system calls, user commands, and programming language instructions. In oposition to the current theory and practice, GTL security model features a dynamic information flow control mechanism. The model has not been verified.