短語詞組短語provable security 可証明安全性;可証明安全;安全性;可証安全性provable mutually 可証provable methods 証明方法security provable 可証安全Provable Principles 可証實性原則Provable logic 可証性邏輯provable debt 可証債項;可証債權;可証債務provable formula 可証公式 返回 provable