 The work that came out of this group distinguished Computer Science theory from other fields.It also brought the field of formal language theory to bear on programming language research.In 1975, he developed the HRU security model (named after its authors Harrison, Ruzzo, Ullman), an operating system level computer security model dealing with the integrity of access rights in the system.