The intent of the Formal Methods Knowledge Unit is to provide students with a basic understanding of how mathematical logic can be applied to the design of secure systems.
- Mathematical Logic
- System Modeling and Specification
- Automated Reasoning Tools
- Students should be able to apply formal security policy models to real world scenarios.
Below are the Knowledge, Skills, Abilities and Tasks (KSA-T) identified as being required to perform this work role.
Learn More about the KAS-T's.
||Knowledge of mathematics (e.g. logarithms, trigonometry, linear algebra, calculus, statistics, and operational analysis).
||Knowledge of cyber defense and vulnerability assessment tools and their capabilities.
||Skill in creating and utilizing mathematical or statistical models.
||Skill in assessing the predictive power and subsequent generalizability of a model.
||Skill in the use of design modeling (e.g., unified modeling language).