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.

Outcomes[edit]

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

Topics[edit]

  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 #

Skills[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]

Contacts[edit]

Reference ID[edit]

FMD