| 标题 |
[高分]
 Logic for verifying public-key cryptographic protocols 用于验证公钥密码协议的逻辑
相关领域
计算机科学
密码协议
公理
协议（科学）
钥匙（锁）
理论计算机科学
计算机安全
推理规则
描述逻辑
密码原语
密码学
程序设计语言
数学
医学
病理
替代医学
几何学
|
| 网址 | |
| DOI |
暂未提供，该求助的时间将会延长，查看原因？
|
| 求助人 | |
| 下载 | |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
yznfly
SYLH
鸣笛
眯眯眼的衬衫
aldehyde
从容芮
coolkid
热心市民小红花
yar
iNk
eric888
shinysparrow
子车茗
pluto
彭于彦祖
无私的芹
怡然的代玉
剑指东方是为谁
Sid
聪慧的凡灵
皖公网安备34019202002308
