Structured specification of a Security Kernel. - Kenneth G. Walter; Samuel I. Schaen; William F. Ogden; William C. Rounds; D. G. Shumway; D. D. Schaeffer; K. J. Biba; Franklyn T. Bradshaw; S. R. Ames; J. M. Gilligan (Reliable Software, 1975)

Trusted Networks. - S. R. Ames (COMPCON, 1987)