Detailed Course Information |
Fall 2024
Nov 09, 2024 |
|
 |
||
 | Click the Schedule Type to find available offerings of the course on the Schedule of Classes. |
| CS 6269 - Formal Info Assur Model |
|
Logical foundations of high-assurance systems, formal models for access control, authentication, and trust; techniques for constructing high-assurance systems.
3.000 Credit hours 3.000 Lecture hours Grade Basis: ALP Dept/Computer Science Department Restrictions: May not be enrolled in one of the following Levels: Undergraduate Semester Must be enrolled in one of the following Campuses: Georgia Tech-Atlanta * Prerequisites: Undergraduate Semester level CS 3500 Minimum Grade of D and Undergraduate Semester level CS 4235 Minimum Grade of D |
| Return to Previous | New Search |
|