Specification-Based Approaches for Information Assurance

摘要

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.