3.4.4 安全性证明