Research Summaries

Back NRL II Pump Analysis

Fiscal Year 2014
Division Graduate School of Operational & Information Sciences
Department Computer Science
Investigator(s) Dinolt, George W.
Sponsor Naval Undersea Warfare Center-Keyport Division (Navy)
Summary The NRL Pump II is the second version of a device (guard) used to move data from Low security computing environments to High security environments, ensuring that information will not flow from High to Low during the transfer. I will be part of a team that will be developing technology to provide a "high assurance" evaluation of the device and apply that technology to provide assurance that the device operates "as advertised".
Keywords
Publications Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal