Accession Number:

ADA588769

Title:

High Assurance Software

Descriptive Note:

Final rept. 15 Jun 2007-30 Sep 2013

Corporate Author:

NEBRASKA UNIV AT OMAHA

Personal Author(s):

Report Date:

2013-10-22

Pagination or Media Count:

9.0

Abstract:

The High Assurance Software funding source was used to conduct advanced research in several areas related to software and security. The grant was used primarily in five research areas the study of software vulnerabilities by the use of semantic templates, the study of software reliability relative to the release cycle and architecture of the source, prediction of cyber attacks based on the analysis of open-source intelligence, examination of computer viruses using bioinformatics tools, and the anticipation and avoidance of intellectual property theft through software obfuscation.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE