Formal Methods (2020)

From CyberEdWiki
Jump to: navigation, search

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.


  1. Students should be able to apply formal security policy models to real world scenarios.


  1. Concept of Formal Methods
  2. Mathematical Logic
  3. Applications
    1. Role in system design
    2. Role in software engineering
  4. Limitations
  5. Bell-LaPadula (as an example formal model)
  6. Automated Reasoning Tools
  7. System Modeling and Specification
  8. Proofs and Verification


NICE Framework Categories[edit]

CSEC 2017 Categories[edit]

Specialization Areas[edit]

See also[edit]

Related Knowledge Units

Further reading[edit]

Suggested textbooks[edit]

Suggested academic readings[edit]

Sample knowledge test[edit]

Sample skills test[edit]

Sample abilities test[edit]

Additional notes or materials[edit]


Reference ID[edit]