[Trotter80] Trotter, E. T. and Tasker, P. S. Industry, Trusted Computer Systems Evaluation Process, MITRE Corp., Bedford, Mass., MTR-3931, 1 May 1980. []