-
公开(公告)号:CN116484384B
公开(公告)日:2024-01-19
申请号:CN202310421659.3
申请日:2023-04-19
Abstract: 本发明提供了一种基于深度学习的以太坊智能合约漏洞的检测和定位方法。该方法包括:通过语法分析和词法分析将以太坊智能合约的源码转化为抽象语法树;分析各种漏洞的代码特征,分析代码特征在抽象语法树中的关键属性,基于关键属性提取抽象语法树中的切片;提取切片的语义特征和结构特征;根据切片的语义特征和结构特征通过漏洞类型检测模型检测出所述以太坊智能合约的漏洞类型信息;根据漏洞类型信息利用图自编码器定位所述以太坊智能合约的漏洞位置。本发明通过研究多种漏洞类型的本质属性特征,精准切片出这些特征,有利于检测漏洞类型并且定位漏洞位置,提高检测效率,有效增强深度学习检测结果的可解释性。
-
公开(公告)号:CN116484384A
公开(公告)日:2023-07-25
申请号:CN202310421659.3
申请日:2023-04-19
Abstract: 本发明提供了一种基于深度学习的以太坊智能合约漏洞的检测和定位方法。该方法包括:通过语法分析和词法分析将以太坊智能合约的源码转化为抽象语法树;分析各种漏洞的代码特征,分析代码特征在抽象语法树中的关键属性,基于关键属性提取抽象语法树中的切片;提取切片的语义特征和结构特征;根据切片的语义特征和结构特征通过漏洞类型检测模型检测出所述以太坊智能合约的漏洞类型信息;根据漏洞类型信息利用图自编码器定位所述以太坊智能合约的漏洞位置。本发明通过研究多种漏洞类型的本质属性特征,精准切片出这些特征,有利于检测漏洞类型并且定位漏洞位置,提高检测效率,有效增强深度学习检测结果的可解释性。
-
公开(公告)号:CN118301604A
公开(公告)日:2024-07-05
申请号:CN202410367300.7
申请日:2024-03-28
Applicant: 北京交通大学
IPC: H04W12/0431 , H04W12/03 , H04L9/40 , H04L9/00
Abstract: 本发明提供了一种基于区块链无人机协同的安全数据共享方法。该方法包括:无人机与地面控制站进行双向认证和密钥协商,得到对称密钥,无人机构建与地面控制站之间的安全通信链路,无人机将采集到的数据对称加密后通过安全通信链路发送给地面控制站;地面控制站对无人机发送过来的加密数据进行解密和整理处理后,将数据部分加密后发送给云服务器,并设置数据访问控制结构,云服务器对地面控制站发送过来的数据进行加密,并存储加密后的数据。本发明方法基于云边端架构将敏感数据在边缘端进行本地处理,减少了数据在网络传输过程中的暴露风险。本发明将加解密本身计算外包给边缘节点,能在属性基加密算法的基础上资源消耗更少。
-
公开(公告)号:CN118233190A
公开(公告)日:2024-06-21
申请号:CN202410387088.0
申请日:2024-04-01
Applicant: 北京交通大学
IPC: H04L9/40 , G06N3/098 , G06F18/214
Abstract: 本发明提供一种联邦推荐无目标投毒攻击防御方法、装置和系统,其中方法包括:服务器随机初始一组用户嵌入以近似良性用户嵌入分布;服务器依据近似的用户嵌入组及不同用户上传的更新信息,依次计算项目的推荐评分、评分变化速度、项目统计频数,并由此推断可能的流行项目;服务器采用“多轮综合评价”原则,依据用户与全局模型近次在流行项目上的评分行为一致性共同量化其在本轮的贡献值;服务器计算动态阈值并据此剔除贡献小于这一阈值的异常用户;服务器将剩余用户上传的梯度作为正常梯度参与后续聚合更新,并将聚合更新后的结果作为新一轮参数发送至用户;重复该过程直至模型收敛。本发明有效提高了联邦推荐模型对无目标投毒攻击的抵抗能力。
-
公开(公告)号:CN118004247A
公开(公告)日:2024-05-10
申请号:CN202311821419.9
申请日:2023-12-27
Applicant: 北京交通大学
Abstract: 本发明提供一种城市轨道交通车站间隔时间计算方法。该方法包括根据车站办理车辆的作业类型,确定车站间隔时间分类;当车站办理两辆车的作业类型一致时,车站间隔时间分类包括折返间隔时间、到发间隔时间、出车间隔时间;当车站办理两辆车的作业类型不一致时,车站间隔时间分类包括到发与折返间隔时间;分别计算折返间隔时间、到发间隔时间、出车间隔时间及到发与折返间隔时间。本发明综合考虑了站前折返、站后折返以及同向、异向等多种情况,能够更准确地计算车站间隔时间,提高运输效率,确保列车正常运行。
-
公开(公告)号:CN117997640A
公开(公告)日:2024-05-07
申请号:CN202410270196.X
申请日:2024-03-11
Applicant: 北京交通大学
Abstract: 本说明书实施例提供了一种基于跨链技术的物联网设备跨域认证方法及系统,其中,方法包括:初始化全局参数,并为各个域的中心化机构生成域内长期身份;域内设备基于所述域内长期身份生成匿名身份,并在域内区块链进行匿名身份的注册;当进行跨域认证时,通过身份认证发起方根据匿名身份生成跨域认证注册信息,并在全局区块链上登记,通过所述全局区块链基于跨链交互确认身份的有效性;通过身份认证发起方生成跨域认证请求,并发送给目标设备,通过所述目标设备在域内区块链上登记所述跨域认证请求,并验证全局区块链中是否存在有效的跨域认证注册信息;所述目标设备基于验证结果,决定是否接受身份认证发起方的身份认证请求。
-
公开(公告)号:CN117272370B
公开(公告)日:2024-03-22
申请号:CN202311189893.4
申请日:2023-09-14
Applicant: 北京交通大学
IPC: G06F21/62 , G06F16/9536 , G06N3/0442 , G06N3/08
Abstract: 本说明书实施例提供了一种基于用户轨迹序列的下一个兴趣点隐私保护推荐方法及系统,其中,方法包括:捕捉用户签到行为中复杂的序列转移模式和动态偏好,根据所述序列转移模式和动态偏好,基于序列模型建立融合用户长短期偏好特征的轨迹预测模型;将所述轨迹预测模型设置为联邦推荐训练形式,在轨迹数据不出当前地区范围的前提下,通过协调多个用户设备共同优化所述轨迹预测模型,并在优化过程中通过差分隐私机制对模型参数进行加噪保护。
-
-
公开(公告)号:CN112465334B
公开(公告)日:2023-11-24
申请号:CN202011327779.X
申请日:2020-11-24
Applicant: 北京交通大学
IPC: G06Q10/0631 , G06Q50/26 , G08B19/00 , G08B21/18 , H04L51/04
Abstract: 本申请属于城市轨道交通管理技术领域,特别是涉及一种轨道交通事故快速预警方法及系统。现有的城市轨道运营过程中,突发事件发生后,由现场人员根据经验进行列车运行调整以及客流管控。但是该方式缺乏科学的、有效的数据支撑。本申请提供了一种轨道交通事故快速预警方法,所述方法包括如下步骤:1)根据轨道交通线网列车的实时运行状态数据识别发生突发事件的可能性,并将可能的突发事件信息推送展示;2)分析突发事件影响范围;3)根据不同突发事件持续时长的假设,实现调度员调度仿真,提供列车运行调整建议;4)根据不同突发事件持续时长的假设,分析客流情况,提供客流管控建议,提高城市轨道交通的服务水平。
-
公开(公告)号:CN116126680B
公开(公告)日:2023-07-21
申请号:CN202211474627.1
申请日:2022-11-23
Applicant: 北京交通大学
IPC: G06F11/36
Abstract: 本发明提供的一种软件系统配置错误诊断方法和系统,通过对程序执行数据构造频谱信息,计算卡方检验数快速定位导致配置错误的配置选项。同时,对配置选项的控制流和数据流抽象为向量,进行向量距离计算,判断配置选项之间是否存在关联关系。解决了多配置错误的诊断难题,同时指出了配置选项之间是否存在约束和关联关系。避免了由于模式匹配造成的漏报,同时使用频谱、卡方检验数和距离度量的方法不局限于特定的软件程序,具有普适性和广泛性,适用于更多的软件程序。
-
-
-
-
-
-
-
-
-