基于区块链智能合约的动态频谱共享

针对集中式动态频谱共享存在的频谱资源数据安全威胁、管理成本高、扩展性低等问题，利用区块链技术的去中心化、数据不可篡改等特性，提出了一个基于区块链智能合约的动态频谱共享方案。首先，利用区块链ERC4907协议设计了频谱券，保证频谱资源的唯一性标识并可租赁；其次，利用区块链预言机来实时更新空闲频谱资源数据，实现频谱数据的上链；再次，通过基于智能合约的拍卖算法以及Vue框架实现在前端页面对空闲频谱资源所对应的频谱券租赁期限的拍卖。实验结果表明，提出的基于区块链智能合约技术的动态频谱共享方案能够满足用户安全有效地进行动态频谱共享，具有可行性。     

基于双区块链的PKI模型

公钥基础设施（public key infrastructure,PKI）体系为实施电子商务、电子政务、办公自动化等提供了非常重要的安全服务。该文以区块链和智能合约为基础构建了证书颁发机构（certificate authority,CA），提出基于双区块链的分布式PKI模型，以医疗PKI为应用场景，用区块链和智能合约技术管理证书和病人信息，保证了证书发布和撤销的透明性，实现了病人信息的隐私保护和访问控制，解决了传统的PKI中存在的单点故障、多CA互信、证书发放不安全、证书透明性以及快速验证等问题。安全性分析和实验表明该模型可以解决传统PKI和现有单链PKI模型中存在的多种问题，有效保护了病人的隐私，并显著提高了证书发放和验证的效率。     

基于双区块链的PKI模型

公钥基础设施（public key infrastructure, PKI）体系为实施电子商务、电子政务、办公自动化等提供了非常重要的安全服务。该文以区块链和智能合约为基础构建了证书颁发机构（certificate authority, CA），提出基于双区块链的分布式PKI模型，以医疗PKI为应用场景，用区块链和智能合约技术管理证书和病人信息，保证了证书发布和撤销的透明性，实现了病人信息的隐私保护和访问控制，解决了传统的PKI中存在的单点故障、多CA互信、证书发放不安全、证书透明性以及快速验证等问题。安全性分析和实验表明该模型可以解决传统PKI和现有单链PKI模型中存在的多种问题，有效保护了病人的隐私，并显著提高了证书发放和验证的效率。     

带时间约束的智能合约验证

在现实生活中有一类智能合约与时间紧密相关，而合约是否满足这类时间性质将直接影响应用的正确性。为了避免合约部署后出现严重的问题，将以太坊上的智能合约为研究对象定义智能合约的时间自动机语义，再将智能合约转换为时间自动机模型，接着用模型检测工具UPPAAL检测智能合约是否满足以时序逻辑公式表示的实时性质。最后对竞拍合约以及飞机保险购买合约进行了实例研究，其结果可以展示合约的实时性质是否得以满足。若不满足则可以根据反例定位合约出现的问题点，显示了该工作的有效性。     

SlightDetection：一种以太坊智能合约安全漏洞的静态分析工具

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

基于智能门禁的匙锁多类关系共存机制及实现算法研究

在提出多类关系并存智能门禁工作模型的基础上,通过对门禁匙锁进行概念抽象,匙锁关系数学分类,建立了较为全面的可计算性”匙—锁”多类关系。提出用映射机环节配置方法实现智能门禁中多类关系共存机制,并对环节配置规则进行了严格证明,设计了实现这一机制的实用算法,本机制已付诸实施,各项功能发挥正常,本机制有益于促进智能门禁的后期智能开发,提高智能门禁的整体智能程度,满足社会发展对智能门禁的新要求。     

匿名可追溯的区块链数据交易方案

为解决区块链数据交易中用户身份等隐私数据泄露问题,提出一种基于联盟链和群签名的数据资产交易方案。采用联盟链节点准入机制实现注册用户的身份认证,引入可链接群签名技术实现用户交易的匿名性和交易记录的可追溯性,通过智能合约正确执行链上数据公平交换策略。最后对所提出的方案进行理论分析和仿真实验,表明该方案可以实现更加安全高效的去中心化数据交易。     

基于Ethereum智能合约的安全策略分析

智能合约是代码和数据的集合，一旦部署便无法更改，且其自身持有金融属性，若出现安全漏洞问题将会造成巨大损失，可见编写出安全可靠的智能合约是至关重要的。为此，基于Ethereum平台研究并分析智能合约的安全漏洞，总结了几种易见的安全漏洞，包括可重入漏洞、整数溢出漏洞、拒绝服务（denial of service，DoS）漏洞、时间戳依赖漏洞、交易序列依赖漏洞等；针对上述合约的漏洞进行详细的原理分析和场景复现，提出了相应的预防安全策略并通过实验进行有效性验证；最后分析并比较了几种主流的智能合约安全漏洞检测工具。     

