Protection of information in computer systems - Clark, David D; Redell, David D (Washington IEEE, 1975)