基于区块链的旅游服务交易智能合约算法研究

为解决旅游企业为了获取更大的利益存在在第三方平台上发布虚假信息、不透明的交易数据以及客户身份信息存疑等问题,提出了一种基于区块链的旅游服务交易智能合约算法。分析传统旅游服务交易模式中存在的问题;并根据区块链的不可篡改性和公开透明性等特点,提出了一种去中心化的旅游服务交易机制。并设计了基于智能合约的旅游服务去中心化的交易方法,确保整个交易过程中信息公开透明化、不可篡改。实验结果表明,该方法是一种有效的方法。     

基于区块链智能合约的电力供应链利益分配研究

首先构建电力直接交易供应链参与者的利润函数,然后利用区块链智能合约构建电力直接交易供应链利益分配模型,并根据分配因子自动匹配利益并结算,进而实现电力直接交易供应链上各个企业利益实现最优的同时保证整个供应链利益最优.算例表明:该模型能够使得电力直接交易供应链维持稳定.     

基于区块链的医疗信息系统及智能合约设计

近年来,医院智能化的医疗信息系统建设已经成为每家医院的重要任务,那么从何着手改善,就成了医院信息科要面临的首要问题。该文基于区块链技术对医疗信息系统中的数据进行存储的同时并增加智能合约对患者详细信息进行管理,进一步地改善现有医疗信息管理系统,同时针对当前医疗信息系统管理中面临的多种问题开展了相关实验。实验结果表明,此方法有效且具有较强的实际可行性。     

基于区块链、智能合约和物联网的供应链原型系统

 为利用区块链、智能合约和物联网等新技术的优势,提高供应链信息化水平,设计开发了基于区块链、智能合约和物联网的供应链原型系统。借助物联网中的二维码、RFID和NFC实现供应链各主体数据的自动化上传;利用区块链和智能合约,完整保存了整个供应链各主体的数据,保证了数据公开透明、可追溯且不可篡改,同时兼顾了隐私数据的加密保护;并针对不同用户提供了不同程度的数据查询功能。通过这些优化和改进,使供应链系统更加自动化、更加安全可信,便于监管溯源。     

基于区块链的物联网应用研究综述

物联网设备数量的快速增长证明了该领域具有巨大的应用及研究价值,但其设备异构性、隐私泄露、安全漏洞及可扩展性等自身问题使得物联网系统安全面临着严峻挑战。通过结合区块链技术解决上述问题,已成为物联网领域的一大主要研究热点。分析了物联网目前所面临的风险挑战及结合区块链后的可解决方案,对近几年国内外区块链技术在物联网各领域的应用最新研究成果及与5G网络的可集成性进行了总结,分析了未来在这些领域的研究发展方向,讨论了区块链与物联网集成后面临的资源受限、计算开销大及隐私性等问题。     

智能合约设计模式

针对以太坊Solidity语言智能合约设计问题,在研究开源合约程序的基础之上识别了面向智能合约的六种设计模式,包括访问约束、状态机、前置条件、后置条件、紧急制动和代理。面向智能合约的设计模式有益于提升合约代码可读性,降低合约语言学习难度,也是提高区块链合约代码审计效率的途径。     

区块链发展应用综述

为了对区块链技术现有的应用进行总结,并对未来区块链技术的应用进行展望和设想,对区块链应用的发展历程及工作原理进行阐述,分析区块链的发展应用场景,主要对区块链技术的重点应用场景进行概括展望,包括教育、医疗、食品、物联网、社会救助和精准扶贫六大领域,期望对区块链的应用体系建设提供帮助。     

一种基于区块链的可信捐助方法

传统捐赠平台的中心化管理导致了求助信息和捐赠信息缺乏可信度的问题。区块链具有去中心化和不可篡改的技术特征,为实现去中心化模式下的可信捐助奠定了基础。针对中心化管理模式下的慈善捐赠行业存在的问题,该文提出一种基于区块链的去中心化的可信捐助方法。针对去中心化模式下求助和捐赠数据真实性验证的问题,设计了交易的数据结构,提出了适用于该方案中对交易进行可信管理的双链结构。针对去中心化模式下求助和捐赠交易发布真实性验证问题,提出了基于区块链的求助和捐赠交易发布的真实性验证方法。最后基于以太坊实验平台,仿真实现了该可信捐助方法,仿真测试的结果证明了该方法的正确性以及可行性。     

基于产能投资的上下游企业联盟机制

