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