Control-flow checking; Error detection coverage; Error detection latency; Fault injection; Watchdog processors;
机译:使用看门狗辅助和扩展精度校验和的控制流检查
机译:HCIC:硬件辅助控制流完整性检查
机译:使用页面级动态跟踪方法检查虚拟机内核控制流程完整性
机译:使用分支指令进行控制流量检查
机译:通过自动证明进行规定性安全检查,以实现控制流完整性。
机译:通过普通教育公民课程的横向阅读教学改善大学生的事实检查策略
机译:HCIC:硬件辅助控制流程完整性检查