Operational Semantics and Verification of Security Protocols

已关闭

文献求助详情

标题	[高分] 书籍 Operational Semantics and Verification of Security Protocols 安全协议的操作语义与验证相关领域密码协议计算机安全计算机科学密码学阅读（过程）互联网语义学（计算机科学）万维网政治学程序设计语言法学
网址	https://doi.org/10.1007/978-3-540-78636-8
DOI	10.1007/978-3-540-78636-8 doi
其它	期刊：Information security and cryptography 作者：Cas Cremers; Sjouke Mauw 出版日期：2012-01-01
求助人	vv 在 2025-03-29 18:08:47 发布自海南，悬赏 200 积分
下载
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

求助 / 应助时间线

2天前，求助关闭

vv 求助人 Lv7 关闭了本次求助。

说明找到了【积分已退回】
2天前

科研通AI2.0 机器人未找到该文献，机器人已退出，请等待人工下载

18:08:48 未找到该文献，机器人已退出，请等待人工下载

18:08:47 科研通AI机器人（澳大利亚悉尼）收到请求，开始寻找文献

18:08:47 已向机器人发送请求
2天前

vv 求助人 Lv7 发起了本次求助

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

活动

『应助活动周』正在进行中 🔥 (2025-3-20)

更新

『中科院2025期刊分区』已更新 (2025-3-23)

更新

『即时热点』模块已上线 (2025-2-28)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 耍酷的飞凤的应助被七七七采纳，获得10

9秒前; 耍酷的飞凤上传了应助文件

17秒前; 冬去春来完成签到，获得积分10

52秒前; 李健的小迷弟的应助被fanle1采纳，获得10

1分钟前; 松鼠完成签到，获得积分10

1分钟前; 李健的小迷弟上传了应助文件

1分钟前; fanle1发布了新的文献求助10

1分钟前; 科研通AI5上传了应助文件

2分钟前; twk发布了新的文献求助10

2分钟前; Eva111完成签到，获得积分10

2分钟前; 科研通AI5的应助被科研通管家采纳，获得10

3分钟前; 小透明的应助被科研通管家采纳，获得10

3分钟前; 949发布了新的文献求助10

3分钟前; 科研通AI2S上传了应助文件

3分钟前; 七七七发布了新的文献求助10

3分钟前; 七七七完成签到，获得积分10

4分钟前; 情怀的应助被ling361采纳，获得10

4分钟前; Orange上传了应助文件

4分钟前; 11111发布了新的文献求助10

4分钟前; 斯文败类的应助被我一进来就看到常威在打来福采纳，获得30

4分钟前; 11111完成签到，获得积分10

4分钟前; 小透明的应助被科研通管家采纳，获得10

5分钟前; 林夕完成签到，获得积分10

5分钟前; 浚稚完成签到，获得积分10

5分钟前; ShengQ完成签到，获得积分10

5分钟前; 烟花的应助被羽生结弦的馨馨采纳，获得10

6分钟前; 烟花上传了应助文件

6分钟前; 羽生结弦的馨馨发布了新的文献求助10

6分钟前; 羽生结弦的馨馨完成签到，获得积分10

6分钟前; 科研通AI5的应助被羽生结弦的馨馨采纳，获得30

6分钟前; 小透明的应助被科研通管家采纳，获得10

7分钟前; 耍酷的飞凤上传了应助文件

7分钟前; 情怀上传了应助文件

8分钟前; ling361发布了新的文献求助10

8分钟前; 科研通AI2S上传了应助文件

8分钟前; Zzz_Carlos完成签到，获得积分10

9分钟前; 照照完成签到，获得积分10

9分钟前; 隐形曼青的应助被照照采纳，获得10

9分钟前; twk发布了新的文献求助10

10分钟前; 隐形曼青上传了应助文件

10分钟前