These ideas originated in the 1970s with the GNOSIS/KeyKOS[0][1] operating system. I wrote an informal summary here: https://github.com/void4/notes/issues/41 ht

These ideas originated in the 1970s with the GNOSIS/KeyKOS[0][1] operating system. I wrote an informal summary here: https://github.com/void4/notes/issues/41 https://github.com/void4/notes/issues/41 So they are old, but there's a wave of new projects using them again. [0] http://cap-lore.com/CapTheory/KK/ http://cap-lore.com/CapTheory/KK/ [1] https://en.wikipedia.org/wiki/KeyKOS https://en.wikipedia.org/wiki/KeyKOS