Research Summaries

Back Analysis of Formal Methods of Boeing MLS LAN (SNS)

Fiscal Year 2008
Division Graduate School of Operational & Information Sciences
Department Computer Science
Investigator(s) Dinolt, George W.
Sponsor Boeing Company (Other)
Summary So far NPS has supported and is collaborating with Boeing on the development of the processes and the interactions among Boeing, the evaluators and NSA. NPS has provided partial evaluation of the specifications and guidance on the development of further specifications. NPS and Boeing are in discussions with the evaluators on the test plan process. In addition, NPS has provided guidance on the development of the mappings between the specifications and the code.
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