[TNEC85] DoD Computer Security Center, Department of Defense Trusted Network Evaluation Criteria, Department of Defense, Fort Meade, Md. 20755, July, 1985. []