High Assurance Software

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 22, 2013
Accession Number
ADA588769

Entities

People

  • William R. Mahoney

Organizations

  • University of Nebraska Omaha

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Computational Science
  • Computer Languages
  • Computer Network Security
  • Computer Programming
  • Computer Science
  • Computer Viruses
  • Computers
  • Cyberattacks
  • Cybersecurity
  • Electronic Mail
  • Engineering
  • Information Assurance
  • Information Science
  • Reliability
  • Software Development
  • Vulnerability

Fields of Study

  • Computer science
  • Engineering

Readers

  • Cybersecurity.
  • Software Engineering.
  • Systems Analysis and Design

Technology Areas

  • Cyber