白晓敏
- 作品数:10 被引量:98H指数:2
- 供职机构:北京航空航天大学更多>>
- 发文基金:国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种智能合约工程方法
- 本发明提供了一种智能合约生成方法,其特征在于包括以下步骤:将非形式化的智能合约说明文档转变为形式化规格的说明文档;根据对所述智能合约形式化规格的说明文档,建立智能合约的动态模型;实现不同的智能合约动态模型之间的转换;验证...
- 胡凯白晓敏黄洁华陈志东
- 文献传递
- 一种智能合约工程方法
- 本发明提供了一种智能合约生成方法,其特征在于包括以下步骤:将非形式化的智能合约说明文档转变为形式化规格的说明文档;根据对所述智能合约形式化规格的说明文档,建立智能合约的动态模型;实现不同的智能合约动态模型之间的转换;验证...
- 胡凯白晓敏黄洁华陈志东
- 文献传递
- 智能合约的形式化验证方法被引量:63
- 2016年
- 智能合约是一种代码合约和算法合同,将成为未来数字社会的基础技术,它利用协议和用户接口,完成合约过程的所有步骤.总结了智能合约主要技术特点和现存的可信、安全等问题,提出将形式化方法应用于智能合约的建模、模型检测和模型验证过程,以支持规模化智能合约的生成.研究提出了一个应用于智能合约生命周期的形式化验证框架和验证方法,针对一个智能购物场景,采用Promela建模语言对智能购物合约进行建模,用SPIN进行了模型检测,验证了形式化方法对智能合约的作用.
- 胡凯白晓敏高灵超董爱强
- 关键词:形式化方法
- 组播路由问题的分布式算法研究
- 近年来,高性能网络技术的快速发展使得通过网络实时传输多媒体数据成为可能,由此兴起了大量的实时多媒体应用,如视频点播、分布式数据库等等。而这些业务的共同需求是都要实现从一个或多个源节点向多个目的节点传送数据,这导致了网络带...
- 白晓敏
- 关键词:组播路由QOS约束分布式算法动态路由
- 文献传递
- 一种基于区块链的智能合约的实现方法
- 本发明提供了一种智能合约的实现方法,包括步骤:建立智能合约,其中,合约C为三元组:C=(I,M<Sup>*</Sup>,{M<Sub>1</Sub>,M<Sub>2</Sub>,…,M<Sub>m</Sub>}),包括:...
- 胡凯黄洁华蔡维德白晓敏陈志东
- 文献传递
- 一种区块链系统形式化建模与验证方法
- 本发明提供了一种区块链系统形式化建模与验证方法,包括:步骤1:根据有限状态机利用分层建模的方式建立单个节点的SDL(Specification and Description Language,规范描述语言)模型;步骤2...
- 胡凯段张博白晓敏陈志东
- 文献传递
- 一种私有区块链的智能合约异步执行存储系统与实现方法
- 本发明提供了一种私有区块链的智能合约异步执行存储系统,包括:私有区块链的执行状态机、交易处理器执行状态机,能够支持SCAM的存储结构模块。还提供了一种私有区块链的智能合约异步执行存储系统的实现方法。通过以上系统和实现方法...
- 胡凯黄洁华白晓敏陈志东孙赫
- 一种区块链系统形式化建模与验证方法
- 本发明提供了一种区块链系统形式化建模与验证方法,包括:步骤1:根据有限状态机利用分层建模的方式建立单个节点的SDL(Specification and Description Language,规范描述语言)模型;步骤2...
- 胡凯段张博白晓敏陈志东
- 文献传递
- 一种私有区块链的智能合约异步执行存储系统与实现方法
- 本发明提供了一种私有区块链的智能合约异步执行存储系统,包括:私有区块链的执行状态机、交易处理器执行状态机,能够支持SCAM的存储结构模块。还提供了一种私有区块链的智能合约异步执行存储系统的实现方法。通过以上系统和实现方法...
- 胡凯黄洁华白晓敏陈志东孙赫
- 文献传递
- 众筹区块链上的智能合约设计被引量:40
- 2017年
- P2P众筹是一种基于互联网金融技术的热点模式,目前的众筹平台还存在公信力不足、无法监管等问题,新兴的区块链和智能合约技术提供了解决问题的新技术途径.区块链作为分布式账本数据库,记录了不可更改的资产数据,存储在区块链上的智能合约可以直接控制数字资产的交易,从而构造了基于智能合约的可信众筹业务计算环境,为完全数字化资产的记录和转移奠定了基础.众筹项目的规则制定成智能合约代码后,把代码与项目状态全部记录在众筹区块链(crowdfunding private blockchain,CPBC)上,并由区块链执行交易代码,这样不仅保证了众筹项目的真实性、可靠性与强制性,还使得项目的执行具有可信性,极大地提升了众筹平台的公信力,还可减少众筹业务在第三方审核上的人工花费与计算成本.给出了众筹区块链的智能合约设计,包括智能合约的执行模型和存储模型,分别给出了Java的具体实例说明.研究结果表明,众筹区块链上的智能合约设计已能够满足80%的众筹业务需求,目前已经得到了初步的应用,取得了较好效果.
- 黄洁华高灵超许玉壮白晓敏胡凯
- 关键词:区块链众筹