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

在现实生活中有一类智能合约与时间紧密相关,而合约是否满足这类时间性质将直接影响应用的正确性.为了避免合约部署后出现严重的问题,将以太坊上的智能合约为研究对象定义智能合约的时间自动机语义,再将智能合约转换为时间自动机模型,接着用模型检测工具UPPAAL检测智能合约是否满足以时序逻辑公式表示的实时性质.最后对竞拍合约以及飞...     

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

智能合约是代码和数据的集合,一旦部署便无法更改,且其自身持有金融属性,若出现安全漏洞问题将会造成巨大损失,可见编写出安全可靠的智能合约是至关重要的.为此,基于Ethereum平台研究并分析智能合约的安全漏洞,总结了几种易见的安全漏洞,包括可重入漏洞、整数溢出漏洞、拒绝服务(denial of service,DoS)漏...     

融合工业控制操作的攻击建模

现有工业环境攻击图缺少协议漏洞、攻击语义和控制操作的关联展示，导致智能制造系统攻击图的表述存在缺失，且系统流程操作对底层设备影响无法在图中进行描述。为此，该文对攻击图语义和攻击图模型进行研究，提出了工业环境下专有协议和特定攻击的攻击图关联规则，基于搜索算法生成扩展语义的智能制造系统攻击图。同时，设计了包含漏洞层、主机层、操作层的三层攻击图模型，利用操作与主机的映射关系将智能制造系统业务操作融入到攻击图中进行关联展示。实验结果表明，所提的扩展规则和模型可以较好地丰富和描述智能制造系统的多步攻击过程。     

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

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

法律智能合约平台模型的研究与设计

现有的智能合约技术本质上只是一段链上代码,而真正的智能合约应是法律合约的数字化,可以实现合约条款的自动执行.为此,介绍了法律智能合约的重要科技,包括法律考量、预言机、事件模型等基础设施,在分析相关机构工作的基础上提出了法律智能合约的5个标准开发步骤,通过对法律流程标准的研究提出了设计智能合约模版的方法.为解决智能合约模...     

面向联盟链的分布式公证人跨链模型

针对联盟链扩展能力差、互操作性差、存储资源浪费等问题，借助原有公证人跨链机制研究了一种去中心化的分布式公证人跨链模型。从各个局部链中推选节点组为分布式公证人链——全局链，将全局链作为跨链媒介提升模型的去中心化程度；以JMeter工具对系统的延迟和吞吐量进行测试，并从理论角度对系统存储空间利用率以及安全性进行分析；将所提出的跨链模型用于医疗健康领域，验证了该模型的可行性。     

XML查询优化策略

<正>XML查询处理技术是与处理XML查询相关的所有技术的集合[1]133.XML查询过程为:一个XML表达式或XQuery查询,经过解析后成另外一种表示结构,将此结构经过查询改写后产生更优的表示,再生成查询计划,将该计划经过查询执行引擎在XML数据库上执行,最终产生查询结果.如果将一个XML查询编译成一个纯生的查询计划,则存在寻找一个最优查询计划的问题,可以分查询分析、查询重写、物理计划生成3个步骤来完成,其中查询重写、物理计划生成是优化的重点与难点.     

基于关系数据库的故障诊断专家系统在雷达电源中的应用

将专家系统应用于雷达电源故障诊断中，利用关系数据库构建知识库，诊断数据来源于对被诊断对象的测试与知识推理，根据测试值和规则实现故障定位．     

基于矿工的改进哈希时间锁定协议

要：针对哈希时间锁定协议无法实现跨链资产转移的问题，提出一种基于矿工的改进哈希时间锁定跨链交互协议。首先，在原子交换过程中加入了椭圆曲线加密算法，该算法使矿工在目标链上安全的生成与锁定交易，以完成用户的跨链资产转移；然后，在协议中加入了矿工节点的竞争选取算法与奖惩算法，以实现一种新的币信证明共识机制；最后，对协议中的智能合约及其功能函数进行了详细阐述。在以太坊私链平台上进行仿真实验，结果表明该协议可安全地完成跨链资产转移，有效地激励矿工积极参与跨链交易。     

基于双区块链的PKI模型

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

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

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

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

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

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

针对目前数据管理中普遍存在的中心化存储、防篡改性弱、可追溯性差、缺乏安全有效的共享渠道等问题,借助区块链技术的去中心化、不可篡改等特性研究了一种基于区块链的精准扶贫数据保护方案.以个人档案的形式记录扶贫数据,依托智能合约和星际文件系统等技术使数据以数字档案形式进行新增、更新、验证、共享.将公有链和联盟链结合,以锚定数据...     

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

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

基于机制设计理论的调频服务合同的最优设计：（二）合同特性分析

针对电力市场环境下电网公司激励抽水蓄能电站提供调频辅助服务的问题，运用委托-代理模型设计在不对称信息下电网公司与抽水蓄能电站最优调频辅助服务合同，得出了满足电网公司和抽水蓄能电站双方效用均衡的结论．     

供应链网络均衡中的利润协调问题

分析并建立了供应链网络均衡模型,指出供应链中的均衡状态往往是不可能达到的,因为均衡时制造商和零售商的利润是固定的,而这种固定的利润分配未必使双方都满意。在供应链网络均衡中引进回收合约,克服了上述弊端。即通过回收合约的协调,使得在制造商和零售商都满意的利润分配下达到均衡状态。     

基于双区块链的PKI模型

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