异构冗余系统的安全性分析 (Security Analysis of Heterogeneous Redundant Systems)