请输入您要查询的字词:
单词
形式逻辑分析
释义
形式逻辑分析
Encyclopedia
理学
密码协议分析
释
analyzing cryptographic protocols in mathematical logic
形式逻辑分析
利用数理逻辑分析密码协议安全性的方法。密码协议形式化分析方法的一类。
随便看
邓叔群
邓台梅
邓城遗址
邓基,J.W.
邓多,C.
邓子新
邓季惺
邓守智
邓小刚
邓小平
邓小平南方谈话
邓小平故居
邓小平故居陈列馆
邓小平故里
邓小平文选
邓小平新闻思想
邓小平理论
邓尔雅
邓岗
邓州市
邓巴,P.L.
邓广铭
邓廷桢
邓志谟
邓忠臣
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/25 8:16:22