-
公开(公告)号：CN114282227A
公开(公告)日：2022-04-05
申请号：CN202210029433.4
申请日：2022-01-12
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明公布了一种Fabric区块链系统智能合约的安全分析检测方法，该方法与智能合约的开发语言无关，通过将不同开发语言编写的智能合约统一转换为中间语言IR，并根据IR语言特征改进污点分析方法，实现在IR上跟踪安全风险的产生和传播过程，由此检测识别其是否存在安全漏洞。本发明将Fabric区块链系统智能合约安全分析与智能合约编程语言解耦，不仅弥补了当前对于Fabric智能合约安全分析方案的空白，且支持对新漏洞类型和新智能合约编程语言的持续拓展。
-
公开(公告)号：CN113220996A
公开(公告)日：2021-08-06
申请号：CN202110508376.3
申请日：2021-05-10
Applicant: 北京大学
IPC: G06F16/9535 , G06F16/36 , G06F16/951 , G06F40/295 , G06N3/04 , G06N3/08
Abstract: 本发明提供了一种基于知识图谱的科技服务推荐方法、装置、设备及存储介质，其中的科技服务推荐方法包括：获取流程文档及各流程环节的需求文档；获取各流程环节的需求文档的初始关键词；爬取到各流程环节的初始科技服务文档；抽取出初始科技服务文档所涉及的初始命名实体；对初始关键词进行扩充得到各流程环节的需求文档的扩充关键词；基于扩充关键词获得各流程环节的最终科技服务文档；抽取出最终科技服务文档所涉及的扩充命名实体；抽取出各扩充命名实体之间的关系；形成知识图谱；基于知识图谱实施科技服务推荐。本发明针对科各流程环节的不同需求分别爬取科技服务文档，并构建知识图谱，从而实现对科技服务需求对象各流程环节的针对性推荐。
-
公开(公告)号：CN112199512A
公开(公告)日：2021-01-08
申请号：CN202011099915.4
申请日：2020-10-15
Applicant: 北京大学 , 南京博雅区块链研究院有限公司 , 北京国信云服科技有限公司
IPC: G06F16/36 , G06F16/335 , G06F16/901 , G06F40/211 , G06F40/216 , G06F40/253 , G06F40/284 , G06F40/289
Abstract: 本发明提供了一种面向科技服务的事理图谱构建方法、装置、设备及存储介质，其中的事理图谱构建方法包括：获取科技服务需求文本；对科技服务需求文本进行预处理；对科技服务需求文本进行事件抽取；对科技服务需求文件进行事件关系抽取；基于抽取出的需求事件和需求事件之间的逻辑关系建立事理图谱，事理图谱为有向有环图，其中的节点代表需求事件，有向边代表需求事件之间的逻辑关系；计算出各有向边连接的两个需求事件之间的演化概率，并将演化概率作为权重值添加至有向边上。通过构建面向科技服务的事理图谱，本发明能够快速匹配到与用户需求直接相关的需求事件以及与用户需求之间联系最为紧密的其他需求事件，从而对客户需求实现更有效的感知。
-
公开(公告)号：CN112000783A
公开(公告)日：2020-11-27
申请号：CN202010769613.7
申请日：2020-08-03
Applicant: 北京大学 , 南京博雅区块链研究院有限公司 , 北京国信云服科技有限公司
IPC: G06F16/332
Abstract: 本发明提供了一种基于文本相似性分析的专利推荐方法、装置、设备及存储介质，专利推荐方法包括：获取目标文本的目标关键词，目标关键词包括主体关键词及描述性关键词；以主体关键词和所有的描述性关键词作为检索词获得基础相似文本集；以主体关键词和各描述性关键词作为检索词获得扩展相似文本集；遍历扩展相似文本集，针对每个扩展相似文本，基于该扩展相似文本的文本特征词和该扩展相似文本对应的检索词计算该扩展相似文本与基础相似文本集中的基础相似文本之间的相似度，当该扩展相似文本与基础相似文本集中的任一基础相似文本之间的相似度高于预定阈值时，将该扩展相似文本移入至基础相似文本集。本发明能够提升相似文本的查全率，降低漏检率。
-
公开(公告)号：CN111563237A
公开(公告)日：2020-08-21
申请号：CN202010211696.8
申请日：2020-03-24
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
IPC: G06F21/14
Abstract: 本发明提供一种智能合约安全增强方法，涉及区块链智能合约安全技术领域。首先恢复智能合约字节码的控制流图，标记所有JUMP/JUMPI指令跳转的目的地址及其入栈指令、JUMP/JUMPI指令的位置以及跳转目的地址和跳转指令之间的前后位置关系；在智能合约原始字节码中寻找可插入替换字节码的位置并标记插入位置的地址；根据选择的不同地址混淆模式生成基础替换字节码；重构基础替换字节码和原始字节码中所有的跳转地址和跳转指令，恢复字节码的控制流图；在替换字节码中插入混淆后的跳转地址，将替换字节码插入到原始字节码中，生成新的智能合约字节码。该方法使常见的智能合约逆向分析工具的分析工作失效，增加合约的安全性。
-
Patent Agency Ranking
公开(公告)号：CN106533661B
公开(公告)日：2019-07-19
申请号：CN201610938140.2
申请日：2016-10-25
Applicant: 北京大学
Abstract: 本发明公布了一种密码学货币地址的在线生成方法，包括系统初始化过程、地址生成过程和支付签名过程；在系统初始化过程中，钱包生成了一个私钥和一个固定大小的公钥矩阵，私钥保存在私钥存储区中，公钥矩阵保存在钱包的在线存储区中；在地址生成过程中，每当钱包接收付款时，钱包通过唯一交易编号从公钥矩阵中导出对应的唯一地址，在这个过程中无需访问私钥存储；在支付签名过程中，钱包通过唯一交易编号生成对应的私钥，通过该私钥生成签名以完成支付。密码学货币为比特币、莱特币或以太坊等。利用本发明方法，可以快速生成交易地址，无需直接访问私钥，大大减小钱包对私钥和地址管理的开销。
-
公开(公告)号：CN109299272A
公开(公告)日：2019-02-01
申请号：CN201811283253.9
申请日：2018-10-31
Applicant: 北京国信云服科技有限公司 , 北京大学
Abstract: 本发明提供一种用于神经网络输入的大信息量文本表示方法，涉及信息技术领域。该方法首先确定文本所在分类体系下的分类标准，并获得该标准下的关键词；然后通过语义向量模型将每个关键词转化为语义向量，根据该分类体系的关键词字典，获取每个关键词的类别向量，并将二者合并，得到一个词向量；根据不同关键词对同一实体的重要程度，选择前k个重要的关键词，并将其对应的词向量合并，得到每句话对应的句子向量；将句子向量输入到训练好的神经网络模型中，输出模型对该文本的分类结果。本发明提供的大信息量文本表示方法，增加了神经网络输入信息的信息表示能力的同时，能够减少神经网络的复杂性，增加神经网络的可表示性，还可以增加训练速度。
-
公开(公告)号：CN105740148B
公开(公告)日：2018-03-06
申请号：CN201610066512.7
申请日：2016-01-29
Applicant: 博雅网信(北京)科技有限公司 , 北京大学
IPC: G06F11/36
Abstract: 本发明涉及一种移动终端自动化测试的脚本引擎系统及测试方法，属于移动互联网网络安全技术领域，该系统包括脚本解析器、常规操作引擎、数据操作引擎、页面识别引擎、对象分析引擎、字符输入引擎、调度器和执行引擎，本发明通过本脚本引擎可以精确操作移动终端的应用，从而实现对测试用例的准确执行，提高测试平台测试效果的精准度。
-
公开(公告)号：CN105681314A
公开(公告)日：2016-06-15
申请号：CN201610064109.0
申请日：2016-01-29
Applicant: 博雅网信(北京)科技有限公司 , 北京大学
CPC classification number: H04L63/1433 , G06F9/45504 , G06F21/566 , G06F21/577 , H04L67/025
Abstract: 本发明提供一种云环境安全扫描器及方法，云环境安全扫描器包括：安全扫描器模块、安全服务模块、扫描漏洞数据库；方法包括：安全扫描器模块启动时自动连通安全服务模块，将所处云环境信息发送给安全服务器并在安全服务模块注册为存活节点；安全服务模块形成扫描配置并发送给该安全扫描器模块；安全扫描器模块对云环境中各虚拟化物理机的hypervisor、hypervisor上运行的虚拟主机进行漏洞扫描；搜集漏洞扫描结果并将结果发送至安全服务模块。本发明在云环境搭建过程中基于每个hypervisor上运行一个安全扫描器模块，当一个新的安全扫描器模块启动时，主动到安全服务器注册一个存活节点，方便与安全服务器进行通信，主要负责对此hypervisor上运行的所有虚拟主机及hypervisor执行扫描功能。
-
公开(公告)号：CN118444896A
公开(公告)日：2024-08-06
申请号：CN202410511291.4
申请日：2024-04-26
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
Abstract: 本发明提供一种面向领域特定问题的智能合约建模转译方法，涉及区块链技术领域。该方法首先基于标准BPMN规范的业务流程设计模式，提供可扩展的领域特定语言组件，生成BPMN业务流程模型；再将BPMN业务流程模型转译为对应的智能合约。针对业务流程中出现的BPMN元素、控制流、数据流这些要素按照类别进行转译，其中BPMN元素分为任务、扩展的DSL组件和其他BPMN元素。本发明方法以业务流程建模领域广泛使用的BPMN规范为基础，结合面向领域特定问题的DSL组件，使得领域专家能更加准确地表达领域知识，对领域特定业务进行高效建模，并使智能合约更加容易满足领域应用需求。
-
-
-
-
-
-
-
-
-
Search Results
84
records
(took 0.072 seconds)
