请输入您要查询的字词:
单词
analyzing cryptographic protocols in mathematical logic
释义
analyzing cryptographic protocols in mathematical logic
Encyclopedia
理学
密码协议分析
释
analyzing cryptographic protocols in mathematical logic
形式逻辑分析
利用数理逻辑分析密码协议安全性的方法。密码协议形式化分析方法的一类。
随便看
流量计量撬
流量计量橇
流量调节系统
流量-重力图
流量问题
流阻
流鞘模型
流音
流颈
浅井
浅井头墓壁画
浅井忠
浅井钻井
浅体系结构
浅利庆太
浅化
浅化现象
浅受主
浅地层剖面仪
浅地层剖面探测技术
浅地层剖面测量
浅地表地球物理
浅埋暗挖法
浅基础
浅孔爆破落矿
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/2 3:35:07