-
公开(公告)号:CN110378690B
公开(公告)日:2022-05-27
申请号:CN201910512096.2
申请日:2019-06-13
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种匿名安全支付通道方法及装置,其中,方法包括:交易双方在互联网上进行通信确立交易的意愿,并选择路径,确定交易中间人,并分别与交易中间人建立部署智能合约,以建立通道;通过交易双方及移交中间人之间传递虚拟通道开通证明;控制交易双方之间进行交易,并相互发送交易凭证;通过第一交易用户将交易的最终结果发送给交易中间人,由交易中间人进行计算,确认无误后向第一交易用户发送用于关闭结算的盲签名凭证,向第一交易用户换取关闭通道的凭证,且第一交易用户将收到的盲签名凭证去盲化处理后转发给第二交易用户用来关闭通道。该方法可以实现交易过程中的双方身份不可链接性,且适用于大多数支持智能合约的区块链网络。
-
公开(公告)号:CN108924092B
公开(公告)日:2020-11-20
申请号:CN201810579654.2
申请日:2018-06-07
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种基于区块链的可公开仲裁分布式云存储方法及系统,其中,方法包括:制定服务合约并进行第一次用户匹配,以建立用户与存储服务提供者之间的第一次链下连接;通过第一次链下连接建立包含存储押金和存储服务费的存储合约并发布至全网;根据发布至全网的存储合约进行数据存储,且根据存储记录进行第二次用户匹配,以建立用户与存储服务提供者之间的第二次链下连接;通过第二次链下连接建立链下微支付通道,以进行查询交易,并将最后一笔交易内容签名提交至全网以进行认证。该方法可以有效利用全网节点的本地存储空间,且不需要可信第三方进行审计操作就可以智能合约规范全网的服务,保证存储和查询过程的公平性。
-
公开(公告)号:CN110378690A
公开(公告)日:2019-10-25
申请号:CN201910512096.2
申请日:2019-06-13
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种匿名安全支付通道方法及装置,其中,方法包括:交易双方在互联网上进行通信确立交易的意愿,并选择路径,确定交易中间人,并分别与交易中间人建立部署智能合约,以建立通道;通过交易双方及移交中间人之间传递虚拟通道开通证明;控制交易双方之间进行交易,并相互发送交易凭证;通过第一交易用户将交易的最终结果发送给交易中间人,由交易中间人进行计算,确认无误后向第一交易用户发送用于关闭结算的盲签名凭证,向第一交易用户换取关闭通道的凭证,且第一交易用户将收到的盲签名凭证去盲化处理后转发给第二交易用户用来关闭通道。该方法可以实现交易过程中的双方身份不可链接性,且适用于大多数支持智能合约的区块链网络。
-
公开(公告)号:CN108924092A
公开(公告)日:2018-11-30
申请号:CN201810579654.2
申请日:2018-06-07
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种基于区块链的可公开仲裁分布式云存储方法及系统,其中,方法包括:制定服务合约并进行第一次用户匹配,以建立用户与存储服务提供者之间的第一次链下连接;通过第一次链下连接建立包含存储押金和存储服务费的存储合约并发布至全网;根据发布至全网的存储合约进行数据存储,且根据存储记录进行第二次用户匹配,以建立用户与存储服务提供者之间的第二次链下连接;通过第二次链下连接建立链下微支付通道,以进行查询交易,并将最后一笔交易内容签名提交至全网以进行认证。该方法可以有效利用全网节点的本地存储空间,且不需要可信第三方进行审计操作就可以智能合约规范全网的服务,保证存储和查询过程的公平性。
-
公开(公告)号:CN117370988B
公开(公告)日:2024-10-29
申请号:CN202311329186.0
申请日:2023-10-13
Applicant: 北京航空航天大学 , 绿盟科技集团股份有限公司
Abstract: 本发明公开了一种工业控制程序自动化逆向分析方法与流程。首先,从互联网上收集的格式相同的工业控制程序文件并存储在同源格式文件目录下,对同源格式文件目录下的工业程序文件进行递归式手工分析,归纳文件头长度和内部字段信息,确定子程序段分隔符;其次,根据分隔符划分子程序段,确定全局变量初始化程序段和一般程序段,确定静态链接库函数、用户自定义函数、动态链接库函数、设备I/O操作函数,确定函数调用关系并建立函数指纹数据库;最后,编写自动化分析脚本,实现对不同格式的工业控制程序文件的自动化逆向,基于程序反汇编以及函数识别的结果,使用文本图形描述语言DOT及Graphviz工具包构建函数调用关系图,以实现逆向结果的可视化展示。
-
公开(公告)号:CN113660272B
公开(公告)日:2022-06-21
申请号:CN202110948509.9
申请日:2021-08-18
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种抗拜占庭排序的异步共识方法及装置,其中,方法包括:将各个参与方运行可靠广播协议得到的提议值发送至其它参与方;接收其它参与方发送的提议值,并为提议值提供本地时间戳;对提议值运行信号驱动的异步公共子集协议,并将本地时间戳作为输入,使得在协议运行完成所有的异步公共子集协议后,每个参与方取各个异步公共子集协议输出的时间戳集合的中位数作为对应提议值的时间戳。由此,解决了现有的异步共识系统不能抵抗针对排序攻击的拜占庭敌手的问题,可以在异步网络中抵抗排序攻击,具有更高的安全性,并且可以为区块链系统提供底层数据一致性保证,增强区块链的安全性。
-
公开(公告)号:CN112907370B
公开(公告)日:2022-06-03
申请号:CN202110184553.7
申请日:2021-02-10
Applicant: 北京航空航天大学
IPC: G06Q40/04 , H04L67/10 , H04L67/1042 , G06F21/64
Abstract: 本发明公开了一种多角色驱动的流水线共识方法及系统,分为提议流和共识流,在提议流中,领导节点不间断地发起交易区块的共识提议。在共识流中,所有共识节点进行消息交互,通过流水线的工作方式处理来自领导节点的一系列共识提议,对提议中的交易区块达成共识。由此,实现共识消息的快速积极响应,降低交易确认的延迟;增强系统的可扩展性,提高系统的交易吞吐量。
-
公开(公告)号:CN113660272A
公开(公告)日:2021-11-16
申请号:CN202110948509.9
申请日:2021-08-18
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种抗拜占庭排序的异步共识方法及装置,其中,方法包括:将各个参与方运行可靠广播协议得到的提议值发送至其它参与方;接收其它参与方发送的提议值,并为提议值提供本地时间戳;对提议值运行信号驱动的异步公共子集协议,并将本地时间戳作为输入,使得在协议运行完成所有的异步公共子集协议后,每个参与方取各个异步公共子集协议输出的时间戳集合的中位数作为对应提议值的时间戳。由此,解决了现有的异步共识系统不能抵抗针对排序攻击的拜占庭敌手的问题,可以在异步网络中抵抗排序攻击,具有更高的安全性,并且可以为区块链系统提供底层数据一致性保证,增强区块链的安全性。
-
公开(公告)号:CN113643029A
公开(公告)日:2021-11-12
申请号:CN202110922775.4
申请日:2021-08-12
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种内积论证构造方法及装置,其中,方法包括:承诺步骤:接收证明者利用私有证据作初始运算得到的第一运算结果;挑战步骤:基于第一运算结果,选择一个随机挑战,并将随机挑战发送至证明者;响应步骤:接收证明者利用随机挑战作若干运算得到的第二运算结果;验证步骤:基于公开陈述,利用第一运算结果、第二运算结果和随机挑战进行验证,以选择接受或拒绝证明者的陈述。该方法可以进一步降低第一类内积论证的通信复杂度和验证复杂度,以提高调用该论证的零知识证明协议的性能,如范围证明协议、算术电路可满足性论证协议及可验证多项式承诺方案等,进而增强零知识证明与其应用的性能适配性。
-
公开(公告)号:CN112636905A
公开(公告)日:2021-04-09
申请号:CN202011460466.1
申请日:2020-12-11
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种基于多角色的可扩展共识机制的系统及方法,该系统包括:委员会节点授权及角色管理模块,用于选取共识网络中的委员会节点,根据委员会节点多角色方案和管理规则对委员会节点进行分类;委员会共识达成模块,用于在所述共识网络正常运作情况下,通过基于多角色的可扩展共识算法完成对输入信息的高效状态机复制;委员会重配置模块,用于在共识机制发生视图切换后,根据委员会各个节点的实时网络状态对委员会成员进行重新配置。该系统提升了共识机制的吞吐量,在保证系统可用性的前提下,支持更多的委员会节点,降低了消息确认的时间,实现了交易的快速响应,加强了抵御适应性敌手的能力。
-
-
-
-
-
-
-
-
-