Forgot your password?
New user?
Document Actions
Security Model of GLT version 0.8
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.
Size 655.8 kB - File type application/pdf
Click here to get the file