CARINAE™ - Scaleable Cyber Defense Analysis
CARINAE is a reasoning system that reduces uncertainty for large-scale deployment of cyber defenses. CARINAE provides resource (e.g., bandwidth, memory, and computational) performance assessments for large networks supporting diverse operational missions and defensive applications. CARINAE is being applied to moving target defense analysis, cloud resource allocation, and mission assured networking. Focused on net-centric enterprise systems, CARINAE leverages constraint-based reasoning and open-source, industry-standard tools to analyze the interactions among network configurations and mission requirements. CARINAE provides analytical assurances that cyber defense operations accomplish their objectives do not cause self-inflicted denial-of-service.