K. G. Walter

Initial Structured Specifications for an Uncompromisable Computer Security System

K. G. Walter, W. F. Ogden, J. M. Gilligan, 1975 .

Primitive Models for Computer Security

K. G. Walter, W. F. Ogden, F. T. Bradshaw, 1974 .

Structured specification of a Security Kernel

K. J. Biba, K. G. Walter, W. F. Ogden, 1975 .

Structured specification of a Security Kernel

K. J. Biba, K. G. Walter, W. F. Ogden, 1975, Reliable Software.

Alternating semantic evaluator

Mehdi Jazayeri, Kenneth G. Walter, K. G. Walter, 1975, ACM '75.