| 标题 |
 A Logic to Model Time in Cryptographic Protocols 密码协议中时间建模的逻辑
相关领域
密码协议
计算机科学
谓词（数理逻辑）
密码原语
密码学
理论计算机科学
模态逻辑
协议（科学）
谓词逻辑
情态动词
描述逻辑
算法
程序设计语言
医学
化学
替代医学
病理
高分子化学
|
| 网址 | |
| DOI | |
| 求助人 | |
| 下载 | |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
毛豆
cocolu
VDC
丰知然
模糊中正
彭于彦祖
ceeray23
卡卡
十七
36456657
无名老大
我是站长才怪
iNk
sutharsons
tuanheqi
pluto
5度转角
方羽
不配.
yar
皖公网安备34019202002308
