A Guide to understanding design documentation in trusted systems. (National Computer Security Center ;, 1988)