ge-high-assurance/VERDICT

Experiment with new model in VERDICT

MichaelDurlingGeneralElectric opened this issue · 0 comments

MichaelDurlingGeneralElectric commented

Apply the VERDICT tool to the following UAV model and report back results.

https://github.com/loonwerks/case-ta6-experimental-platform-models/tree/master/Phase-2-UAV-Experimental-Platform

The report out should include

  • What mission requirements were considered?
  • What cyber requirements were considered?
  • What CAPEC's were identified?
  • What NIST 800-53 defenses were recommended?