Feasibility of Software Patch Verification

Abstract

The goal of this brief effort was to determine the feasibility of developing a process that verifies if critical information system software patches behave as intended and introduce only the specific functionality identified for the patch. Based on our research, examination and experimentation, we have not only determined that it would be feasible to develop such a process, but also that this process and associated technology and standards are desperately needed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2004
Accession Number
ADA425345

Entities

People

  • Chester Hosmer

Tags

Communities of Interest

  • Cyber
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Application Software
  • Authentication
  • Computational Science
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computers
  • Electronic Commerce
  • Electronic Mail
  • Information Processing
  • Information Systems
  • Network Science
  • Operating Systems
  • Performance Tests
  • Risk Analysis
  • Web Browsers

Fields of Study

  • Computer science

Readers

  • Computer Vision.
  • Software Engineering.
  • Systems Analysis and Design