reeds & mcilroy, the ix system.  described in cstr 163:

This is really a collection of papers, and has been split into pieces:
to get all of them, say
	send 163a 163b 163c 163d 163e 163f 163g 163h 163i from research/cstr.

The IX Multilevel-Secure UNIX System
Contents:
163a Cover, 1 page
163b Abstract, 1 page
163c General description, 19 pages
163d Detailed specification of kernel behavior, 32 pages
163e Examples of use, 11 pages
163f Multilevel terminal, 3 pages
163g Secure network proposal, 8 pages
163h Glossary, 2 pages
163i Manual pages, 50 pages