“theorem proving analysis”的概念、定义、翻译、参考文献-科学参考

单词	theorem proving analysis
释义	theorem proving analysis Encyclopedia 理学密码协议分析释 theorem proving analysis定理证明分析利用定理证明技术分析密码协议安全性的方法（即利用数学方法证明协议安全性）。这一方法考虑协议的所有行为，验证这些行为满足正确条件集合。
随便看	太阳能热发电站太阳能热发电蓄热系统太阳能热水器太阳能热水系统太阳能热电站太阳能-热能储存太阳能热能储存太阳能电池太阳能电池卷对卷加工技术太阳能电池叶片太阳能电池材料太阳能电池板太阳能空调太阳能空间电站太阳能资源太阳能资源观测系统太阳能转化效率太阳能转换太阳能转换染料太阳能集热器太阳能飞机太阳能高分子转换材料太阳脉冲式X射线暴太阳脉冲式硬X射线爆发太阳脉动

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。