Department of Defense standard Department of Defense trusted computer system evaluation criteria (U.S. Government Printing Office, 1987)