RISOS (Research Into Secure Operating Systems) project [1].
RISOS proposed and described seven categories of operating
system security defects. The purpose of the project was to
understand security problems in existing operating systems,