Research Summaries

Back Development of Formal Method Strategy for the Next Generation Security Network Server (SNS)

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