{"category":"application software","id":"TID-326","mitigations":[{"id":"MID-077","level":"foundational","text":"Secure Deserialization"},{"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-3121","text":"Device includes support for object oriented programming languages(e.g., Java, Python, PHP, C++)"}],"text":"Insecure Deserialization"}