“analyzing cryptographic protocols in mathematical logic”的概念、定义、翻译、参考文献-科学参考

单词	analyzing cryptographic protocols in mathematical logic
释义	analyzing cryptographic protocols in mathematical logic Encyclopedia 理学密码协议分析释 analyzing cryptographic protocols in mathematical logic形式逻辑分析利用数理逻辑分析密码协议安全性的方法。密码协议形式化分析方法的一类。
随便看	激光光致发光照相激光光解激光光谱激光光谱分析仪激光光谱分析法激光光谱学激光光谱法激光光谱电化学法激光光镊术激光全息技术激光全息检测系统激光全息照相法测温激光全息诊断技术激光全站仪激光共振电离光谱法激光[共振]腔激光共振腔激光共振腔技术激光共焦显微镜激光共聚焦扫描显微镜激光共聚焦显微镜激光共聚焦荧光显微成像激光内窥镜激光内镜术治疗激光冲击强化

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