Formal Info Assur Model — Logical foundations of high-assurance systems, formal models for access control, authentication, and trust; techniques for constructing high-assurance systems.
Prereqs: All of:
Taught by nobody this semester.