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