4.3.3 算法描述及其安全性证明