Title :
A communication protocol for a multi-level secure network
Author :
Mazeikis, Andrew J. ; MacEwen, Glenn H.
Author_Institution :
Dept. of Comput. & Inf. Sci., Queen´´s Univ., Kingston, Ont., Canada
Abstract :
An implementation of the SNet multi-level secure distributed system is described in the context of the specifications and the security model for SNet. This implementation contains a communication protocol that satisfies the specification and thereby enforces the security policy. The location of the trusted security kernel software is explicitly identified relative to the protocol layers. An informal argument is given to show how the protocol satisfies the specification and the security model
Keywords :
computer networks; distributed processing; protocols; security of data; SNet; communication protocol; distributed system; multi-level secure network; specifications; trusted security kernel software; Circuits; Communication system security; Computer security; Data security; Information security; Kernel; Lattices; Network interfaces; Protocols; Switches;
Conference_Titel :
Communications Software, 1991, 'Communications for Distributed Applications and Systems', Proceedings of TRICOMM '91., IEEE Conference on
Conference_Location :
Chapel Hill, NC
Print_ISBN :
0-87942-649-7
DOI :
10.1109/TRICOM.1991.152879
