基于关系数据库信息技术产品保护轮廓的一致性检查方法

    公开(公告)号:CN100407199C

    公开(公告)日:2008-07-30

    申请号:CN200510094621.1

    申请日:2005-09-30

    Applicant: 南京大学

    Inventor: 曾庆凯

    Abstract: 基于关系数据库信息技术产品的保护轮廓一致性检查方法,包括以下步骤:(1)信息技术产品保护轮廓的安全需求输入;在输入保护轮廓时,以输入数据项为单位逐项录入,并存放在内存中的数据库表中;(2)对产品安全需求进行结构化处理;按照内容分别将内存中数据项集合存入各自的数据库表,(3)对安全需求组件的包容性检查处理;通过比照安全组件的组件依赖关系表,验证保护轮廓中的安全组件依赖关系是否完全;(4)对安全需求组件的互斥性检查处理,通过比照组件从属关系表,验证保护轮廓中的安全需求组件是否存在冗余;(5)形成一致性检查报告;(6)结束。本发明提高了安全评估设备的评估效率,规范评估过程。

    一种高安全等级操作系统的参照监视器实现方法

    公开(公告)号:CN101174293A

    公开(公告)日:2008-05-07

    申请号:CN200710190002.1

    申请日:2007-11-19

    Applicant: 南京大学

    Abstract: 高安全等级操作系统的参照监视器实现方法,(1)参照监视器结构;参照监视器结构基于一个安全增强的微内核,所有服务程序和用户应用程序都位于核外,进程间通信(IPC)是应用程序获得服务、访问资源以及服务器之间交互的唯一途经,(2)对微内核IPC通信控制的实现;(3)参照监视器所需安全服务启动的流程;本发明通过参照监视器结构限制用户通信、获取系统服务,从而强制实施访问控制的安全策略验证,避免验证机制被旁路,保证了参照监视器对系统资源利用和保护的有效性,进而提高系统的安全性和服务能力,满足高等级操作系统的安全要求。

    基于关系数据库信息技术产品的保护轮廓一致性检查方法

    公开(公告)号:CN1760863A

    公开(公告)日:2006-04-19

    申请号:CN200510094621.1

    申请日:2005-09-30

    Applicant: 南京大学

    Inventor: 曾庆凯

    Abstract: 基于关系数据库信息技术产品的保护轮廓一致性检查方法,包括以下步骤:(1)信息技术产品保护轮廓的安全需求输入;在输入保护轮廓时,以输入数据项为单位逐项录入,并存放在内存中的数据表中;(2)对产品安全需求进行结构化处理;并存入各数据库表中。按照内容分别将内存中数据项集合存入各自的数据库表;(3)对安全需求组件的包容性检查处理;通过比照安全组件的组件依赖关系表,验证保护轮廓中的安全组件依赖关系是否完全;(4)对安全需求组件的互斥性检查处理,通过比照组件从属关系表,验证保护轮廓中的安全需求组件是否存在冗余;(5)形成一致性检查报告;(6)结束。本发明提高了安全评估设备的评估效率,规范评估过程。

    一种内核模块的交互行为监控方案

    公开(公告)号:CN107479946B

    公开(公告)日:2020-06-16

    申请号:CN201710701884.7

    申请日:2017-08-16

    Applicant: 南京大学

    Inventor: 曾庆凯 高敬吾

    Abstract: 本发明涉及一种内核模块的交互行为监控方案,利用硬件虚拟化技术的VM Func机制,可以在不陷入虚拟机监控器VMM的情况下完成VMM层EPT页表的切换,减少了陷入到VMM之中的次数;将监控程序放在Guest OS内的地址空间内,使得监控时不必再陷入到VMM之中;去除VMM不必要的虚拟化功能,让Guest OS直接与硬件交互,从而减少不必要的性能开销。本方法减少了系统运行时陷入到VMM中的次数,提升了内核模块的隔离性能,可提高内核的安全性。

    一种基于模拟攻击的软件漏洞检测方法

    公开(公告)号:CN104778413B

    公开(公告)日:2018-04-03

    申请号:CN201510179362.6

    申请日:2015-04-15

    Applicant: 南京大学

    Inventor: 曾庆凯 杨继龙

    Abstract: 基于模拟攻击的软件漏洞检测方法,通过静态反汇编工具获取敏感操作所涉及的函数信息,利用动态插桩平台实现监控、模拟攻击和攻击影响分析等过程;主要操作步骤如下:1)执行静态分析获取程序信息;2)动态执行程序,检测敏感函数调用;3)分析攻击实施条件;4)执行模拟攻击;5)分析攻击影响,依据攻击影响结果进行漏洞判定;在具体实施时,采用符号链接攻击对程序进行模拟攻击,对应的漏洞类型为一类文件访问漏洞,通过利用这类漏洞,本地攻击者通过符号链接更改程序预期访问文件,从而实现访问攻击者权限之外的文件资源。

    一种针对代码复用编程的软件安全性检测方法

    公开(公告)号:CN105138914B

    公开(公告)日:2018-02-16

    申请号:CN201510467987.2

    申请日:2015-08-03

    Applicant: 南京大学

    Inventor: 曾庆凯 朱晨晖

    Abstract: 针对代码复用编程的软件安全性检测方法,包括指令序列反汇编、收集基本功能代码片段、攻击代码生成、攻击代码记录和软件安全性报告五个阶段;指令序列反汇编阶段,对返回指令之前的字节序列进行反汇编;基本功能代码片段收集阶段,其输入为上一阶段收集的指令序列;判断指令序列是否属于某种基本功能,对于属于基本功能的指令序列,将其作为该基本功能的代码片段进行收集;攻击代码生成阶段,按照预定义的攻击模板组合各基本功能的代码片段,生成攻击代码,对于攻击代码中包含副作用的代码片段,采用副作用消除策略消除其副作用,确保攻击代码功能的正常实现;攻击代码记录阶段,将成功消除副作用的攻击代码记录到相应的测试结果文件中。

    一种操作系统内核完整性保护方法

    公开(公告)号:CN104809401B

    公开(公告)日:2017-12-19

    申请号:CN201510234249.3

    申请日:2015-05-08

    Applicant: 南京大学

    Inventor: 曾庆凯 黄啸

    Abstract: 一种操作系统内核完整性保护系统,包括完整性保护程序、内核钩子、跳转代码、目标系统和监控保护器;采用如下步骤:(1)监控保护器的启动与初始化;初始化完毕后等待完整性保护程序IPS的请求操作;(2)完整性保护程序IPS的注册与监控保护环境的设置;(3)实施对目标系统Target OS内核完整性的监控与保护;当完整性保护程序IPS设置在内核中的钩子被触发时,需要对Target OS内核完整性进行检查与保护的内核事件的发生,此时切换到完整性保护程序IPS中进行相应处理;(4)完整性保护程序IPS注销与监控保护环境清除;清除操作(2)中建立的监控保护环境,并恢复目标系统Target OS的正常运行。

    基于虚函数表继承关系的代码重利用攻击检测方法

    公开(公告)号:CN106021110A

    公开(公告)日:2016-10-12

    申请号:CN201610349067.5

    申请日:2016-05-24

    Applicant: 南京大学

    Inventor: 曾庆凯 朱伟

    CPC classification number: G06F11/3688 G06F11/3644 G06F11/366

    Abstract: 本发明公开一种基于虚函数表继承关系的代码重利用攻击检测方法,包括:预处理;虚函数调用点识别;虚函数表识别;虚函数表继承关系识别;防护检测。通过对可执行文件进行分析,根据其中虚函数表之间的继承关系,对代码中的虚函数调用点进行控制流完整性保护,检测代码重利用攻击,避免采用原有方法依赖源代码获得合法虚函数集合或将所有虚函数视为合法集合的检测策略,具有较高检测精度和速度,提高代码重利用攻击检测的准确性、通用性和效率。

    一种基于程序结构特征的恶意程序检测方法

    公开(公告)号:CN103902911B

    公开(公告)日:2016-09-14

    申请号:CN201410152717.8

    申请日:2014-04-16

    Applicant: 南京大学

    Inventor: 曾庆凯 魏向宇

    Abstract: 一种基于程序结构特征的恶意程序检测方法,1)恶意程序特征库的建立;2)恶意程序变形变种的检测;3)函数结构信息的提取;4)函数参数个数的提取;5)恶意程序特征的提取;6)恶意程序族的族特征提取;在建立恶意程序特征库时,首先对用于训练的每个恶意程序族中的每个样本程序进行程序结构分析与提取,获得其程序特征;然后对所提取的恶意程序族中各个样本程序的程序特征进行融合;在恶意程序变形变种检测时,首先对待检测程序进行程序结构分析,获得其程序特征;然后将待检测程序的程序特征分别与恶意程序特征库中的恶意程序族的族特征进行相似度匹配,判断是否为已知恶意程序的变形变种。

    一种操作系统内核完整性保护方法

    公开(公告)号:CN104809401A

    公开(公告)日:2015-07-29

    申请号:CN201510234249.3

    申请日:2015-05-08

    Applicant: 南京大学

    Inventor: 曾庆凯 黄啸

    CPC classification number: G06F21/57 G06F21/6218

    Abstract: 一种操作系统内核完整性保护系统,包括完整性保护程序、内核钩子、跳转代码、目标系统和监控保护器;采用如下步骤:(1)监控保护器的启动与初始化;初始化完毕后等待完整性保护程序IPS的请求操作;(2)完整性保护程序IPS的注册与监控保护环境的设置;(3)实施对目标系统Target OS内核完整性的监控与保护;当完整性保护程序IPS设置在内核中的钩子被触发时,需要对Target OS内核完整性进行检查与保护的内核事件的发生,此时切换到完整性保护程序IPS中进行相应处理;(4)完整性保护程序IPS注销与监控保护环境清除;清除操作(2)中建立的监控保护环境,并恢复目标系统Target OS的正常运行。

Patent Agency Ranking