[thvv]

Folks interested in this may like the page "B2 Security Evaluation" at https://multicians.org/b2.html.

It looks at the Multics OS secuirty experience, and has pointers to the document titling this thread, which we called the "Anderson Report", and Steve's paper, as well as related documents including the Ware Report, MITRE theory papers, and conference papers. It also describes what Multics did to get the B2 rating and what we learned.