Summaries - Office of Research & Innovation
Back Techniques for High Assurance and Multilevel Systems
|Division||Graduate School of Operational & Information Sciences|
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|