cyber-resiliency

There are 0 repository under cyber-resiliency topic.

ge-high-assurance / VERDICT
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
cyber-resiliency behavioral-analysis architecture-analysis system-engineering fault-tree attack-defense model-checking
Language:Java 39

ge-high-assurance / VERDICT