关键词： 可信数据存证   隐私保护   智能合约   群签名   工业互联网设备   联盟链   云服务  

摘要： 为解决工业互联网设备运行数据的可信存证和用户及设备身份隐私保护问题,提出一种基于区块链与群签名技术的工业设备运行数据可信存证方法。利用区块链技术的去中心化、可追溯与不可篡改等特性保证存证数据的真实可信,通过群签名技术,保护用户及设备的身份隐私。实验与分析结果表明,该方法能实现工业互联网数据可信存证,保证存证数据安全可信,在可管控的前提下确保用户及设备身份隐私不被泄露,满足了匿名性与正确性需求。

关键词： 翻译交易   区块链   智能合约   翻译安全   匿名拍卖  

摘要： 针对现有翻译交易方案在竞拍翻译高保密性文本时无法保障其安全性、翻译成本与进程不易控制及译后纠纷处理困难等问题,提出了一种基于区块链智能合约的新型匿名反向拍卖(new anonymous reverse auction,NARA)交易模型。该模型采用匿名参与机制保护用户隐私,利用反向竞拍机制合理控制翻译成本,并进一步使用拆分式数据交互(split data interaction,SDI)提升翻译文本交互时的安全性。同时该方案采用一种自动化货币支付算法,约束交易双方诚信参与,并解决翻译纠纷问题。通过安全分析证明该方案的安全性,实验结果证实了交易模型的有效性。

关键词： DeFi   智能合约   代码   钱包地址   资金流侦查  

摘要： 近些年来,利用“去中心化”金融DeFi实施犯罪的新型作案手法已初露端倪。尤其是智能合约代码的违规部署和应用在虚拟货币涉传涉诈类案件中呈逐年上升趋势。由于DeFi协议框架下反洗钱和KYC要求被免除,涉案交易过程无法从中心化机构调取证据,开源且无须许可的智能合约易于复制和修改,混币程序和跨链交易等深度匿名交易手段通过DeFi得以应用,导致各类DeFi犯罪的资金链路隐蔽且复杂,难以通过传统侦查方法予以穿透。对此,需要分析DeFi分层系统中引发安全漏洞的因素,以此为基础对DeFi犯罪做出类型化分析,进而围绕不同犯罪模式与智能合约创建特征之间的映射关系开展虚拟货币资金流研判工作,利用合约协议引出的关键线索实现案件“破局”。

关键词： 数字人民币   法偿性   智能合约   自动划账   非授权支付  

摘要： 根据修正的国家理论,数字人民币具有抽象的财产权力,可以作为一种支付工具,用于清偿金钱之债。在法偿性方面,在私人间的债务关系中,数字人民币可以不进入当事人的债务关系,允许当事人自主选择。相反,数字人民币用于清偿公法之债时必须具有无限法偿性,排除行政机关的自主选择。数字人民币超越了既有的电子支付方式,并可以通过智能合约,结合自动划账、封金、信托等法律结构,发挥多样化的货币功能。数字人民币支付费用的承担,取决于当事人的合意。另外,必须准用《电子商务法》第57条,在用户、加害人与商业银行等主体间分配数字人民币的非授权支付责任。

关键词： 人工智能   区块链技术   智能合约   VR技术   阿帕网   知识产权交易   赛博空间   卷首语  

摘要： 自阿帕网诞生、互联网高度楔入现实社会,自由与规制便成为赛博空间数字化生存的永恒主题。从简单的信息推送技术到人工智能、VR触觉感知、区块链,大数据时代赛博空间的知识生产呈现众包、即创、公益激励等全新特征;VR技术与人工智能为数字居民的信息触感及知识共享提供了另类体验与视角;区块链技术在分布式共识、智能合约、时间戳等诸方面,为数字资产存储和知识产权交易提供了“避风港”。

关键词： 区块链   加密货币   智能合约   法律规制  

