Department of Defense, Computer Security Center. Trusted computer system evaluation criteria (1985)