“定理证明分析”的概念、定义、翻译、参考文献-科学参考

单词	定理证明分析
释义	定理证明分析 Encyclopedia 理学密码协议分析释 theorem proving analysis定理证明分析利用定理证明技术分析密码协议安全性的方法（即利用数学方法证明协议安全性）。这一方法考虑协议的所有行为，验证这些行为满足正确条件集合。
随便看	城市绿地率城市绿地的奢侈效应城市绿地系统城市绿地系统规划城市绿地结构布局城市绿线城市绿线管理办法城市绿道城市美化运动城市美学城市群城市群交通运输城市群城际铁路城市群经济城市群规划城市职能城市联席会议制度城市聚集经济城市自然保护地城市自然地理学城市自然灾害区划城市航站楼城市良治城市节约用水管理规定城市营销

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