研究了确定型需求条件下单一供应商和2个制造商组成的二级供应链,其中下游的一个制造商为供应商提供产能投资,并参与供应商利润分成.研究了不同决策方式下多阶段博弈的最优决策,通过数值分析讨论了需求弹性系数和融资成本系数对于联盟决策以及各方的收益的影响,具有一定的实际参考价值.     

基于HART协议的智能现场通讯器的设计

从HART协议智能现场通讯器的功能和协议要求出发,在详细讨论分析HART协议智能通讯器的设计重点、难点和技术关键的基础上,设计完整的HART协议智能现场通信器的实用电路。它可以实现HART协议智能通信器的基本功能。     

基于胶囊网络和注意力机制的智能合约漏洞检测方法

近年来,随着智能合约的数量越来越多,因合约漏洞而造成的经济损失愈发严重,智能合约的安全性越来越受到广泛的关注。基于深度学习的漏洞检测方法能够解决早期传统智能合约漏洞检测方法检测效率低、准确率不足的问题,但大多现有基于深度学习的漏洞检测方法都是直接使用智能合约源代码、操作码序列或字节码序列作为深度学习模型的输入,会因引入过多无效信息而削弱有效信息。为此,文中提出了一种基于胶囊网络和注意力机制的智能合约漏洞检测方法。考虑到程序的执行时序信息,文中通过提取智能合约的关键操作码序列作为源代码特征,然后利用胶囊网络和注意力机制的混合网络进行训练,其中胶囊网络模块用于提取智能合约的上下文信息以及局部与整体的联系,注意力机制用于给不同的操作码按照其重要程度分配不同的权重。实验结果表明,文中提出的算法在智能合约数据集中的F₁分数和准确率分别为94.48%和97.15%,与其他传统检测方法和深度学习方法相比有较明显的性能提升。     

基于椭圆曲线的公平交换协议

基于椭圆曲线密码体制,提出了一个数字签名方案,并据此建立了一个适用于电子商务的公平交换协议,该协议通过在交易双方之间建立一个安全承诺作为凭证交换数字签名,以达到摆脱可信第三方参与的目的。此公平交换协议具有一般椭圆曲线密码体制密钥较短、安全性能良好的特点,能够摆脱第三方参与,提高运行效率,并同时保证交换双方的模糊性。分析证明,该协议具有可验证性、不可否认性、不可滥用性以及公平性等特点。     

基于证书认证机制的公平文件交换协议的算法设计

在电子商务活动中,进行实时公平的文件交换具有非常重要的意义．本文利用证书认证机制中简单、快速且交换活动脱离等特点,结合RSA算法构造出具备实时公平交换功能的文件交换协议．同时根据测试数据对该协议的各项性能与其它类似协议进行了简要分析．最后提出了可行的协议假定的实现流程．     

改进合同网协议的多移动机器人协作系统

以多移动机器人大规模搜索搬运为背景,探讨机器人异构、目标物异构情况下,多移动机器人协作系统的构建.通过改进合同网协议,实现动态局域网招标,并根据期望值投标,以期望值作为确定任务执行者的重要指标.仿真实验结果表明,该方法能大幅减少系统通信开销,有效缩短任务响应时间与任务完成时间,提高了系统效率.     

基于口令的抵抗字典攻击的密钥交换协议

口令是INTERNET常用的用户身份验证方式，字典攻击方式是攻击者进行口令猜测的常用方法．本文提出了一种基于口令的抵抗字典攻击的密钥交换协议，首先对协议双方的身份进行认证，然后在两者之间生成一个随机密钥用于对后续的会话进行加密．     

基于SRP-6协议的认证与密钥交换方案

针对Web服务中身份认证的问题,分析了SRP-6(Secure Remote Password-6)协议的密钥交换机制,提出了一种基于简单对象访问协议(SOAP)和SRP-6协议的认证与密钥交换方案(SRP-over-SOAP).该方案将SOAP消息进行扩展,通过在SOAP头中加入标记,实现了SOAP消息对SRP认证信息的传递.文中还将该方案用于Web服务,实现了服务器和客户机间的双向身份认证.     

采用阈下信道的两方口令认证密钥交换协议

提出一种基于阈下信道的两方口令认证密钥交换协议.协议中,服务器存储用户口令的验证值抵御服务器泄漏伪装攻击,用户的口令明文采用阈下信道生成签名信息传送给服务器,服务器计算出用户的口令明文恢复出阈下信息,再计算口令验证值以实现对用户身份的认证,从而建立起会话密钥.对所提协议的安全性和效率进行分析,结果表明:所提出的协议安全可行且有效.