Jim Alves-Foss, Ph.D.Professor
Research Areas: Information Assurance including: Computer Security, Formal Methods, Design and Analysis of High Assurance Systems, Cryptographic Protocol Design, Security Policy Engineering, Multi-Level Secure Systems, and the MILS Architecture (Multiple Independent Levels of Security)
» View Jim Alves-Foss' profile