{
  "category": "networking",
  "id": "TID-404",
  "mitigations": [
    {
      "id": "MID-008",
      "level": "intermediate",
      "text": "Decidable Protocols and Parsers"
    },
    {
      "id": "MID-032",
      "level": "foundational",
      "text": "System Service Availability Manager"
    },
    {
      "id": "MID-088",
      "level": "leading",
      "text": "Formally Verified Parsers"
    },
    {
      "id": "MID-089",
      "level": "leading",
      "text": "Formal Methods Verification of Critical Functionality Implementation"
    }
  ],
  "properties": [
    {
      "id": "PID-41",
      "text": "Device exposes remote network services"
    }
  ],
  "text": "Remotely Triggerable Deadlock/DoS"
}