[dismas]

The Data Security page is very interesting as well: https://multicians.org/multics-data-security.html

AIM and MAC seem like a very interesting system for enforcing security guarantees, and they partially solved the malicious dependencies problem as well.