科研之友
微信
新浪微博
Facebook
分享链接
摘要
本发明涉及一种基于图同构的程序高阶功耗侧信道安全性的证明方法。本发明提供的方法通过变量类型敏感的图同构判定两个变量集合的联合概率分布是否相同。在本发明提供的方法中：将变量的计算表达式转化为抽象语法树或有向无环图等形式；在对表达式化简时,为了保证不会影响验证的结果,采用代数中的等价规则；对于表达式中的常量,通过子表达式替换的方法减少常量时,保证可观察变量集合的联合概率分布不变。通过多个实验,本发明提出的方法可以有效减少模型计数求解的次数,从而提高了验证效率。
-
单位上海科技大学
