-
公开(公告)号：CN116484384A
公开(公告)日：2023-07-25
申请号：CN202310421659.3
申请日：2023-04-19
Abstract: 本发明提供了一种基于深度学习的以太坊智能合约漏洞的检测和定位方法。该方法包括：通过语法分析和词法分析将以太坊智能合约的源码转化为抽象语法树；分析各种漏洞的代码特征，分析代码特征在抽象语法树中的关键属性，基于关键属性提取抽象语法树中的切片；提取切片的语义特征和结构特征；根据切片的语义特征和结构特征通过漏洞类型检测模型检测出所述以太坊智能合约的漏洞类型信息；根据漏洞类型信息利用图自编码器定位所述以太坊智能合约的漏洞位置。本发明通过研究多种漏洞类型的本质属性特征，精准切片出这些特征，有利于检测漏洞类型并且定位漏洞位置，提高检测效率，有效增强深度学习检测结果的可解释性。
-
公开(公告)号：CN116484384B
公开(公告)日：2024-01-19
申请号：CN202310421659.3
申请日：2023-04-19
Abstract: 本发明提供了一种基于深度学习的以太坊智能合约漏洞的检测和定位方法。该方法包括：通过语法分析和词法分析将以太坊智能合约的源码转化为抽象语法树；分析各种漏洞的代码特征，分析代码特征在抽象语法树中的关键属性，基于关键属性提取抽象语法树中的切片；提取切片的语义特征和结构特征；根据切片的语义特征和结构特征通过漏洞类型检测模型检测出所述以太坊智能合约的漏洞类型信息；根据漏洞类型信息利用图自编码器定位所述以太坊智能合约的漏洞位置。本发明通过研究多种漏洞类型的本质属性特征，精准切片出这些特征，有利于检测漏洞类型并且定位漏洞位置，提高检测效率，有效增强深度学习检测结果的可解释性。
-
公开(公告)号：CN119519988A
公开(公告)日：2025-02-25
申请号：CN202411713854.4
申请日：2024-11-27
Applicant: 北京交通大学
Abstract: 本发明提供了一种基于密码累加器的去中心化跨链用户身份验证方法。该方法包括：代表节点为用户注册跨链系统身份；多个代表节点共同运行阈值签名协议为用户生成准入凭证；中继链基于用户的链上身份和累加器验证用户跨链请求中的签名信息和成员证明信息，若通过验证则允许跨链交易；代表节点验证用户身份撤销请求中的签名信息和成员证明信息，若通过验证则与其他代表节点共同运行阈值签名协议，由代理链管理节点发布撤销元素并更新累加器。利用本发明方案，可以在去中心化跨链交易场景下快速地验证用户身份，并支持用户的可信准入与身份撤销。
-
公开(公告)号：CN116633560A
公开(公告)日：2023-08-22
申请号：CN202310697598.3
申请日：2023-06-13
Abstract: 本发明提供了一种面向区块链组播交易模式的隐私保护与监管方法。抽象出了区块链组播交易模式下的密态可验证可监管交易模型，在该模型下执行以下算法：初始化算法；采用自主混淆的身份隐藏策略，分别执行一次性地址派生算法和可链接可撤销环签名算法对交易接收方和交易发送方身份隐私保护的同时实现监管；采用TwistedElGamal同态加密方案及零知识证明技术的交易内容隐藏、验证及监管算法；环签名及零知识证明验证算法；监管者执行交易监管算法；接收方判别算法。本发明方法在组播交易模式下保护交易发送方和交易接收方身份隐私的同时监管者能够恢复交易方的真实身份；实现交易内容的隐私保护及验证的同时监管者能够恢复交易明文内容。
-
公开(公告)号：CN116520882A
公开(公告)日：2023-08-01
申请号：CN202310485503.1
申请日：2023-04-28
Applicant: 北京交通大学
IPC: G05D1/10
Abstract: 本发明提供一种面向无人机系统的配置缺陷分析方法和系统，包括如下过程：基于无人机控制系统的源代码，生成抽象语法树；基于抽象语法树，识别用于管理配置项的配置类；从配置类中提取配置项所属的get方法；基于配置项所属的get方法，通过获取配置类的实例化位置，确定配置项所属的get方法的使用位置；基于配置项的get方法的使用位置，通过推断获得配置项的名称；基于配置项的名称，构建无人机系统的配置攻击面。本发明提供的方法具有如下优点：提高无人机系统配置项提取的速率和准确率；支持从配置项到系统功能的映射；支持构建无人系统配置攻击面；有效指导无人系统的配置，规避潜在的威胁。
-
Patent Agency Ranking
公开(公告)号：CN106411650A
公开(公告)日：2017-02-15
申请号：CN201610910499.9
申请日：2016-10-19
Applicant: 北京交通大学
CPC classification number: H04L67/06 , H04L43/06 , H04L63/30 , H04L67/1097 , H04L67/42
Abstract: 本发明涉及一种分布式安全保密检查方法。所述方法包括以下步骤：步骤1，搭建B/S与C/S相结合的构架，配置服务器和客户端；步骤2，当客户端向服务器提出连接请求时，服务器响应该请求，对需要下发检查策略的客户端进行连接；步骤3，在服务器中配置客户端的检查策略，并保存相关配置；步骤4，根据检查策略对客户端进行安全保密检查；安全保密检查执行完成后自动生成检查报告，并上传至服务器。本发明所述方法可以分别对联网的计算机终端和移动终端进行安全保密检查，扩大了检查对象的范围，支持文件名和多种类型文件及其内容的检查，支持多种操作系统平台的安全保密检查，同时提高了检查工作的效率。
-
公开(公告)号：CN118172049A
公开(公告)日：2024-06-11
申请号：CN202410280035.9
申请日：2024-03-12
Applicant: 北京交通大学
Abstract: 本发明公开了一种基于区块链大规模交易的隐私保护与监管的方法，包括交易发出的发送方、交易接收者的接收方、独立的验证方、以及能够打开交易并对交易进行链接溯源的监管方，验证方是共识算法所选取的记账者，验证发送方的交易并记录于区块链上；其中，隐私保护通过Merkle树的成员证明保障交易发送方的身份隐私，监管是指在交易结束后监管方通过该陷门打开交易获得交易的数值与身份隐私。本发明在加密货币的方案设计角度中引入监管，从而达到对违法交易进行监管溯源，进而减少违法交易数量的效果。本发明设计Sigma零知识证明协议能够降低共识算法中引入监管所带来的额外计算与传输开销。
-
公开(公告)号：CN116562874B
公开(公告)日：2024-01-02
申请号：CN202310473481.7
申请日：2023-04-27
Abstract: 本发明提供一种基于零知识证明的隐私保护跨链交易验证方法，用于解决现有跨链平台难以在隐私保护的前提下验证跨链交易真实性的难题。基于零知识证明与集合成员证明的隐私保护特性，根据跨链交易隐私内容与默克尔树的计算关系，创造性地提出了一种基于零知识证明的隐私保护跨链交易验证方法，源链生成零知识证明以证明跨链交易的真实性，中继链验证零知识证明从而审查跨链交易，实现隐私保护的跨链交易验证方法。本发明提供的方法有效地防止了恶意用户伪造跨链交易；解决了中继链节点存在自主干扰跨链交易执行与隐私泄露的问题；中继节点无需查看跨链交易内容即可零知识地审查跨(56)对比文件Xiaoyan Zhang.Privacy-PreservingCross-Chain Payment Scheme forBlockchain-Enabled Energy Trading《.2021IEEE/CIC International Conference onCommunications in China (ICCC)》.2021,109-114.管章双.基于零知识证明的账户模型区块链系统隐私保护研究《.中国优秀硕士学位论文全文数据库 信息科技辑(月刊)，2020年第11期》.2020,12-30.郭朝等.区块链跨链技术分析《.物联网学报》.2020,第4卷(第2期),35-47.
-
公开(公告)号：CN101582765A
公开(公告)日：2009-11-18
申请号：CN200910087555.3
申请日：2009-06-29
Applicant: 北京交通大学
Abstract: 本发明涉及一种绑定用户的便携式可信移动装置(PTPM)，属于信息安全保护领域。现有技术中，可信终端与可信平台模块(TPM)是1:1对应关系，与用户是1:N对应关系，即可信终端、TPM和用户的关系是1:1:N，无法方便安全地实现一个用户在安全域中对多个终端中TPM的使用。本发明所述的PTPM在其独立的运行环境中具有安全计算能力，具有密钥管理能力，具有签名及身份认证能力，具有专用密码算法下载执行及高速率数据加解密能力，具有高低电压、频率检测的安全防护能力。采用本发明的方法，可以在现有条件下实现用户绑定PTPM并能够实现单用户在安全域中对不同可信终端安全、简单使用。
-
公开(公告)号：CN116520882B
公开(公告)日：2024-02-06
申请号：CN202310485503.1
申请日：2023-04-28
Applicant: 北京交通大学
IPC: G05D1/46 , G05D1/49 , G05D101/10 , G05D109/20
Abstract: 本发明提供一种面向无人机系统的配置缺陷分析方法和系统，包括如下过程：基于无人机控制系统的源代码，生成抽象语法树；基于抽象语法树，识别用于管理配置项的配置类；从配置类中提取配置项所属的get方法；基于配置项所属的get方法，通过获取配置类的实例化位置，确定配置项所属的get方法的使用位置；基于配置项的get方法的使用位置，通过推断获得配置项的名称；基于配置项的名称，构建无人机系统的配置攻击面。本发明提供的方法具有如下优点：提高无人机系统配置项提取的速率和准确率；支持从配置项到系统功能的映射；支持构建无人系统配置攻击面；有效指导无人系统的配置，规避
-
-
-
-
-
-
-
-
-
Search Results
25
records
(took 0.094 seconds)
