关键词： 区块链   堡垒机   智能合约   星际文件系统   日志分析  

摘要： 现有的堡垒机运维和审计过程中存在操作日志被篡改、管理员权利过大、中心化身份认证和资源不受控制等问题,论文设计并实现一套基于区块链的堡垒机日志分析系统,利用智能合约和星际文件系统,将堡垒机的管理、运维、审计等操作日志数据锚定在区块链上,形成可追溯、不可篡改的记录。结合智能合约、数据上链存证等技术,为用户提供运维审计流程的完整信息记录,也为个体公司或者司法机构提供数据无失真的证据保留和追责方法。系统实现及分析结果表明,该系统为现有不同类型的堡垒机系统提供辅助应用,具有不可篡改、可信度高、可溯源等特点,为堡垒机的管理和运维提供了新的思路和技术支持。

关键词： 智能合约   领域自适应技术   生成对抗网络   漏洞检测   深度学习  

摘要： 现有智能合约漏洞检测方案很大程度上依赖于缜密的专家规则或先验知识,不仅缺乏灵活性且难以应对新型未知漏洞检测,为此提出一种基于领域自适应的智能合约安全分析框架(domain adaptive security analysis framework,DASAF)。首先,在DASAF中,智能合约操作码执行逻辑被获取并被转化为序列特征。其次,为了解决深度学习模型中固有的数据偏移现象引起的模型老化,以及新型未知漏洞有标签样本不足导致的难以获得强泛化性能的问题,在DASAF中引入了生成对抗网络结构和领域自适应技术。最后,在一个公开基准数据集上详细评估了DASAF在智能合约漏洞分析领域的有效性,并与同类方案进行了对比,实验结果表明,本文提出的DASAF优于同类方案。

关键词： 博士研究生   电子科技大学   作者身份   网络空间安全   通讯作者   学术论文   智能合约   软件工程领域  

摘要： 近日,电子科技大学计算机科学与工程学院(网络空间安全学院)陈厅教授指导的博士研究生宋书玮以第一作者身份投稿的学术论文《Move智能合约安全性的实证研究:引入MoveScan进行增强分析》(Empirical Study of Move Smart Contract Security:Introducing MoveScan for Enhanced Analysis)被软件工程领域的国际会议ISSTA接收,这是电子科技大学作为第一单位在ISSTA发表的首篇文章。陈厅、陈嘉弛、罗夏朴为通讯作者。

关键词： 智能合约   区块链技术   安全事件   安全漏洞检测   以太坊   静态分析   应用场景   混合分析  

摘要： 本文围绕以太坊智能合约安全漏洞检测,回顾了区块链技术的发展历程以及智能合约的起源,介绍了智能合约的特点、应用场景和重大安全事件,总结了目前智能合约安全漏洞检测的三类主要方法:静态分析、动态分析和混合分析方法。

关键词： 整数溢出   智能合约   漏洞检测   深度学习  

摘要： 针对传统智能合约漏洞检测方法对于源代码信息挖掘不充分的问题,本研究聚焦于智能合约最具代表性的整数溢出漏洞,提出一种语义和结构特征融合的智能合约漏洞检测方法。该方法首先通过智能合约的操作码序列获取漏洞的语义特征,然后构建合约的控制流程图,传入图注意力网络中进行训练,得到其特征表示。接着使用双向长短期记忆网络和注意力机制进行训练获得漏洞代码的上下文序列特征,并将提取的语义和结构特征相结合进行漏洞检测。实验结果表明,本文中提出的算法在数据集中的F_(1)分数和准确率分别为95.86%和95.08%,与其他传统检测方法相比有较明显的性能提升。

关键词： 区块链   电力市场   绿电交易   智能合约  

摘要： 本文针对电力市场绿电交易面临的效率低下、安全隐患等问题,提出了一种基于区块链技术的解决方案。通过设计和实现包括交易、验证、存储、智能合约等模块在内的完整系统架构,并采用多种共识算法和密码学技术,实现了电力交易的高效、安全、透明。仿真实验结果表明,该系统在交易吞吐量、容错性等方面优于传统方案,为推动能源绿色低碳转型提供了新的技术路径。

