本发明涉及一种基于分治的程序高阶功耗侧信道安全性的证明方法,其特征在于,包括以下步骤：对于一个含有n个可观察变量的程序,为证明程序是d阶功耗侧信道安全性,即所有大小为d的可观察变量集合的联合统计分布都独立于密钥,本发明的方法通过证明少量可观察变量集合的联合统计分布独立于密钥来证明d阶功耗侧信道安全性。采用本发明的方法可以有效避免组合爆炸问题,从而可以高效地证明程序高阶功耗侧信道安全性。
科研之友
微信
新浪微博
Facebook
分享链接
