关键词： 司法工作人员   集资诈骗   区块链技术   虚拟货币   变现能力   数据完整性   智能合约   实体价值  

摘要： 随着区块链技术的发展,以智能合约的出现为标志,具备去中心化和去信用化特征的区块链算法,逐渐在社会各领域中普及。这也催生出了以虚拟货币为犯罪工具的集资诈骗活动。在此类案件中,因为区块链金融衍生品的非实体价值性,使得司法机关在认定行为人是否对所得集资款项具有非法占有目的之时,陷入了困境。面对这一问题,司法工作人员应在严格遵循刑法规定的前提下,参照刑事政策,秉持积极主义的刑法观,将系统和算法本身的情况,作为认定此类案件中非法占有目的之情形。换言之,在对行为人主观目的进行认定的过程中,除了以行为人的物理行为外观为依据之外,还应当深入区块链技术的底层逻辑,对其变现能力、数据完整性以及算法执行程度等情况进行整体分析,以保证刑法对于行为人主观目的认定的完整性和合理性。

关键词： 区块链   指纹存证   环签名   智能合约   Solidate语言  

摘要： 区块链技术作为分布式记账技术,为电网中多方交易提供了信任平台。由于数字信息易被复制和篡改,如何安全、可靠存储存证成为亟待解决的问题。为此,提出基于指纹存证协助的智能合约模型。将指纹存证和区块链相结合,充分发挥指纹存证的存证效率高、存储量小的特点。区块链端用于记录电网资产关键数据及其信息变更的HASH值,保证存证信息的真实可信。同时,采用环签名技术,进一步提高了存证信息的安全性。采用Solidate语言设计区块链智能合约模型,提升系统效率。经分析与实验表明,该模型提高了存证信息的安全性和系统吞吐量。

关键词： 网络与信息安全   网络空间安全   大数据安全   智能合约   人工智能   区块链   行为监测   工程实验室  

摘要： 该实验室是经重庆市发改委批准,依托重庆邮电大学网络空间安全与信息法学院建设的省部级科研机构。实验室紧密围绕数据安全与计算机安全学科领域开展研究,主要研究方向包括网络跨域安全问题、智能管控、大数据安全等;网络空间的违法数据与行为监测、取证与分析技术等;属性密码、功能密码和混沌密码等各种现代新型密码学等;区块链安全技术,智能合约安全升级技术等;人工智能安全与数据隐私保护等。

关键词： 区块链   跨链   供应链   智能合约  

摘要： 对于传统海产品供应链中存在的数据造假、透明度低、难以追踪等问题,可以使用区块链技术解决;如果供应链上各组织采用无法进行数据交换和功能互补的异构区块链,就会带来价值孤岛问题。为此,选择基于中继机制的BitXHub跨链解决方案,设计并实现了一个支持主流区块链Hyperledger Fabric和Ethereum互操作的跨境海产品供应链平台。实验结果表明:该设计方案可以使系统每秒处理的交易数量达到937,能够满足实际场景下的业务需求。

关键词： 阻塞管理   电力交易   区块链   POW共识机制   智能合约  

摘要： 为了提高能源电力交易的自主性,缓解交易中心的管理压力,提出了能源区块链多交易主体博弈模型,结合负荷预测结果和运行成本给出了多主体适用的能源电力交易竞价策略.在此基础上,利用POW共识机制验证线路潮流的安全性,采用阻塞价格调整法和交易中心优化管理法解决线路阻塞问题,并分析了基于区块链的智能合约和数据存储的实现过程.算例分析表明,采用阻塞价格调整法和交易中心优化管理法均能有效进行阻塞管理,所提出的模型能够灵活地运用智能合约,降低运行成本,提高交易的安全性.

关键词： 智能合约   时间约束模式   模型检测   Solidity   形式化方法  

