{"category":"networking","id":"TID-405","mitigations":[{"id":"MID-008","level":"intermediate","text":"Decidable Protocols and Parsers"},{"id":"MID-032","level":"foundational","text":"System Service Availability Manager"},{"id":"MID-080","level":"foundational","text":"Network Request Processing Limits"},{"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":"Network Stack Resource Exhaustion"}