Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities

已完结

文献求助详情

标题	Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities 相关领域智能合约计算机安全
网址	https://doi.org/10.1016/j.cose.2019.101654
DOI	10.1016/j.cose.2019.101654 doi
其它	期刊：Computers & Security 作者：Amritraj Singh; Reza M. Parizi; Qi Zhang; Kim-Kwang Raymond Choo; Ali Dehghantanha 出版日期：2020
求助人	研友_Lw4kGn 在 2021-01-26 18:47:28 发布，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

Society for Industrial and Applied Mathematics (SIAM)

上个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

有了科研通，下载文献真轻松！

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

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

一分钟了解求助规则 | 捐赠本站 | 论文查重

更新

大幅提高文件上传限制，最高150M (2024-4-1)

更新

新增期刊收藏功能 (2024-03-23)

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

建议保存本图，每天支付宝扫一扫（相册选取）领红包

实时播报: 菜包烤肉完成签到，获得积分10

2秒前; 笑点低戾完成签到，获得积分20

5秒前; 科目三上传了应助文件

6秒前; Ji发布了新的文献求助10

10秒前; 人小鸭儿大完成签到，获得积分10

12秒前; 阿笨猫完成签到，获得积分10

12秒前; 敬老院1号的应助被神说采纳，获得400

12秒前; AJ完成签到，获得积分10

14秒前; 画画的baby发布了新的文献求助10

16秒前; Ava的应助被Jy采纳，获得10

17秒前; 闪闪寒荷完成签到，获得积分10

19秒前; 泡爷小帅发布了新的文献求助10

19秒前; 小蘑菇的应助被Ji采纳，获得10

20秒前; 上官若男上传了应助文件

24秒前; 慕青的应助被画画的baby采纳，获得10

24秒前; 科研小小菜鸟发布了新的文献求助10

27秒前; 俏皮的雪碧关闭了俏皮的雪碧的文献求助

30秒前; Ava上传了应助文件

31秒前; Jy发布了新的文献求助10

36秒前; 科研小小菜鸟完成签到，获得积分10

37秒前; cctv18上传了应助文件

38秒前; cctv18的应助被ccalvintan采纳，获得10

39秒前; 薛定谔的猫完成签到，获得积分10

46秒前; cctv18关闭了hjy的文献求助

48秒前; 脑洞疼的应助被Jy采纳，获得10

50秒前; 充电宝的应助被科研通管家采纳，获得10

54秒前; 烟花的应助被科研通管家采纳，获得10

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

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

54秒前; 丘比特上传了应助文件

59秒前; 酷波er的应助被爱笑灭龙采纳，获得50

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

1分钟前; 所所的应助被阿达西采纳，获得10

1分钟前; 脑洞疼上传了应助文件

1分钟前; 向秋帆发布了新的文献求助10

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

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

1分钟前; 写不出论文的华华完成签到，获得积分10

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

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

1分钟前