多域物联网中基于区块链和权能的访问控制机制

物联网中的数据通常包含大量的隐私信息,为了防止设备协同过程中因越权访问造成隐私数据泄露的问题,针对多域物联网设备协同场景提出了一套访问控制机制。将分布式的基于权能的访问控制（capability-based access control,CapAC）与区块链技术相结合,设计了存储于区块链的权能令牌以及基于智能合约实现的令牌管理合约。根据CapAC的决策方式,设计了基于区块链的令牌验证方法。针对物联网的特性进行优化,设计了区块链轻量化节点。最后,搭建了区块链系统并实现了所提出的机制。实验测试结果显示,相比于中心化的访问控制机制,该方案不但在大规模的物联网场景下安全准确地执行访问决策而且具有更稳定的处理性能。此外,轻量化设计能够大幅度地降低节点存储负担。     

基于Call Center的银行交互式语音服务系统设计

基于呼叫中心技术,研究并给出一个银行语音服务系统的设计与实现方案.通过自动呼叫分配系统(ACD)和座席调度队列算法设计,实现了自动交互式语音应答模式座席服务,实现了电话银行、座席服务和网上银行3种基本服务.与传统的语音应答系统相比,该系统设计中应用了交换技术(CTI前置机/后台机)、智能话务分配(自动呼叫分配)、计算机网络、综合数据集成技术等先进技术手段,实现了现代CallCenter的功能和业务,使银行语音信息数据能够及时、远程、安全的处理.     

一种基于区块链的电子合同共享方案

为解决电子合同在存储、共享过程中出现的数据被篡改或泄露等问题，提出了一种基于区块链的电子合同共享方案。首先，将智能合约与代理重加密技术相结合，构造出一个代理智能合约来代替传统代理重加密过程中的代理商，去中心化地实现了电子合同的安全共享。其次，利用星际文件系统（inter planetary file system, IPFS）存储电子合同密文，区块链存储电子合同索引地址，有效缓解了区块链的存储压力。最后，从方案对比、安全性等方面对所提方案进行分析。     

基于学习契约的CSCL系统设计

应用学习契约来提高计算机支持的协作学习(CSCL)中学习者的学习绩效.论述了学习契约和CSCL的内涵,设计了基于学习契约的CSCL系统.结合系统的使用流程,论述了该系统各功能模块.     

模糊需求依赖价格的回购契约协调模型研究

运用可信理论分别建立了分散、集中决策和回购契约下的供应链协调模型，对3个模型分别进行求解．通过比较最优解，得到回购契约下能够使系统达到最优．并通过实例进行分析，结果表明：回购契约下供应链的整体利润相对于分散决策下提高了19．9％，实现了供应商和零售商的双赢，验证了模型的正确性．     

基于区块链的精准扶贫数据保护方案

针对目前数据管理中普遍存在的中心化存储、防篡改性弱、可追溯性差、缺乏安全有效的共享渠道等问题,借助区块链技术的去中心化、不可篡改等特性研究了一种基于区块链的精准扶贫数据保护方案。以个人档案的形式记录扶贫数据,依托智能合约和星际文件系统等技术使数据以数字档案形式进行新增、更新、验证、共享。将公有链和联盟链结合,以锚定数据快照信息的方式保障数据的安全性。在智能合约构建过程中,采用安全多方计算（secure multi-party computation,SMPC）技术增强合约的执行安全性,解决资金转账等敏感问题。改进Raft共识算法,将各节点的性能、可靠性、地区影响力等维度作为综合性能,设计基于节点综合性能的Raft共识算法,解决数据存储和数据处理效率的问题。利用Postman、JMeter等工具对系统的存证、吞吐量进行测试,所得结果能满足系统的需求。     

赠与合同若干问题探析

赠与合同的法律性质及与之相关联的撤销赠与的条件和法律后果、受赠人范围等问题,必须依合同法的立法宗旨得到准确解释。赠与合同采诺成合同说才符合合同法的立体本意,而且合同法规定赠与合同为诺成合同的同时,赋予赠与人的任意撤销权和法定权,与实践合同说特殊途同归。此外,无民事行为能力人应纳入受赠人范围。     

试论合同解除的法律后果

合同解除的法律后果包括合同解除的溯及力和合同解除后的财产处理。合同解除可以具有溯及力,但这只是一种可能性,具体到某一特殊合同时,要使这种可能性转化为现实性,必须综合考虑各种因素,具体合同具体分析。合同解除后的财产处理包括恢复原状、不当得利返还和损害赔偿等。