短語(yǔ)詞組短語(yǔ)provably unsolvable 可證明之不可解provably exposed 即完全暴露provably safe 可證明安全性provably secure 可證安全;可證明安全provably difficult 可證明之困難provably security 可證明安全provably secure operating system 可驗(yàn)證安全操作系統(tǒng)a provably secure 可證明安全provably -secure 可證明安全 返回 provably