[Schell79] Schell, R. R., Security Kernels: A Methodical Design of System Security, Technical Papers, USE Inc. Spring Conference, 5-9 March 1979, pp. 245-250. []