Summaries - Office of Research & Innovation
Back Development of Formal Method Strategy for the Next Generation Security Network Server (SNS)
|Division||Graduate School of Operational & Information Sciences|
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.|
|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|