| 标题 |
 A Logic to Model Time in Cryptographic Protocols 密码协议中时间建模的逻辑
相关领域
密码协议
计算机科学
谓词（数理逻辑）
密码原语
密码学
理论计算机科学
模态逻辑
协议（科学）
谓词逻辑
情态动词
描述逻辑
算法
程序设计语言
医学
病理
化学
高分子化学
替代医学
|
| 网址 | |
| DOI | |
| 求助人 | |
| 下载 | |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
SYLH
yznfly
鸣笛
眯眯眼的衬衫
aldehyde
从容芮
coolkid
yar
热心市民小红花
iNk
eric888
shinysparrow
子车茗
pluto
彭于彦祖
无私的芹
怡然的代玉
剑指东方是为谁
Sid
聪慧的凡灵
皖公网安备34019202002308
