Specification-Based Techniques in Information Assurance

This project is supported by a Department of Defense Critical Infrastructure Protection and Information Assurance Fellows award from Air Force Office of Scientific Research.

The primary goal of this proposal is to develop a training program for a CIPIA fellow in the context of our research program in Specification-based Intrusion Detection and Response. 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 seeks 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.

Daniel C. DuVarney held the CIPIAF fellow position from February 2002 through June 2003. He is continuing on as a postdoctoral researcher in the Model-Carrying Code project.