| 标题 |
[高分]
 Logic for verifying public-key cryptographic protocols 用于验证公钥密码协议的逻辑
相关领域
计算机科学
密码协议
公理
协议（科学）
钥匙（锁）
理论计算机科学
计算机安全
推理规则
描述逻辑
密码原语
密码学
程序设计语言
数学
医学
病理
替代医学
几何学
|
| 网址 | |
| DOI |
暂未提供，该求助的时间将会延长，查看原因？
|
| 求助人 | |
| 下载 | |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
毛豆
cocolu
VDC
丰知然
模糊中正
彭于彦祖
ceeray23
卡卡
36456657
十七
无名老大
我是站长才怪
iNk
sutharsons
tuanheqi
pluto
5度转角
方羽
不配.
yar
皖公网安备34019202002308
