请输入您要查询的字词:
单词
analyzing cryptographic protocols in mathematical logic
释义
analyzing cryptographic protocols in mathematical logic
Encyclopedia
理学
密码协议分析
释
analyzing cryptographic protocols in mathematical logic
形式逻辑分析
利用数理逻辑分析密码协议安全性的方法。密码协议形式化分析方法的一类。
随便看
Xu Zhene
Xu Zhenming
Xu Zhenqing
Xu Zhenya
Xu Zhenying
Xu Zhi
Xu Zhicai
Xu Zhiheng
Xu Zhihong
Xuzhihong
xuzhilun
Xu Zhimo
Xu Zhiqiao
Xu Zhizhan
Xu Zhongming
Xu Zhongshu
Xu Zhongxing
Xu Zhongyu
Xu Zhongyu’s Self-Selected Literary Essays
Xuzhou
Xuzhou Academy of Agricultural Sciences
Xuzhou city
Xuzhou Economic and Technological Development Zone
Xuzhou Gang
Xuzhou Guanyin International Airport
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/26 0:08:00