Research Summaries

Back Techniques for High Assurance and Multilevel Systems

Fiscal Year 2008
Division Graduate School of Operational & Information Sciences
Department Computer Science
Investigator(s) Levin, Timothy E.
Martell, Craig H.
Irvine, Cynthia E.
Herzog, Jonathan C.
Sponsor Office of Naval Research (Navy)
Summary The objective of this research is to explore three areas which promise to result in high impact advances in the areas of protocol analysis of protected communications channels, the application of authorship attribution techniques to ensure the proper filtering of information prior to downgrade by cross domain guards, and an automated framework for the static analysis of covert channels and other system security properties.
Keywords High Assurance Testing Protocol Analysis Natural Language Processing MLS
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