PRIMA: policy-reduced integrity measurement architecture
A Comparison of Commercial and MilitarY computer Security Policies