Fiscal Year	2009
Division	Graduate School of Operational & Information Sciences
Department	Computer Science
Investigator(s)	Fouts, Douglas J. Dinolt, George W.
Sponsor	Boeing Company (Other)
Summary	Boeing is a leader in providing highly secure network solutions and information assurance. The SNS-4000 series is Boeing's next generation high assurance Multilevel Secure (MLS) guard based on Field-Programmable Gate Array (FPGA) components. NPS and Boeing will collaborate to develop a Formal Methods Strategy for the new SNS-4000 series, including generating the model for the entire system. Additionally, the components will be tested and evaluated for Common Criteria Evaluation Assurance Level 7.
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