Jim Alves-Foss CSDS Director Director - Center for Secure and Dependable Systems Center for Secure and Dependable Systems University of Idaho P.O. Box 441008 Moscow, ID 83844 Research Projects: A Life-Cycle Engineering Approach to the Design and Implementation of Reliable Software Systems Information Assurance (IA) Research and Development: High Assurance Kernel Research Feasibility and Planning Study for the Design, Specification, and Verification of MILS CORBA Middleware CSDS REU: Developing Undergraduate Research in Computer Network-Based Intrusion Detection and Information System Protection Software Security Research: Cryptographic Protocol Design and Analysis Software Security Research: Secure Distributed Architectures Network Authentication Protocols: Theory of Secure Designs Wind River Proof System Tools SOW 3 of the SKPP Verification Project