Specification-Based Approaches for Information Assurance

Abstract

The primary goal of this project is to develop a training program for a CIPIA fellow in the context of our research program outlined above. The fellow's research will center on predicting, preventing, monitoring and responding to intruder attacks. The research/training program is designed to exploit the PI's unique combination of qualifications in order to attract researchers that are currently working in areas other than information assurance. It seeds to provide them attractive opportunities that will enhance the likelihood of continued research by the fellow in information assurance, even after the conclusion of this project. The CIPIA Fellowship was awarded to Dan DuVarney, who was supported from February 2002 through June 2003. During his tenure as a CIPIA Fellow, Dan was a key contributor in several research projects, including; development of benign software mutations, collaboration with the PI'S on development of model-extraction techniques for the Model-Carrying Code, and model extraction of communications protocols from systems code.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 15, 2003
Accession Number
ADA418074

Entities

People

  • Daniel C. Duvarney
  • R. Sekar

Organizations

  • Stony Brook University

Tags

DTIC Thesaurus Topics

  • Application Software
  • Communications Protocols
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • Detection
  • Extraction
  • Information Assurance
  • Monitoring
  • Mutations
  • Operating Systems
  • Security
  • Specifications
  • Teamwork
  • Training

Readers

  • Research Science/Academic Research
  • Software Engineering.