云南高校图书馆联盟文献共享服务平台- SOLIDITY

SOLIDITY: 作品数：36被引量：79H指数：5; 导出分析报告; 相关领域：机械工程更多>>; 相关作者：张鹏程吉顺慧肖锋郑丽伟陈翔更多>>; 相关机构：杭州趣链科技有限公司河海大学西安邮电大学北京信息科技大学更多>>; 相关期刊：《Journal of Ocean University of China》《Digital Communications and Networks》《Journal of Thermal Science》《Blockchain(Research and Applications)》更多>>; 相关基金：国家自然科学基金中央高校基本科研业务费专项资金甘肃省科技重大专项计划The Royal Society更多>>

面向Solidity智能合约的测试用例自动生成与模糊测试框架研究: 《电子产品可靠性与环境试验》2024年第6期1-7,共7页相里朋包小敏莫泳聪周永长; 陕西省重点研发计划项目(2023-YBGY-216);国家重点研发计划项目(2022YFB2702600)资助。; 智能合约是一种通过计算机指令实现传统合约自动化的程序,其在部署后不可修改,因此在部署前对其行为和约束条件进行全面测试至关重要。然而,现有测试方法难以适应复杂场景,或仅聚焦于发现导致合约崩溃的输入。为此,提出了一款名为C-Soli...; 关键词：智能合约区块链基于搜索的软件测试测试用例生成模糊测试

基于多特征融合的智能合约缺陷检测方法: 《计算机工程》2024年第8期133-141,共9页王奕丰曾诚全擎宇王娇然何鹏; 湖北省重点研发计划(2021BAA188,2021BAA184)。; 智能合约是区块链技术最成功的应用之一,随着其广泛应用,智能合约的安全问题也引起了研究人员的关注。尽管已有一些针对智能合约缺陷检测的研究,但对于智能合约代码特征的挖掘还不充分。提出一种采用多特征融合方式的智能合约缺陷检测...; 关键词：区块链智能合约 Solidity语言多特征缺陷检测

基于网络度量元的Solidity智能合约缺陷预测: 《计算机应用研究》2023年第12期3545-3550,共6页李显伟潘伟丰王家乐潘云袁成祥; 浙江省科技厅公益项目(LGF19F020007);国家自然科学基金资助项目(62272412,61976187);浙江省自然科学基金资助项目(LY22F020007)。; 针对现有智能合约缺陷预测方法未考虑合约代码内部结构对缺陷产生的影响的不足,提出了一种基于网络度量元的Solidity智能合约缺陷预测方法。首先,通过Solidity-Antlr4工具构建Solidity智能合约的抽象语法树(abstract syntax tree, AST)...; 关键词：智能合约软件缺陷预测网络度量元集 SOLIDITY 抽象语法树

基于Event-B的可靠智能合约自动生成方法: 《计算机科学》2023年第10期343-349,共7页朱健胡凯王军李洁叶亚飞时希言; 北京市自然科学基金(M22040);云南省重大科技专项(202103AN080001-001,202102AD080006)。; 智能合约是一种以代码的方式执行合同条款的可计算交易协议,其应用场景与规模日益增长,承载着多达数十亿美元的各类资产。由于其代码缺陷可能会造成严重的经济损失,因此智能合约的可信开发成为技术关键。为此,提出了一种基于集合论语言E...; 关键词：智能合约 Event-B方法自动代码生成 Solidity合约定理证明

基于Solidity的低代码以太坊微博系统的设计与实现: 《电脑知识与技术》2023年第24期30-33,共4页胡娟汤海林; 2022年度广东省普通高校重点科研平台:低代码平台工程技术开发中心(项目编号:2022GCZX009)。; 文章介绍了基于Solidity的低代码区块链以太坊微博系统的设计与实现。传统微博系统存在中心化管理、数据安全性和透明性不足等问题。为了解决这些问题,笔者开发了基于区块链技术的微博系统。该系统利用智能合约和Solidity编程语言实现...; 关键词：区块链 SOLIDITY 低代码微博系统以太坊

Blockchain-based COVID vaccination registration and monitoring被引量：1: 《Blockchain(Research and Applications)》2022年第4期44-55,共12页Shirajus Salekin Nabil Md Sabbir Alam Pran Ali Abrar Al Haque Narayan Ranjan Chakraborty Mohammad Jabed Morshed Chowdhury Md Sadek Ferdous; COVID-19 has changed almost all aspects of our lives.Governments around the world have imposed lockdowns to slow down the transmissions.Fortunately,we have found the vaccine,in fact,a good number of them.However,manag...; 关键词：COVID-19 Blockchain SOLIDITY Digital vaccine passport VACCINATION

Applying blockchain-based method to smart contract classification for CPS applications被引量：3: 《Digital Communications and Networks》2022年第6期964-975,共12页Zigui Jiang Kai Chen Hailin Wen Zibin Zheng; supported by the National Natural Science Foundation of China(62032025,62002393);the Technology Program of Guangzhou,China(202103050004).; Smart contract has been the core of blockchain systems and other blockchain-based systems since Blockchain 2.0.Various operations on blockchain are performed through the invocation and execution of smart contracts.Thi...; 关键词：Blockchain Blockchain-based application Smart contract DApP classification SOLIDITY

智能合约的时间约束模式及其形式化验证被引量：5: 《软件学报》2022年第8期2875-2895,共21页赵颖琪朱雪阳李广元包玉龙; 国家自然科学基金(62072443)。; 智能合约是一套以数字形式定义的承诺.通过智能合约,可以大大减少协议制定的中间环节,提高协议制定的效率.区块链技术为智能合约的执行提供了可信平台.随着区块链应用的拓广与深入,智能合约的作用必然越来越突出,智能合约的可靠性问题...; 关键词：智能合约时间约束模式模型检测 SOLIDITY 形式化方法

基于软件度量的Solidity智能合约缺陷预测方法被引量：9: 《软件学报》2022年第5期1587-1611,共25页杨慧文崔展齐陈翔贾明华郑丽伟刘建宾; 江苏省前沿引领技术基础研究专项(BK202002001);国家自然科学基金(61702041);北京信息科技大学“勤信人才”培育计划(QXTCP C201906)。; 随着区块链技术的兴起,智能合约安全问题被越来越多的研究者和企业重视,目前已有一些针对智能合约缺陷检测技术的研究.软件缺陷预测技术是软件缺陷检测技术的有效补充,能够优化测试资源分配,提高软件测试效率.然而,目前还没有针对智能...; 关键词：软件缺陷预测缺陷数量预测缺陷倾向性预测智能合约 SOLIDITY

以太坊Solidity智能合约漏洞检测方法综述被引量：11: 《计算机科学》2022年第3期52-61,共10页张潆藜马佳利刘子昂刘新周睿; 国家重点研发计划(2020YFC0832500);甘肃省科技重大专项创新联合体项目(项目号1);国家自然科学基金(61402210);青海省科技计划(2020-GX-164);教育部-中国移动科研基金项目(MCM20170206);兰州大学中央高校基本科研业务费专项资金(lzujbky-2021-sp47,lzujbky-2020-sp02,lzujbky-2019-kb51,lzujbky-2018-k12)。; 以太坊Solidity智能合约基于区块链技术,作为一种旨在以信息化方式传播、验证或执行的计算机协议,为各类分布式应用服务提供了基础。虽然落地还不足6年,但因其安全漏洞事件频繁爆发,且造成了巨大的经济损失,使得其安全性检查方面的研究...; 关键词：智能合约区块链安全漏洞漏洞检测工具机器学习

SOLIDITY