摘要： 当前,区块链技术的应用处于不断发展和探索阶段,其实际影响取决于具体的应用场景和实施方式。区块链技术在使用过程中存在一些重大风险,需要进行有效的法律规制。但是,区块链法律规制与传统法律规制存在一定的冲突,立法滞后现象比较突出。应制定针对区块链治理的法律法规,保护用户权益,维护交易安全;加强对加密货币的金融监管,有效维护金融秩序;完善监管和执法机制,促进技术创新与法律完善协同发展。

关键词： 区块链   边缘计算   MES   智能合约   工业物联网  

摘要： 智能工厂存在大量的物联网设备,设备之间通过工业物联网实现信息和指令的实时交互。物联网设备产生的海量数据需要上传,导致中心服务器压力过大、数据处理耗时过长,且设备之间的通信存在安全隐患。提出一种基于主从链和边缘计算的制造执行系统生产调度模型。首先,设计主从链架构模型,将制造执行系统模块化并集成到边缘节点,减少数据传输和降低泄露风险;其次,设计一种基于属性基的智能合约访问控制策略,实现设备和节点之间的安全通信;最后,设计生产调度算法完成跨节点、跨车间调度任务,实现去中心化的生产调度方式。实验结果表明,所提模型与传统工业制造系统相比,保证了数据安全性,提高了响应速度。

关键词： 智能合约   区块链   漏洞检测   自动化工具  

摘要： 智能合约是去中心化生态中的重要组件,它降低了多方合作的信任成本,因而广泛应用于数字货币和金融等领域。智能合约在区块链上自动执行,具有不可修改和不可中止的特性,合约常常持有大量数字资产,一旦存在漏洞就有可能会造成巨大损失。随着智能合约技术的发展,合约漏洞开始从简单的语法漏洞向复杂的逻辑漏洞转变,触发漏洞的条件也可能从单一的交易演变为特定的交易序列。目前,各种针对合约的攻击层出不穷,因此开发出有效的合约漏洞检测工具显得尤为重要。为此,首先介绍了11个著名的智能合约漏洞;然后从静态分析和动态分析2个方面介绍了21个合约漏洞检测技术和工具,并从检测方法、研究对象、检测能力等方面对比这些工具,讨论了它们的优点和不足;最后,结合当前合约的安全现状展望了未来的研究工作。

关键词： 日志数据保护   区块链   智能合约   SGX   可信计算  

摘要： 区块链技术因其不可篡改和可追溯性等特点,在数据完整性保护方面具有很大优势。在数据量较大的日志数据保护场景中,数据的真实性、完整性、机密性都有很高要求,而现有方法并不能兼顾。因此,设计了一种基于区块链智能合约的日志安全保护模型,提出日志数据微观保护环境(micro log data protect environment,MiLDPE)和日志数据宏观保护环境(macro log data protect environment,MaLDPE)的概念。MiLDPE是用硬件SGX技术实现可信计算的区块链节点,其确保日志数据仅能在产生它的节点上审计。MaLDPE是一个多MiLDPE节点组成的去中心化区块链集群,由一组智能合约实现日志数据访问控制,并通过随机节点选择算法保障日志数据的完整性和机密性。通过大量实验研究,证实该模型性能达到了预期要求。

关键词： 区块链   水利数据共享   共享平台   智能合约   数字签名   跨部门协同  

摘要： 针对水利政务各部门存在的业务纵向独立、跨部门数据共享与业务协同困难等问题,为提升水利政务办事效率与群众满意度,研究并实现一种基于区块链技术的水利数据共享平台。利用区块链分布式共享、不可篡改等特性,将水利数据去中心化存储;采用应用服务与数据管理分离的架构模型与一致性访问接口,解决各水利应用间的数据共享问题;结合智能合约与数字签名技术,实现数据访问与共享的信任化和智能化。该研究已应用于电子采砂证照的水利数据共享场景中,应用分析表明:平台可实现水利数据去中心化存储与访问,实现水利数据的跨部门安全可信共享,提高水利政务协同工作效率,研究成果可为各地方、部门和层级间政务数据的安全互通起示范作用。