基於控制流證明證據的驗證與漏洞修復

控制流證明 (CFA) 能夠有效地檢測出傳統遠端驗證無法識別的執行時攻擊，但前提是驗證方 (Vrf) 能夠有效地分析收到的證據並修復漏洞。