National Bureau of Standards, Security Analysis and Enhancement of Computer Operating Systems (NBSIR 76-1041) (Apr. 1976) (full-text).