Department of Defense trusted computer system evaluation criteria. (CSC-STD ;, 1987)