-
公开(公告)号:CN119728449A
公开(公告)日:2025-03-28
申请号:CN202411860378.9
申请日:2024-12-17
Applicant: 北京大学长沙计算与数字经济研究院 , 北京大学
IPC: H04L41/14 , H04L9/00 , H04L67/104
Abstract: 本发明涉及区块图技术领域,公开了区块图系统模拟方法、装置、设备及存储介质,本发明响应于网络生成指令,基于交互界面中输入的网络模拟参数,生成目标网络并展示在交互界面中;响应于区块图模拟指令,基于交互界面中输入的区块模拟参数对应的区块数据结构和目标网络,生成目标区块图并展示在交互界面中;对目标区块图包括的区块进行共识判定,得到目标区块图对应的目标区块集合并展示在交互界面中。通过预置各个区块图系统对应的区块数据结构,在接收到区块图模拟指令时根据对应的区块数据结构模拟生成目标区块图,并对目标区块图进行共识判定,能够对不同类型的区块图系统进行模拟生成和共识判定,提高了对区块图模拟的普遍适用性和效率。
-
公开(公告)号:CN119691481A
公开(公告)日:2025-03-25
申请号:CN202411861965.X
申请日:2024-12-17
Applicant: 北京大学长沙计算与数字经济研究院 , 北京大学
IPC: G06F18/231 , H04L67/1095 , H04L9/00
Abstract: 本发明涉及区块链技术领域,公开了一种基于扩展集群聚类算法的区块图共识方法及装置,该方法包括获取目标区块图,对目标区块图进行分层处理,基于分层处理结果构建区块支持集;目标区块图由创世区块和引用可达区块构成;基于区块支持集确定区块属性,基于区块属性计算区块支持集的聚集程度得分;对区块支持集进行划分,对划分后的区块支持集进行聚集程度评分,得到划分集合的聚集程度得分;将区块支持集的聚集程度得分和划分集合的聚集程度得分进行比较,基于比较结果确定区块图共识结果。本发明能够在发散的图拓扑中寻找稳定的聚集的子图作为区块图共识结果,保证了区块图共识结果的后向一致性,从而提高了区块图共识结果的稳定性。
-
公开(公告)号:CN117668121B
公开(公告)日:2024-07-16
申请号:CN202311799329.4
申请日:2023-12-25
Applicant: 北京大学长沙计算与数字经济研究院 , 北京大学
IPC: G06F16/27 , G06F21/64 , H04L67/1001
Abstract: 本发明涉及信息技术领域,公开了一种区块链共识、区块引用方法以及平行型图区块链系统,本发明提供的区块链共识方法,指定由同一条平行链上的见证区块进行提交时,需要满足被提交的见证区块被大于或等于预设数量的来自不同平行链的预设轮数的区块强看见,并且该轮的这些区块被下一轮的指定平行链上的见证区块也全都强看见,从而实现了平行链松散耦合和分开共识。进一步,本发明提供的区块引用方法允许在发现冲突后在图拓扑结构中回溯到分叉节点,根据分支的经历轮数来确定引用区块,可以最终保障图拓扑结构的完整性进而使得对应系统能够持续地产生新的轮数和提交新的区块。
-
公开(公告)号:CN117668121A
公开(公告)日:2024-03-08
申请号:CN202311799329.4
申请日:2023-12-25
Applicant: 北京大学长沙计算与数字经济研究院 , 北京大学
IPC: G06F16/27 , G06F21/64 , H04L67/1001
Abstract: 本发明涉及信息技术领域,公开了一种区块链共识、区块引用方法以及平行型图区块链系统,本发明提供的区块链共识方法,指定由同一条平行链上的见证区块进行提交时,需要满足被提交的见证区块被大于或等于预设数量的来自不同平行链的预设轮数的区块强看见,并且该轮的这些区块被下一轮的指定平行链上的见证区块也全都强看见,从而实现了平行链松散耦合和分开共识。进一步,本发明提供的区块引用方法允许在发现冲突后在图拓扑结构中回溯到分叉节点,根据分支的经历轮数来确定引用区块,可以最终保障图拓扑结构的完整性进而使得对应系统能够持续地产生新的轮数和提交新的区块。
-
公开(公告)号:CN117633726A
公开(公告)日:2024-03-01
申请号:CN202311624142.0
申请日:2023-11-30
Applicant: 北京大学 , 北京大学长沙计算与数字经济研究院
Abstract: 本发明公布了一种基于联盟链的软件完整性远程快速验证方法与系统,对开发完成的待验证软件进行完整性度量,产生软件文件哈希值列表并发布,确定寻找地址方式;将寻址方式和哈希值存入版本列表;更新联盟链中的版本列表的哈希值;将联盟链作为软件系统的信任根,建立证据链;将软件的存储和管理成本高的版本列表与软件文件哈希值列表存储在外部设备上,并且保证其完整性。采用本发明提供的技术方案,能够实现高效、安全、全面的软件完整性远程验证。
-
公开(公告)号:CN108830957B
公开(公告)日:2020-06-02
申请号:CN201810574163.9
申请日:2018-06-06
Applicant: 北京大学
Abstract: 本发明公布了一种应用于私人空间入口的智能物品交互系统及方法。系统采用机制与策略分开的体系结构,支持策略的变通,可为不同成员服务,适应变化的环境,能够为机器代替人在私人空间入口处有选择地签收物品。利用本发明提供的技术方案指导开发的智能设备,能够将物品有选择地接收到私人空间并提供接收凭证,从而满足可信赖性要求。本发明技术方案可减少物流系统的存储成本、运输成本、通讯成本和时间成本,提高经济价值,改善用户购物体验,且有利于智能家具行业的生态建设。
-
公开(公告)号:CN108959922A
公开(公告)日:2018-12-07
申请号:CN201810546778.0
申请日:2018-05-31
Applicant: 北京大学
CPC classification number: G06F21/562 , G06F21/53 , G06F21/566
Abstract: 本发明公布了一种基于贝叶斯网的恶意文档检测方法及系统,通过将文档抽象为特征矩阵表示;采用贝叶斯网络结构表示各种特征与是否为恶意文档间的因果概率关系;利用贝叶斯网络结构对文档的特征矩阵进行后验概率计算;从而有效判断该文档是否为恶意文档。包括:确定模型基础特征指标、构建贝叶斯网络结构、根据贝叶斯网络结构计算文档为恶意文档和正常文档的后验概率。采用本发明技术方案,通过基于贝叶斯网采用静态特征和动态特征结合分析的方式检测各种格式文档,并有效提高检测准确率。
-
公开(公告)号:CN114327789B
公开(公告)日:2024-05-17
申请号:CN202210017306.2
申请日:2022-01-07
Applicant: 北京大学
Abstract: 本发明公开了一种基于LLVM的虚拟机保护方法及系统,通过实现自定义指令集与程序解释器,在LLVM中间代码层面实现虚拟机保护。本发明通过将源代码转化为LLVM中间表示,遍历整个IR程序获得程序所有的函数和基本块作为基本单位,为所有基本单位进行依赖分析并根据依赖分析结果对基本单位进行切分得到基本指令,将基本指令进行重组得到新基本块,并绑定操作码,根据新基本块创建操作码数组和解释器,通过解释器完成整个程序的控制逻辑从而达到虚拟机保护的目的。相比传统静态混淆技术,本发明具有更高的反混淆能力;相比传统的虚拟机保护技术,本发明在保证高混淆强度的情况下,极大地降低了混淆所需要的时间、空间开销。
-
公开(公告)号:CN114510723B
公开(公告)日:2024-04-16
申请号:CN202210150834.5
申请日:2022-02-18
Applicant: 北京大学
Abstract: 本发明公开了一种智能合约权限管理漏洞检测方法及装置,属于区块链安全技术领域。本发明分为两个阶段,第一阶段是将智能合约solidity源码编译成操作码指令序列,在操作码指令序列中找到表示构造函数结束的指令,在构造函数结束指令之前的指令中找到与关键权限变量“owner”初始化相关的指令,并确定“owner”初始化时的存储位置;第二阶段是通过符号执行的方法,遍历构造函数之外所有可能修改“owner”存储位置所存储的值的路径,进行约束求解,得到智能合约权限管理漏洞。本发明可以检测出智能合约中定义的特殊权限变量“owner”的值是否可以被修改,并增加特定约束条件来提高检测准确率。
-
公开(公告)号:CN116360888A
公开(公告)日:2023-06-30
申请号:CN202111617607.0
申请日:2021-12-27
Applicant: 北京大学
Abstract: 本发明公布了一种基于静态特征的非直接调用目标识别方法及装置,将源代码转化成LLVM中间表示,提取所述LLVM中间表示中的静态特征,根据所述静态特征中的所述类型信息识别非直接调用目标,根据所述函数名、所述直接调用指令目标和识别出的非直接调用目标,构建一个以函数为顶点,以调用关系为边的无向调用图;并据所述函数名和所述代码度量计算出非直接调用指令的各个目标的调用距离、调用路径可达性及函数间相似程度;以所述调用距离、调用路径可达性及函数间相似程度制定筛选规则,筛选出非直接调用目标。本发明通过结合多种静态特征分析的方式识别程序中的非直接调用目标,保证了低漏报率;根据筛选规则降低了误报率,并有效提高识别准确率。
-
-
-
-
-
-
-
-
-