| 标题 |
 Observational equivalence and security games: Enhancing the formal analysis of security protocols 观察等价与安全博弈：增强安全协议的形式化分析
相关领域
计算机科学
密码协议
密码原语
计算机安全模型
观测等值
计算机安全
密码学
保安服务
理论计算机科学
混凝土安全
协议（科学）
信息安全
医学
病理
替代医学
|
| 网址 | |
| DOI | |
| 求助人 | |
| 下载 | |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
浮游
归尘
馆长
GingerF
GPTea
Zoom
jyy
Yuri
唐泽雪穗
wop111
危机的妖妖
xiaoyinni
彩虹儿
不配.
浦肯野
Dean
七月流火
诸葛带你做分析_yorfir
Rita
Yini
含辰惜
mmyhn
遇上就这样吧
Takahara2000
Guanwei
Ava
传奇3
Hayat
皖公网安备34019202002308