摘要： 智能合约是一套以数字形式定义的承诺.通过智能合约,可以大大减少协议制定的中间环节,提高协议制定的效率.区块链技术为智能合约的执行提供了可信平台.随着区块链应用的拓广与深入,智能合约的作用必然越来越突出,智能合约的可靠性问题也将更加突显.以提高智能合约可靠性为目的的研究日益得到重视,但尚未有人对智能合约的时间性质可能引起的可靠性问题进行过系统的研究.通过分析典型智能合约,对智能合约时间约束的不同表现形式进行梳理,提炼出相应的时间约束模式并对其进行形式化;定义Solidity智能合约到时间自动机的转换规则,并实现其到实时模型检测工具UPPAAL入口模型的自动转换;再利用UPPAAL验证合约的时间相关性质.最后对两个实际合约进行实例研究,结果表明了所提炼模式的普遍性以及所提出形式化验证方案的可行性和有效性.

关键词： 区块链   充电桩   并表计费   智能合约  

摘要： 针对新能源汽车充电桩在安全、计费、运营等方面的不足,设计了一种基于区块链的充电桩并表计费管理系统.该系统基于区块链技术实现安全认证,并设计智能合约将电动车用电数据与家用电表绑定,按月生成总用电量清单,根据电网运营商的计费策略及支付通道完成费用支付.测试结果表明,该系统能够在保证安全的同时,使新能源汽车充电像手机充电般即插即充,充完即走,为充电桩的建设与发展提供了一种安全、高效的运营新模式.

关键词： 果蔬产品   溯源   区块链   多链   智能合约   数据存储  

摘要： 随着区块链农产品溯源技术的发展,果蔬产品质量安全得到保障。由于我国果蔬产品溯源跨度大、追溯周期长、涉及面广,并且区块链网络数据账本由全网节点共同记账备份,海量溯源数据存储压力大,同时所有数据透明共享,造成供应链溯源数据无法全部上链,引起产品数据上下游溯源企业共享不及时、追溯数据安全性难以得到保障、监管部门无法实时监管全部溯源数据,出现农产品质量安全问题时,责任无法定位、产品难以找到问题源头。基于上述问题,设计基于区块链多链架构的果蔬产品溯源框架,设计溯源数据存储模型,并通过智能合约实现溯源数据分类链上加密存储、链间授权访问、基于授权凭证解密查询,保证果蔬全供应链溯源隐私数据密文上链,减缓区块链存储压力、实现上下游溯源企业隐私数据无孤岛授权共享。基于联盟链Hyperledger Fabric通道技术实现多链溯源系统,经过扩散性测试,由对称加密与椭圆曲线混合加密的“链上加密存证、链间基于授权凭证共享、链上解密查询”智能合约方案,隐私数据密文变化率达95%以上,密钥密文变化率达94%以上,具备较高的安全性和混淆性;经过性能测试,所设计并实现的多链架构溯源系统公开溯源数据查询平均时延为56.9 ms,基于授权凭证的隐私溯源数据平均解密查询时延为62.87 ms,处理企业节点发起数据上链请求的平均时延为2.16s,能够满足果蔬产品追溯实际的应用需求。

关键词： 智能合约   漏洞检测   静态分析   以太坊  

摘要： 以太坊智能合约若存在安全漏洞,则会导致无可估量的损失。为缓解该问题,提出了一种以静态程序分析技术实现代码全覆盖的智能合约漏洞检测工具SlightDetection。该工具将智能合约源代码转化为对应的抽象语法树,并翻译为XML中间表示;以几个经典漏洞的特征为例,书写自定义的XPath规则库;将XML中间表示与XPath库作为输入不断遍历XPath规则库并进行匹配,最终得到漏洞检测的报告。该文测试了3个经典合约,充分展示了SlightDetection具有更快、更准确的检测特性;对Etherscan上提供的大量智能合约进行测试并对其中100多份合约进行了手动验证,进一步证明了该工具的有效性。

关键词： 对公业务   运营机构   消费券   中小企业贷款   智能合约   工资发放   人民币   应用场景  

摘要： 数字人民币试点近三年后,已形成15个省(市)的23个地区、10家运营机构参与的研发试点格局在最初通过发放消费券吸引用户之后,随着智能合约技术的加载,数字人民币的应用场景也从购物、餐饮、出行、生活缴费等消费场景,扩展到消费分期贷款、理财、保险等个人金融场景,并开始进入中小企业贷款、工资发放等对公业务场景,以及发放补贴、税费缴纳等政务场景。