关键词： 混币智能合约   洗钱犯罪   虚拟货币   协同治理   碎片化  

摘要： 利用混币智能合约洗钱犯罪已逐渐成为虚拟货币洗钱的新趋势,其自动化运行、高效率加密和跨境流通的优势不可忽视。犯罪主体利用混币智能合约技术,将虚拟货币小额化并增加链路复杂度,以最大程度模糊资金流向和清洗痕迹。在去中心化、匿名性、跨境性的影响下,情报信息来源碎片化、犯罪链条碎片化、虚拟货币处分碎片化使得利用混币智能合约洗钱犯罪治理面临困境。为实现从反洗钱工作的碎片化到治理的协同化,应构建跨部门、跨组织、跨区域的三层次协同治理模式。通过推动协同模式的转型,探索公私合作的路径,建立虚拟货币处分机制,提升对利用混币智能合约洗钱犯罪的治理能力。

关键词： 以太坊   零水印   服装设计   智能合约   星际文件系统  

摘要： 现有的中心化服装设计版权体系中,低质量抄袭作品层出不穷,而作品的审核周期长且完成度不是非常高的阶段性成果又无法得到认可,使得创作者维权时往往缺乏这一时间段的时间证明。此外,作品的版权确权并不简洁,不利于版权的使用,数据本身也有遭受攻击的风险。为解决上述问题,提出了一个基于区块链、零水印和星际文件系统(IPFS)的服装设计版权方案。区块链的不可篡改特性保证了数据安全,使得其与传统版权保护流程能够有效结合。同时将区块链取代以往零水印中的可信知识产权保护(IPR)中央权威机构,消除了第三方带来的隐患。智能合约结合时间戳功能可以准确提供各步骤的线上记录,让创作者能更好提供作品从草稿到成品的时间线证明,以便在版权纠纷中维护自身权益。而感知哈希也能剔除掉抄袭作品,从抄袭作品的登记源头来控制低级抄袭作品的出现,保证创作者的著作权。实验表明,整体功能完善、安全性高,其中零水印方案具备可行性和有效性,作品登记和查询消耗的以太坊资源Gas成本低。

关键词： 区块链   属性基加密   智能合约   访问控制   数据共享  

摘要： 针对医疗数据共享时,存在共享数据多于需求数据,以及加密大量元数据会产生较大的计算开销问题,提出一种基于区块链的医疗数据分类加密共享方案,结合基于属性的加密和区块链实现对医疗数据的访问控制和数据共享。首先,按照基本信息、医疗科室、疾病类型将完整医疗数据分类划分为医疗元数据,对数据进行细粒度访问控制。其次,提出数据访问策略分类算法,将数据访问策略划分为属性加密策略和区块链访问策略,合并多个元数据的属性加密策略用以降低基于属性加密时构建访问结构树的计算开销;智能合约依据区块链访问策略对链上数据进行访问控制,并通过修改区块链策略实现权限撤销。最后,通过安全性分析和仿真实验表明该方案具有可行性和较高的效率。

关键词： 区块链   零知识证明   椭圆曲线   电子拍卖   智能合约  

摘要： 当前电子拍卖存在第三方不可信和中标者既要保证身份匿名性又要保证身份合法性这一矛盾问题.针对上述问题,提出一种基于非交互零知识证明和非同质化代币的密封投标拍卖方案.首先,通过区块链去中心化、数据不可篡改等特点构建点对点参与的拍卖环境,并通过椭圆曲线+AES算法对竞拍者的出价加密,从而提高电子拍卖的隐私性;然后,通过非交互零知识证明实现在链上匿名情况下中标者身份合法性的生成和验证,同时,将身份合法性作为非同质化代币的元素素材,保证中标者对链上身份合法性认证的所有权;最后,实验结果证明所用算法在加解密效率方面优于RSA和ECC算法,身份认证所需存储开销低于其他比较方案,满足日常拍卖需求.