(untitled) - Department of Defense Trusted Computer System Evaluation Criteria. (DoD 5200.28-STD, 1985)