formal verification; program debugging; real-time systems; security of data; CONVERSE; COTS design strategy; IEEE-ISTO Nexus 5001 standard; commercial off-the-shelf; control-flow checking; control-flow verification system; hardware-based intrusion detection; real-time debug interface; return-oriented programming attacks; Data mining; Hardware; Malware; Radio frequency; Real-time systems; Receivers; Runtime;
机译:资源受限的实时嵌入式系统的WCET感知部分控制流检查
机译:一种用于检测嵌入式软件中软错误的有效控制流检查技术
机译:SWIFTID:基于灯光的实时入侵检测系统和并联入侵检测机构
机译:通过实时调试接口进行入侵检测的控制流检查
机译:流程取证:检查点和入侵检测的十字路口。
机译:基于基于表面肌电图的人机界面的实时捏到缩放运动检测
机译:基于模型检查的入侵检测系统评估模型