Formal verification and security analysis of FastDFS using process algebra

已关闭

文献求助详情

标题	Formal verification and security analysis of FastDFS using process algebra
网址	https://doi.org/10.1016/J.IOT.2025.101543
DOI	10.1016/J.IOT.2025.101543 doi
其它	期刊：Internet of Things 作者：Zhiru Hou; Huibiao Zhu 出版日期：2025
求助人	cj 在 2026-05-25 01:44:53 发布自江苏，悬赏 10 积分
下载

Society for Industrial and Applied Mathematics (SIAM)

上个求助

下个求助

提交工单

求助 / 应助时间线

3个月前，求助关闭

cj Lv1 求助人关闭了本次求助。

说明未找到【积分已退回】
3个月前

cj Lv1 求助人发起了本次求助

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

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

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

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

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

实时播报: 简亓完成签到，获得积分10

2秒前; 超级的初彤完成签到，获得积分10

3秒前; 小玲子完成签到，获得积分10

4秒前; 典雅雅容完成签到，获得积分10

4秒前; 班小班完成签到，获得积分10

6秒前; 精明尔芙敏完成签到，获得积分10

6秒前; 锂离子完成签到，获得积分10

6秒前; 嗯啊完成签到，获得积分10

6秒前; 壮观的凝阳发布了新的文献求助20

9秒前; 三毛完成签到，获得积分10

10秒前; 《子非鱼》完成签到，获得积分10

10秒前; 碎觉觉完成签到，获得积分10

11秒前; 朴素傲松完成签到，获得积分10

11秒前; Jankin完成签到，获得积分10

12秒前; 田様的应助被随缘来一个吧采纳，获得10

12秒前; 不朽丶哀默完成签到，获得积分10

13秒前; 爱读文献的小郭完成签到，获得积分10

13秒前; 没事搞点学术完成签到，获得积分10

14秒前; 生动琦完成签到，获得积分10

14秒前; 丘比特的应助被张小鱼采纳，获得10

15秒前; winfred完成签到，获得积分10

16秒前; 超级安阳完成签到，获得积分10

18秒前; 枫糖叶落完成签到，获得积分10

18秒前; KhalilHao完成签到，获得积分10

19秒前; Patrick完成签到，获得积分10

19秒前; 顺心小鸭子完成签到，获得积分10

19秒前; Irena完成签到，获得积分10

20秒前; YMUSTC完成签到，获得积分10

20秒前; han完成签到，获得积分10

21秒前; NexusExplorer的应助被明理的青寒采纳，获得10

22秒前; Patrick关闭了Patrick的文献求助

23秒前; 生动之云的应助被彬彬采纳，获得10

23秒前; 今后的应助被彬彬采纳，获得10

23秒前; SciGPT的应助被彬彬采纳，获得10

24秒前; 蘑菇完成签到，获得积分10

25秒前; yuanmeigui完成签到，获得积分20

26秒前; 快乐小狗完成签到，获得积分10

27秒前; 小可爱完成签到，获得积分10

28秒前; 别吃我的鱼完成签到，获得积分10

28秒前; 猪猪侠完成签到，获得积分10

28秒前