Security Analysis and Formal Verification on Blockchain and its Applications - 科研通

发布文献求助

亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！

求助中

文献求助详情

标题	Security Analysis and Formal Verification on Blockchain and its Applications
网址	https://doi.org/10.1561/3300000044
DOI	10.1561/3300000044 doi
其它	期刊：Foundations and Trends® in Privacy and Security 作者：Kang Li; Ronghui Gu; Jun Xu; Zhaofeng Chen; Siwei Wu; et al 出版日期：2025
求助人	DarkPegasus 在 2026-01-30 23:41:14 发布自美国，悬赏 10 积分
下载	暂无链接，等待应助者上传

上个求助

下个求助

提交工单

求助 / 应助时间线

现在，等待您上传文献

对不起，您需要登录才可以上传文件。
进入登录页面
4小时前

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

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

23:41:15 科研通AI机器人（美国洛杉矶）收到请求，开始寻找文献

23:41:14 已向机器人发送请求
4小时前

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

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

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

更新

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

新增

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

更新

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

新增

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

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

实时播报: Criminology34上传了应助文件

1秒前; Criminology34上传了应助文件

11秒前; 汉堡包的应助被畅快甜瓜采纳，获得10

13秒前; SciGPT的应助被jy采纳，获得10

13秒前; Jasper的应助被科研通管家采纳，获得10

22秒前; bkagyin的应助被科研通管家采纳，获得10

22秒前; SciGPT上传了应助文件

27秒前; 李健的粉丝团团长的应助被Xixicccccccc采纳，获得10

28秒前; jy发布了新的文献求助10

31秒前; 疯狂的绿蝶完成签到，获得积分10

31秒前; 李健的粉丝团团长上传了应助文件

47秒前; Xixicccccccc发布了新的文献求助10

50秒前; jy完成签到，获得积分10

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

59秒前; Criminology34上传了应助文件

1分钟前; 汉堡包上传了应助文件

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

1分钟前; 畅快甜瓜发布了新的文献求助10

1分钟前; 酷波er上传了应助文件

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

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

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

1分钟前; 有人的应助被jy采纳，获得10

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

1分钟前; 畅快甜瓜发布了新的文献求助30

1分钟前; 科研通AI6.1的应助被读书的时候采纳，获得10

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

2分钟前; 星辰大海的应助被lngenuo采纳，获得30

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

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

2分钟前; Criminology34上传了应助文件

2分钟前; 隐形曼青的应助被小熊采纳，获得10

2分钟前; Criminology34上传了应助文件

2分钟前; 小兔子乖乖完成签到，获得积分10

2分钟前; 科研通AI6.1的应助被读书的时候采纳，获得10

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

3分钟前; 星辰大海上传了应助文件

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

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

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

3分钟前

高分求助中: (应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000; Introduction to strong mixing conditions volume 1-3 5000; Clinical Microbiology Procedures Handbook, Multi-Volume, 5th Edition 2000; 从k到英国情人 1500; Ägyptische Geschichte der 21.–30. Dynastie 1100; „Semitische Wissenschaften“? 1100; Russian Foreign Policy: Change and Continuity 800

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 5732139; 求助须知：如何正确求助？哪些是违规求助？ 5336882; 关于积分的说明 15322005; 捐赠科研通 4877849; 什么是DOI，文献DOI怎么找？ 2620672; 邀请新用户注册赠送积分活动 1569937; 关于科研通互助平台的介绍 1526507

今日热心研友

遇上就这样吧

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通