•    Employment
  •    Academia
  •    Research
    • NICE Framework
    • CAE Program

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

  1. Mathematical Logic
  2. System Modeling and Specification
  3. Automated Reasoning Tools
  4. Students should be able to apply formal security policy models to real world scenarios.
  5. Applications
  6. Role in system design

Outcomes

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

  • Knowledge
  • Skills
  • Abilities
  • Tasks
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.
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).
S0050 Skill in design modeling and building use cases (e.g., unified modeling language).
ID DESCRIPTION
A0050 Ability to apply system design tools, methods, and techniques, including automated systems analysis and design tools.
ID DESCRIPTION