>>16
Multicsはちゃんと製品として売り出されていたし、
60年代に開発されたOSだが、10年くらい前までDoDで現役で動いてた。
オレンジブックのB1 securityもかなり初期に通っていた。

まともに動いてないと思っている人が多いんだけども。
当時大掛かりで複雑で斬新なシステムだったのは本当だけど、
今現在の視点で見ると、(当たり前だが)大したことない。