Title :
Design and assurance strategy for the NRL Pump
Author :
Kang, Myong H. ; Moore, Andrew P. ; Moskowitz, Ira S.
Author_Institution :
US Naval Res. Lab., Washington, DC, USA
fDate :
4/1/1998 12:00:00 AM
Abstract :
The NRL Pump forwards messages from a low level system to a high level system and monitors the timing of acknowledgments from the high level system to minimize leaks. It is the keystone to a proposed architecture that uses specialized high assurance devices to separate data at different security levels. We describe the software design and assurance argument strategy for this device, the Network NRL Pump, which can be used in any multilevel secure distributed architecture. We have completed the system requirements and logical design of a prototype pump and are working on its physical design
Keywords :
message passing; safety-critical software; security of data; software fault tolerance; system monitoring; Network NRL Pump; acknowledgments; assurance strategy; high assurance devices; high level system; logical design; low level system; multilevel secure distributed architecture; security levels; software design; system requirements; timing; Communication system security; Computer architecture; Data security; Distributed computing; Information security; Local area networks; Monitoring; Prototypes; Software prototyping; Timing;
