#### 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

#### 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). |

K00013 |
Knowledge of cyber defense and vulnerability assessment tools and their capabilities. |

ID |
DESCRIPTION |

S0017 |
Skill in creating and utilizing mathematical or statistical models. |

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). |