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

Volume

31

Issue

4

fYear

1998

fDate

4/1/1998 12:00:00 AM

Firstpage

56

Lastpage

64

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;

fLanguage

English

Journal_Title

Computer

Publisher

ieee

ISSN

0018-9162

Type

jour

DOI

10.1109/2.666843

Filename

666843