Formal Verification in Cyberspace Security: Application of Computer Science Theory in Protocol Vulnerability Detection

已关闭

文献求助详情

标题	Formal Verification in Cyberspace Security: Application of Computer Science Theory in Protocol Vulnerability Detection 网络空间安全中的形式化验证：计算机科学理论在协议漏洞检测中的应用
网址	http://dx.doi.org/10.62639/SSPJINSS04.20250202
DOI	10.62639/SSPJINSS04.20250202 doi
求助人	永恒星在 2025-06-30 23:04:51 发布自湖北，悬赏 10 积分
下载

上个求助

下个求助

求助 / 应助时间线

4小时前，求助关闭

永恒星 Lv1 求助人关闭了本次求助。

说明找到文献了【积分已退回】
5小时前

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

23:04:57 未找到该文献，机器人已退出，请等待人工下载

23:04:53 科研通AI机器人（日本东京）收到请求，开始寻找文献

23:04:51 已向机器人发送请求
5小时前

永恒星 Lv1 求助人发起了本次求助

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

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

更新

2025年影响因子查询已上线 (2026-6-18)

更新

PDF的下载单位、IP信息已删除 (2025-6-4)

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

实时播报: 无情的君浩上传了应助文件

15秒前; cc上传了应助文件

22秒前; 无情的君浩上传了应助文件

53秒前; 无情的君浩上传了应助文件

1分钟前; cc上传了应助文件

1分钟前; 无情的君浩上传了应助文件

1分钟前; 球球子完成签到，获得积分10

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

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

3分钟前; SUT文献战神完成签到，获得积分10

3分钟前; cc上传了应助文件

3分钟前; 香蕉觅云的应助被超帅的龙猫采纳，获得10

3分钟前; Peter关注了科研通微信公众号

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

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

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

5分钟前; 汤万天完成签到，获得积分10

6分钟前; 慕青的应助被alex_zhao采纳，获得10

6分钟前; 无情的君浩上传了应助文件

6分钟前; ktw完成签到，获得积分10

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

7分钟前; xiaozou55完成签到，获得积分10

8分钟前; 华仔上传了应助文件

8分钟前; 深情安青上传了应助文件

8分钟前; 眼睛大的怀曼发布了新的文献求助10

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

9分钟前; 共享精神的应助被眼睛大的怀曼采纳，获得10

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

9分钟前; cc上传了应助文件

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

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

10分钟前; 称心如意完成签到，获得积分10

11分钟前; 斯文败类上传了应助文件

12分钟前; chen发布了新的文献求助10

12分钟前; cc上传了应助文件

13分钟前; Ava的应助被望北采纳，获得10

13分钟前; 圆圆完成签到，获得积分10

13分钟前; check003完成签到，获得积分10

13分钟前; 科研通管家关闭了橘奔的文献求助

13分钟前; 搜集达人的应助被科研通管家采纳，获得10

13分钟前