-
公开(公告)号：CN105787593A
公开(公告)日：2016-07-20
申请号：CN201610109994.X
申请日：2016-02-29
Applicant: 南京邮电大学
CPC classification number: G06Q10/04 , G06Q10/063
Abstract: 本发明公开了一种构造有限集合部分覆盖的方法，主要分为五个步骤：构造有限集合、求有限集合的所有划分、求第一层覆盖、构造其余覆盖以及查重。在求得有限集合A的划分的基础上进行构造，由于划分本身就是一种覆盖，因此不需要再判断所求结果是否为集合的覆盖，相较于穷举法来说，节省了大量的存储空间及运行时间；可以根据给定的约束条件来构造解空间，在此解空间上寻找问题的优化解，大大减少原搜索空间的范围，提高求解效率。
-
公开(公告)号：CN105787369B
公开(公告)日：2018-08-17
申请号：CN201610111353.8
申请日：2016-02-29
Applicant: 南京邮电大学
IPC: G06F21/56
Abstract: 本发明公开了一种基于切片度量的Android软件安全分析方法，包括数据预处理；权限特征分析，用于对从所述权限请求文件中得到的特征权限进行计算；对Android程序切片并对切片进行内聚度和耦合度分析；将所述权限特征分析的结果与所述内聚度和耦合度分析的结果作为评价标准，判断所述Android程序是否有恶意倾向；建立起针对Android程序的安全评估检测模型。本发明将程序切片结果从模块内聚，耦合程度分析Androidapk，减少了对整个apk分析的工作量，减小了工作范围。
-
公开(公告)号：CN107426465A
公开(公告)日：2017-12-01
申请号：CN201710441829.9
申请日：2017-06-13
Applicant: 南京邮电大学
IPC: H04N1/32
CPC classification number: H04N1/32288 , H04N1/32203
Abstract: 本发明公开一种基于预处理机制的图像信息隐藏方法，包括加载信息、构建八叉树索引、数据压缩、加密信息，嵌入信息以及图像传输。提高了压缩效率，也进一步提高了信息隐藏算法的隐蔽性，降低了秘密信息被破解的概率，实现了更加安全的数据隐藏。
-
公开(公告)号：CN105787369A
公开(公告)日：2016-07-20
申请号：CN201610111353.8
申请日：2016-02-29
Applicant: 南京邮电大学
IPC: G06F21/56
CPC classification number: G06F21/563
Abstract: 本发明公开了一种基于切片度量的Android软件安全分析方法，包括数据预处理；权限特征分析，用于对从所述权限请求文件中得到的特征权限进行计算；对Android程序切片并对切片进行内聚度和耦合度分析；将所述权限特征分析的结果与所述内聚度和耦合度分析的结果作为评价标准，判断所述Android程序是否有恶意倾向；建立起针对Android程序的安全评估检测模型。本发明将程序切片结果从模块内聚，耦合程度分析Androidapk，减少了对整个apk分析的工作量，减小了工作范围。
-
公开(公告)号：CN107358099B
公开(公告)日：2020-05-05
申请号：CN201710431448.2
申请日：2017-06-09
Applicant: 南京邮电大学
IPC: G06F21/56
Abstract: 本发明公开一种基于LLVM中间表示程序切片的无用变量检测方法，从加入了无用变量的程序源代码开始，首先将源代码转化为LLVM中间表示的形式，接着利用程序切片技术对LLVM中间表示进行分析得到程序依赖图，之后对程序依赖图抽取和化简，得到变量距离图，最后设定距离阈值，在变量距离图上计算输出变量与其他变量的距离，判断源代码中是否存在无用变量。本发明能够有效检测出源代码中加入的无用变量，同时在检测不同语言的源代码时具有通用性。
-
Patent Agency Ranking
公开(公告)号：CN107220540A
公开(公告)日：2017-09-29
申请号：CN201710256845.0
申请日：2017-04-19
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于强化学习的入侵检测方法，包括对入侵检测环境进行建模，在入侵检测环境内模拟出一个马尔科夫过程，将强化学习模型用于入侵检测的分类检测环境当中，通过强化学习学习出最优的分类策略，将分类正确率作为强化学习模型中的奖赏函数，建立基于入侵检测马尔科夫过程的Bellman方程，采用基于γ折扣累计奖赏的策略评估算法计算最优解，可以确定入侵检测中正常行为和非正常行为的阈值，有利于不断地使得正常行为序列得以补充，最终提高入侵检测的检测率，降低误报率和漏报率，最终提升整个入侵检测系统的性能。
-
公开(公告)号：CN106951366A
公开(公告)日：2017-07-14
申请号：CN201710137147.9
申请日：2017-03-09
Applicant: 南京邮电大学
IPC: G06F11/36
CPC classification number: G06F11/3668
Abstract: 本发明公开一种基于程序切片技术的C语言死代码检测方法，主要包括步骤：将源代码中的输出语句与所述输出语句中的变量集合组成切片准则 ，对源代码分别进行静态后向程序切片分析和动态后向程序切片分析，得到的分析结果经对比，得出是否存在死代码的结论。本发明能够有效的检测出C语言代码中包含的死代码语句，同时提高了检测的准确率和效率。
-
公开(公告)号：CN105700893A
公开(公告)日：2016-06-22
申请号：CN201610098877.8
申请日：2016-02-23
Applicant: 南京邮电大学
CPC classification number: G06F8/433 , G06F8/75 , G06F11/362 , G06F11/3668
Abstract: 本发明公开一种基于改进系统依赖图的LLVM IR程序切片方法。首先，构造出程序依赖图；然后利用图可达性算法对单个程序的LLVM IR语句进行切片；再根据程序间的调用关系、实参与形参之间的对应关系，将对单个程序的分析扩展到多个程序中去；接着利用新的方法来构造传递依赖边，进而完成系统依赖图的构建；最后，利用两阶段图形可达性算法对系统依赖图进行遍历，完成对多个程序的切片。本发明使切片的时间复杂度大大降低。
-
公开(公告)号：CN106791872B
公开(公告)日：2019-06-07
申请号：CN201611026728.7
申请日：2016-11-18
Applicant: 南京邮电大学
IPC: H04N19/467 , H04N19/48 , H04N19/60 , H04N19/625 , H04N19/90
Abstract: 本发明提供了一种基于SVD的信息隐藏方法，包括预处理步骤、加密步骤、解密步骤；先对原始秘密信息进行预处理，对秘密信息矩阵进行线性变换，获取压缩后的数据，这一操作达到降低秘密信息嵌入量的目的；然后以Arnold置乱算法实现数据的进一步的加密。以JPEG图像为载体，将加密后信息嵌入到载体图像中；其中本发明首先将载体图像进行DCT变换，获得DCT系数矩阵，并对DCT系数矩阵进行SVD分解，获取信息最佳嵌入位置，随后利用F5隐写算法将密文嵌入到DCT矩阵中。本发明利用压缩因子提高信息隐藏量，利用SVD分解技术提高了信息隐藏算法的隐蔽性，实现了更加安全的数据隐藏。
-
公开(公告)号：CN107943516A
公开(公告)日：2018-04-20
申请号：CN201711274665.1
申请日：2017-12-06
Applicant: 南京邮电大学
CPC classification number: G06F8/751 , G06F11/3608
Abstract: 本发明提供了一种基于LLVM的克隆代码检测方法，包括预处理步骤，合并映射步骤，提取分片步骤，匹配步骤，汇总步骤。首先对源代码预处理步骤，对源程序通过的前端转换成中间语言，然后对装换后的程序进行程序切片操作，获得中间语句之间的依赖关系，这一操作的获取LLVM IR语言的依赖图。然后对取得的数据进一步处理，获取更加精简的语句关系集。然后使用分割方法将语句集分割，在以分布式对比方法获取克隆代码。本发明中通过切边结果来获得关系集样本，并且保留了语句的特征。本发明将提高代码检测的匹配精度，利用LLVM IR中间语言带来的额外特征性，结合多种匹配方式丰富了匹配方法，实现了更加好的克隆代码检测。
-
-
-
-
-
-
-
-
-
Search Results
14
records
(took 0.019 seconds)
