Research Summaries

Back Software Crypto Modeling

Fiscal Year 2008
Division Graduate School of Operational & Information Sciences
Department Computer Science
Investigator(s) Dinolt, George W.
Sponsor National Security Agency (Other-Fed)
Summary Evaluate mathematical modeling techniques that could be used to support the detecting and handling of failures in software intensive encryption/decryption units. The failures identified would come from a formal model of the hardware and potential hardware failures.
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