Implementing Type-driven System Architecture to Eliminate Code injections in Cyber-Physical Systems

Keyphrases

• System Architecture 100%
• Cyber-physical Systems 100%
• Code Injection 100%
• Type Systems 100%
• Drive System 100%
• Critical Infrastructure 50%
• Well-defined 50%
• Invalid 50%
• Systems Approach 50%
• Parsing 50%
• Parser 50%
• Code Injection Attack 50%
• Interpreter 50%
• Formal Languages 50%
• Untrusted Nodes 50%
• Lang 50%

Computer Science

• Cyber Physical Systems 100%
• Code Injection 100%
• System Architecture 100%
• Type System 100%
• Critical Infrastructure 50%
• Formal Language 50%
• Parsing 50%
• Code Injection Attack 50%
• Interpreter 50%