短語詞組短語the differential provable security 差分可証明安全性provable security analysis 可騐安全分析the linear provable security 線性可証明安全性differential provable security 差分可証明安全性Provable Security for Physical Cryptography 旁道攻擊安全証明security provable 可証安全 返回 provable security