-
公开(公告)号:CN112785477B
公开(公告)日:2023-02-14
申请号:CN202110028463.9
申请日:2021-01-11
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于区块链的可抗多用户合谋的数据泄密溯源方法,首先初始化区块链,然后改进经典的抗合谋编码I码,将分配的改进抗合谋编码I码作为水印嵌入数据中,提取泄露数据中残留的编码,并根据从泄露数据中提取的普通特征与用户特征来判定数据受到的攻击方式,并将判定结果映射为大素数并提取,最后将数据特征与其对应的大素数放入矿池,由矿工在区块链上进行溯源;本发明在改进的I码基础上,提出一种新的嵌入方法嵌入具有用户特征的数字编码,改进经典的I码使其能够抵抗“或”合谋攻击;当数据发生泄露时,使用智能合约提取泄露数据中的残余特征,在区块链上进行溯源,从而解决用户‑服务器的合谋攻击。
-
公开(公告)号:CN115129320A
公开(公告)日:2022-09-30
申请号:CN202210686923.1
申请日:2022-06-17
Applicant: 南京邮电大学
Abstract: 本发明提供了一种基于循环不变式的间接跳转目标地址识别方法及装置。方法包括:将二进制程序解码成中间表示BRIL;根据BRIL语义和控制流结构计算循环不变式,并将其保存到分析树的结点中;深度优先遍历分析树,将循环不变式不断约简合并,生成约束表达式集;对约束表达式集求解,得到间接跳转目标地址;将目标地址处的语句作为分析入口,目标地址作为初始值,重新进行分析树的构建、约束表达式集的生成和求解,直到间接跳转目标地址不再发生变化(不动点)。本发明相比于传统数据流分析的方法,利用循环不变式来增加对地址数据的分析深度,并能够减少对循环结构的分析次数,从而提高间接跳转目标地址识别的准确度和效率。
-
公开(公告)号:CN110046851B
公开(公告)日:2022-08-23
申请号:CN201910268757.1
申请日:2019-04-03
Applicant: 南京邮电大学
Abstract: 本发明公开了基于Multi‑Paxos的无人车物流任务分配方法,具体包括以下步骤:步骤一:构建两层次物流物理模型和三阶段任务状态模型,形成同城物流运输的具体场景;步骤二:无人车利用Multi‑paxos选举算法对任务进行竞选;步骤三:无人车基于TSP旅行商问题用分支限界算法确定获得的任务包序列。本发明利用Multi‑Paxos选举算法进行任务分配,分支限界法进行任务点序列的确定,在控制去中心化物流运输系统场景上,更加适用于当今例如外卖等的同城物流模式,实现更加高效的动态无人车任务分配,创造更短的平均任务完成时间和更加稳健的调度系统。
-
公开(公告)号:CN111008038B
公开(公告)日:2022-08-02
申请号:CN201911321442.5
申请日:2019-12-19
Applicant: 南京邮电大学
Abstract: 本发明为一种基于逻辑回归模型的pull request被合并概率的计算方法:首先,确定PRs复杂性的指标并提取项目中PRs的相关信息;其次,使用提取的数据作为数据集训练逻辑回归模型;最后,使用训练好的逻辑回归模型预测新的PR合并的概率,为贡献者提供一个在评审之前进行改进的机会,以减轻评审者的负担。
-
公开(公告)号:CN108171315B
公开(公告)日:2021-11-19
申请号:CN201711440621.1
申请日:2017-12-27
Applicant: 南京邮电大学
Abstract: 本发明提供了基于SMC粒子群算法的多无人机任务分配方法,根据无人机执行任务的距离、时间等指标以及任务时间窗、无人机最远航程等约束建立任务分配的优化目标函数,针对无人机任务分配模型的特点对分配方案进行编码,把无人机任务分配问题建模成一个有约束的离散最优化问题。之后,本发明利用粒子群启发式的优化算法对问题进行求解,并且针对粒子群算法收敛速度快,容易陷入“早熟”的缺点,采用序贯蒙特卡洛算法中重要性采样和重采样的思想对粒子群算法进行改进,增加算法对具有潜力的区域进行搜索,从而得到更加合理的分配方案。
-
公开(公告)号:CN109981161B
公开(公告)日:2021-06-08
申请号:CN201910191364.5
申请日:2019-03-13
Applicant: 南京邮电大学
IPC: H04B7/185
Abstract: 本发明公开了一种基于发布订阅的多无人机通信模式的设计方法,包括以下步骤:步骤(1):根据多无人机通信时对于动态性与可靠性的需求,结合各类发布订阅系统的结构特点设计通信模式的拓扑结构;步骤(2):将无人机的能力与状态抽象为订阅,设计通信模式的订阅模型,将任务目标与任务约束抽象为事件,设计通信模式的事件模型;步骤(3):依照步骤(2)设计出的订阅模型与事件模型,结合多无人机通信过程中对于信息实时传递的需求设计通信模式的事件‑订阅匹配机制。本发明具有动态性、可靠性与松耦合性,能使多无人机在复杂多变的战场环境下仍能保证一定的通信质量的优点。
-
公开(公告)号:CN112800394A
公开(公告)日:2021-05-14
申请号:CN202110094622.5
申请日:2021-01-25
Applicant: 南京邮电大学
Abstract: 本发明提供了一种基于聚类加权多维桶分组的安全数据库水印构造方法,选取适当的抽象域,利用抽象域生成的不变式表示数据库的稳定单元,通过多维桶分组技术对数据库进行分组,根据分组后的稳定单元和提取出不变属性构造出安全的数据库水印;具体包括根据抽象域选取数据库稳定单元和属性步骤;数据聚类步骤;构建加权多维桶分组步骤;构造安全数据库水印步骤;本发明采用加权多维桶分组,提高了数据质量同时保护了敏感属性的隐私性,使攻击者难以获取到敏感信息,进而提高了水印的鲁棒性;针对不同的场景计算出的敏感属性的权值可能不同,提高了用户的可用性,扩大了水印的应用场景,同时不对原始数据进行修改,确保数据不会失真。
-
公开(公告)号:CN112785477A
公开(公告)日:2021-05-11
申请号:CN202110028463.9
申请日:2021-01-11
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于区块链的可抗多用户合谋的数据泄密溯源方法,首先初始化区块链,然后改进经典的抗合谋编码I码,将分配的改进抗合谋编码I码作为水印嵌入数据中,提取泄露数据中残留的编码,并根据从泄露数据中提取的普通特征与用户特征来判定数据受到的攻击方式,并将判定结果映射为大素数并提取,最后将数据特征与其对应的大素数放入矿池,由矿工在区块链上进行溯源;本发明在改进的I码基础上,提出一种新的嵌入方法嵌入具有用户特征的数字编码,改进经典的I码使其能够抵抗“或”合谋攻击;当数据发生泄露时,使用智能合约提取泄露数据中的残余特征,在区块链上进行溯源,从而解决用户‑服务器的合谋攻击。
-
公开(公告)号:CN106951303B
公开(公告)日:2020-09-22
申请号:CN201710089472.2
申请日:2017-02-20
Applicant: 南京邮电大学
IPC: G06F8/41
Abstract: 本发明公开了一种基于信息流分析的LLVM中间表示程序切片方法。首先,根据调用图CG判断某程序是过程内程序还是过程间程序。所述的过程间程序采用以下步骤:(1)分析程序间的调用关系、实参与形参之间的对应关系;(2)根据公式计算每条调用语句的DS、PS、λS、μS、ρS;(3)再根据CG调用图的逆拓扑序关系来依次分析各个程序,得到过程间程序的DS、PS、λS、μS、ρS;(4)对所有程序的DS、PS、λS、μS、ρS进行复合,得到过程间切片。本发明方法,可对LLVM IR程序类中间语言程序进行切片,通用性强,切片精度高。
-
公开(公告)号:CN111104159A
公开(公告)日:2020-05-05
申请号:CN201911321441.0
申请日:2019-12-19
Applicant: 南京邮电大学
IPC: G06F8/73
Abstract: 本发明为一种基于程序分析和神经网络的注释定位方法,步骤如下:首先构建需要分析的项目;提取Java项目中的每个方法的注释,进行人工标注类别,构建注释分类器的训练集;训练注释分类器,对注释进行分类,提取其中描述方法实现细节的注释;获取每个方法体内的所有变量;将方法里的变量和方法的注释进行匹配,找出注释里存在的变量;根据注释里的变量从方法体内提取与之相关的代码片段,构建注释定位模型的训练集;训练注释定位模型,并且通过该模型来计算注释与代码片段的相似度,以此来构建代码与注释之间的映射关系。本发明主要将注释与其对应的代码进行关联,可以帮助开发人员理解代码功能,提高开发效率。
-
-
-
-
-
-
-
-
-