您的位置: 专家智库 > >

陈志东

作品数:12 被引量:27H指数:1
供职机构:北京航空航天大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 11篇专利
  • 1篇期刊文章

领域

  • 2篇自动化与计算...

主题

  • 5篇交易
  • 5篇合约
  • 4篇私有
  • 4篇区块链
  • 3篇区块
  • 3篇状态机
  • 2篇代码
  • 2篇代码执行
  • 2篇动态模型
  • 2篇形式化
  • 2篇形式化建模
  • 2篇形式化建模与...
  • 2篇银行
  • 2篇银行业
  • 2篇银行业务
  • 2篇账户
  • 2篇自动生成
  • 2篇文档
  • 2篇架构
  • 2篇P2P

机构

  • 12篇北京航空航天...
  • 1篇北京中电普华...

作者

  • 12篇胡凯
  • 12篇陈志东
  • 7篇白晓敏
  • 7篇黄洁华
  • 1篇董爱强
  • 1篇孙赫

传媒

  • 1篇信息安全研究

年份

  • 1篇2022
  • 1篇2021
  • 2篇2019
  • 4篇2018
  • 3篇2017
  • 1篇2016
12 条 记 录,以下是 1-10
排序方式:
一种区块链系统形式化建模与验证方法
本发明提供了一种区块链系统形式化建模与验证方法,包括:步骤1:根据有限状态机利用分层建模的方式建立单个节点的SDL(Specification and Description Language,规范描述语言)模型;步骤2...
胡凯段张博白晓敏陈志东
文献传递
一种私有区块链的智能合约异步执行存储系统与实现方法
本发明提供了一种私有区块链的智能合约异步执行存储系统,包括:私有区块链的执行状态机、交易处理器执行状态机,能够支持SCAM的存储结构模块。还提供了一种私有区块链的智能合约异步执行存储系统的实现方法。通过以上系统和实现方法...
胡凯黄洁华白晓敏陈志东孙赫
支持银行业务的多链架构设计
本发明提供了一种支持银行业务的区块链交易方法和系统,系统包括:超级账本链、内部区块链、支行中心,并将交易类型分为行内交易与跨行交易,根据发送者的钱包地址提取发送者的交易地址,对发送者账户进行预处理,并发送到相应的支行,对...
胡凯孙赫陈志东余维
文献传递
一种基于区块链的智能合约的实现方法
本发明提供了一种智能合约的实现方法,包括步骤:建立智能合约,其中,合约C为三元组:C=(I,M<Sup>*</Sup>,{M<Sub>1</Sub>,M<Sub>2</Sub>,…,M<Sub>m</Sub>}),包括:...
胡凯黄洁华蔡维德白晓敏陈志东
文献传递
一种智能合约工程方法
本发明提供了一种智能合约生成方法,其特征在于包括以下步骤:将非形式化的智能合约说明文档转变为形式化规格的说明文档;根据对所述智能合约形式化规格的说明文档,建立智能合约的动态模型;实现不同的智能合约动态模型之间的转换;验证...
胡凯白晓敏黄洁华陈志东
文献传递
一种基于P2P金融的区块链机制与共识算法
本发明提供了一种基于P2P金融区块链机制的共识算法,包括如下步骤:(1)准备阶段:选取leader且当leader收到足够多的交易之后由leader开始计算区块;(2)计算区块,最后将计算好的区块广播;(3)区块的状态根...
胡凯陈志东黄洁华孙赫许玉壮
文献传递
一种智能合约工程方法
本发明提供了一种智能合约生成方法,其特征在于包括以下步骤:将非形式化的智能合约说明文档转变为形式化规格的说明文档;根据对所述智能合约形式化规格的说明文档,建立智能合约的动态模型;实现不同的智能合约动态模型之间的转换;验证...
胡凯白晓敏黄洁华陈志东
文献传递
一种区块链系统形式化建模与验证方法
本发明提供了一种区块链系统形式化建模与验证方法,包括:步骤1:根据有限状态机利用分层建模的方式建立单个节点的SDL(Specification and Description Language,规范描述语言)模型;步骤2...
胡凯段张博白晓敏陈志东
文献传递
一种私有区块链的智能合约异步执行存储系统与实现方法
本发明提供了一种私有区块链的智能合约异步执行存储系统,包括:私有区块链的执行状态机、交易处理器执行状态机,能够支持SCAM的存储结构模块。还提供了一种私有区块链的智能合约异步执行存储系统的实现方法。通过以上系统和实现方法...
胡凯黄洁华白晓敏陈志东孙赫
文献传递
一种私有链节点的集群交易处理方法
本发明提供了一种私有链节点的集群交易处理方法,包括如下步骤:(1)负载均衡,区块链集群节点接收上层应用层发来的交易,将其负载到不同的交易处理机上;(2)交易校验和交易执行,每个交易处理机接收负载均衡机发送来的交易对其校验...
胡凯许玉壮黄洁华孙赫陈志东
文献传递
共2页<12>
聚类工具0