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

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

考虑对手方违约风险首次违约互换合约的定价

研究时手方违约风险的首次违约互换合约的定价问题.通过双曲衰减的违约相关模型来刻画资产池中两个资产之间的相互依赖性结构,利用总的违约时间构建方法,建立了考虑对手方违约风险的首次违约互换合约的数学模型,得到了合约的定价公式,并进行了风险分析.     

异构多链场景下跨境海产品供应链平台的架构设计与实现

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

基于区块链的有序多重签名方案

有序多重签名是由多个用户按一定顺序对同一文件进行签名和认证.目前的有序多重签名都是由签名者对签名进行验证,导致整体签名时间过长,为了解决这一问题,采用智能合约解决签名验证的时间消耗,同时为了保证签名过程的公平性,引入了罚金机制.方案将区块链技术与有序多重签名方案相结合,使得在限制签名者签名时间的同时保证了签名过程完全透...     

油气长期合约套期保值策略:基于离散方法的理论模型与实证研究

石油与天然气是全球经济的血脉,为了保证能源的稳定供给,我国与俄罗斯、中东等国签订了多个油气供应协议,这些合约持续时间长、涉及金额大、套期保值难度高.传统的套期保值理论难以控制现金流风险.文章在综合考虑现金流风险和期末风险的条件下,建立了离散化高维风险度量模型,开发了高维牛顿迭代算法,解决了复杂条件下无法求得最优套期保值策略解析解的问题.理论研究表明,长期合约套期保值策略具有“三阶段”特征,实证研究发现,均值回复过程能够更准确地刻画油气价格变化过程,基于此得到的套期保值策略在现金流风险和对冲成本等方面具有显著优势.理论和实证研究结果表明,文章所提方法简便易行,可以解决复杂条件下油气长期合约的套期保值问题,具有较好的实用性.     

一种区块链交易信息的隐私保护方案

针对区块链用户交易的隐私性问题,提出了一种基于多项式承诺的交易隐私保护方案(transaction privacy protection scheme based on polynomial commitments, TPP-PC)。利用多项式在随机点处的承诺值对交易金额进行隐藏和绑定,实现对用户交易金额的隐私性保护,并且降低承诺开销;采用智能合约和零知识证明,在无可信第三方的情况下,在智能合约处利用零知识证明验证交易的合法性,有效防止交易金额在传输过程中被篡改,达到交易金额始终正确的效果;通过Paillier同态加密算法,实现在密文状态下完成账户更新,保证交易金额在存储过程中的安全。通过对方案正确性、安全性和性能的分析,表明方案既能对交易数据进行加密,又能实现用户链下交易信息的隐私,有效防止恶意者篡改数据,保证交易双方交易信息的安全性,综合优势较明显。     

双重道德风险下帕累托有效的供应链合约

针对信息不对称所产生的双重道德风险问题,研究了业界广泛使用的产品回购合约对供应链整体绩效的影响.通过构建二级供应链并使用三阶段博弈来刻画合约签订的决策过程,得到了实现帕累托有效合约的必要条件,并给出了具体算例.研究结果表明,在适度的市场风险下,供应链上下游企业之间能够签订一份在完全信息条件下才能达到的帕累托最优合约.     

一种面向交互代码的构件合约化测试方法

构件技术是软件复用的关键技术,构件测试是检测构件故障保证构件质量的重要手段。构件故障分为构件本身的故障和构件化软件集成时的故障,前者由于构件开发者熟悉源代码而易于测试和定位;后者由于软件复用者对构件的不清楚和集成的复杂性导致故障往往难以检测和发现,因此构件集成测试中的故障测试是目前研究的难点问题之一。构件集成测试离不开交互代码(粘贴代码),文中提出了一种面向粘贴代码的构件合约化测试方法。分析了基于粘贴代码的构件测试中的四种故障类型;针对这四种故障类型,依据合约的适应性,阐述了基于XML的粘贴代码合约的构造机理;并且给出了构件集成中基于合约检查的测试过程;最后以网络购物系统为应用实例,验证了该方法的有效性和实用性。该方法为捕捉错误,抛出异常信息,快速定位构件集成中的故障位置,准确发现故障原因提供了一种非常有效的途径。该方法的使用减少了构件集成测试中粘贴代码产生的冗余,提高了测试的灵活性,实现了高效的软件复用,缩短了软件开发周期,降低了开发成本。     

采用区块链的物联网数据共享方案

针对物联网(IoT)数据共享过程中存在的安全漏洞和隐私泄露风险,提出一种基于区块链的物联网数据共享方案.采用数据的不可篡改、分布式存储、隐私保护、可追溯及访问控制,将消息队列遥测传输(MQTT)作为通信协议和中间件,并为其提供身份认证和主题权限管理.结合国产加密算法实现密钥交换、数据摘要和加密传输,通过区块链记录设备的行为,在提高可信度的同时提供追溯的能力,采用智能合约对数据和主题进行共享和管理,实现链上链下数据协同保障数据的一致性.通过系统原型实现与测试,结果表明：该方案能够确保物联网设备之间共享数据时的安全性和隐私性,满足物联网应用性能需求,具有可行性.     

一种基于UPPAAL的智能合约属性形式化验证方法

针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.