Libros / Papers:

• Building a secure computer system, Cap. 1 al 7 (PDF - 975 KB)

• Information security - An integrated collection of essays, 1 y 2 (PDF - 318 KB)

• Secure computer systems: a mathematical model (PDF - 159 KB)

• The specification and modeling of computer security (PDF - 53 KB)

• A lattice model of secure information flow (PDF - 652 KB)

• Security policies and security models (PDF - 907 KB)

• A comparison of commercial and military computer security policies (PDF - 998 KB)

• Protection in operating systems (PDF - 1008 KB)

• A general theory of security properties (PDF - 92 KB)

• Defining liveness (PS - 390 KB)

• Building a secure computer system, Glosario (PDF - 158 KB)

Transparenicas:

• Clase 1 (PPT - 23 KB)

• Clase 2 (PPT - 31 KB)

• Clase 3 (PPT - 44 KB)

Ejemplos "Modificación del Kernel de Linux":

• Clase 1 (22 KB)

• Clase 2 (9 KB)