请输入您要查询的字词:
单词
形式逻辑分析
释义
形式逻辑分析
Encyclopedia
理学
密码协议分析
释
analyzing cryptographic protocols in mathematical logic
形式逻辑分析
利用数理逻辑分析密码协议安全性的方法。密码协议形式化分析方法的一类。
随便看
下部流动体制
下钻分析
下锥
下闭包
下阶乘
下陆区
下降
下降体系域
下降分支
下降幂
下降归纳法
下降性能飞行试验
下降支
下降数据
下降方向
下降方法
下降时间
下降标度
下降沿
下降法
下降流
下降理论
下降的
下降算子
下降算法
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/4/6 13:45:56