{"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"}