individual communications / local area network / T%e network / state satisfying s_a_network / encryption hardware / message processing / Host processors / s_a_network / s_u_network / distributed semre systems / multi-level loud area network / communications component / secure network / multi-level secure computer systems / communications aspect / fmt network products / /
Organization
Duke University / NSD / Network Security Center / Computer Security Center / Department of Defense / Institute for Computing Science / University of Texas / /
Person
Bell Padula / La Padula / Andrew P. Moore / John McHugh / Richard Kemmerer / /
Position
king / model / scheduler / network seeurity officer / /
A SECURPI’Y POLICY AND FORMAL TOP LEVEL SPEC~CATiON FOR A MULTI-LEVEL SECURE LOCAL AREA NETWOIW (Extended Abstract)