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)

上个求助

下个求助

提交工单

求助 / 应助时间线

1个月前，求助关闭

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

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

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

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

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

更新

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

更新

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

更新

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

新增

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

新增

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

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

实时播报: 冷静的牛排发布了新的文献求助10

刚刚; 必成大业发布了新的文献求助10

刚刚; 瓶子捞月发布了新的文献求助10

刚刚; 领导范儿的应助被多拉贡来了采纳，获得10

1秒前; zll完成签到，获得积分10

1秒前; 1234完成签到，获得积分10

1秒前; 归仔发布了新的文献求助10

1秒前; 香蕉觅云的应助被张凯采纳，获得20

1秒前; BioNMR发布了新的文献求助10

1秒前; 科研通AI6.3的应助被qianwen采纳，获得10

2秒前; IRONY发布了新的文献求助10

2秒前; xx发布了新的文献求助10

2秒前; 灿灿完成签到，获得积分20

3秒前; 所所上传了应助文件

5秒前; 魁梧的怜南上传了应助文件

6秒前; 无花果的应助被夏夏采纳，获得10

7秒前; jingyao完成签到，获得积分10

7秒前; Lululu完成签到，获得积分10

7秒前; Aylin完成签到，获得积分10

8秒前; 小陈爱吃砂糖橘发布了新的文献求助10

9秒前; Hello上传了应助文件

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

9秒前; 叽里呱啦完成签到，获得积分20

10秒前; 笑点低猫咪发布了新的文献求助10

10秒前; 魁梧的怜南上传了应助文件

11秒前; 爆米花上传了应助文件

11秒前; 李健的小迷弟的应助被感动的慕晴采纳，获得10

12秒前; 王一g完成签到，获得积分0

12秒前; 必成大业完成签到，获得积分10

12秒前; 淡定雁开完成签到，获得积分10

12秒前; 咻咻咻完成签到，获得积分20

12秒前; 脑洞疼上传了应助文件

13秒前; Ariel完成签到，获得积分10

13秒前; 传奇3上传了应助文件

14秒前; 李子青完成签到，获得积分10

14秒前; 古德完成签到，获得积分10

14秒前; 科研通AI6.4的应助被myeongono采纳，获得10

14秒前; 魁梧的怜南上传了应助文件

15秒前; 铲屎大王完成签到，获得积分10

15秒前; xx完成签到，获得积分20

15秒前