Formal Methods
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.
Topics
- Mathematical Logic
- System Modeling and Specification
- Automated Reasoning Tools
- Students should be able to apply formal security policy models to real world scenarios.
- Applications
- Role in system design
Outcomes
- Students should be able to apply formal security policy models to real world scenarios.
KSA-T
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.
| ID |
DESCRIPTION |
| K0052 |
Knowledge of mathematics (e.g. logarithms, trigonometry, linear algebra, calculus, statistics, and operational analysis). |
| K0086 |
Knowledge of system design tools, methods, and techniques, including automated systems analysis and design tools. |
| K00013 |
Knowledge of cyber defense and vulnerability assessment tools and their capabilities. |
| K0080 |
Knowledge of software design tools, methods, and techniques. |
| ID |
DESCRIPTION |
| S0017 |
Skill in creating and utilizing mathematical or statistical models. |
| S0050 |
Skill in design modeling and building use cases (e.g., unified modeling language). |
| S0103 |
Skill in assessing the predictive power and subsequent generalizability of a model. |
| S0160 |
Skill in the use of design modeling (e.g., unified modeling language). |
| ID |
DESCRIPTION |
| A0050 |
Ability to apply system design tools, methods, and techniques, including automated systems analysis and design tools. |
