Department of Computer Science

University of Idaho

Jim Alves-Foss

jimaf@cs.uidaho.edu

Computer Science Home Page Univ. of Idaho Home Page

Java 1.2 On-line Documentation

Schedule

Biography

Jim Alves-Foss is a professor of computer science and is the Director of the Center for Secure and Dependable Systems (est. 1998). He has been at the University of Idaho since 1991.

Dr. Alves-Foss received his Ph.D in Computer Science from the University of California, Davis (UCD) in 1991, his M.S. in Computer Science from UCD in 1989 and his B.S. in Physics, Mathematics and Computer Science from UCD in 1987.

Full curriculum vitae

Teaching

I teach classes in computer networks, computer operating systems, theory of programming languages and computer security. Note that many of these courses are offered through the UI engineering video outreach program (208-885-6373) on DVD These courses can be taken for UI credit or audit, or rented/purchased for corporate viewing. I am open to discussing free use of this material by other instructors, just drop me a note.

Spring 2007

Advanced Information Assurance The Book is "Computer Security: Art and Science", by Matt Bishop. Addison-Wesley 2003.

NOTE: See the viewing information page for information on how to view files found in these directories.

Research

MILS
Formal methods in software engineering
Surveying network information flow

See SNIF Overview for an overview of the SNIF project.

Authentication Protocol Research

Development of new authentication protocols
Analysis of authentication protocols and their logics

Microprocessor verification
Formal semantics of programming languages

The semantics of the JAVA language

The security of real-time embedded systems
List of Publications