曾庆凯

作品数：105被引量：499H指数：11
导出分析报告
供职机构：南京大学计算机科学与技术系更多>>
发文主题：漏洞软件漏洞内核硬件虚拟化控制流更多>>
发文领域：自动化与计算机技术金属学及工艺理学文化科学更多>>
发文期刊：《计算机工程与设计》《材料热处理学报》《智能机器人》《计算机工程与应用》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于eBPF的内核堆漏洞动态缓解机制
《软件学报》2024年第7期3332-3354,共23页王子成 郭迎港 钟炳南 陈越琦 曾庆凯 
国家自然科学基金(61772266,61431008)。
内核堆漏洞是目前操作系统安全的主要威胁之一,用户层攻击者通过触发漏洞能够泄露或修改内核敏感信息,破坏内核控制流,甚至获取root权限.但是由于漏洞的数量和复杂性剧增,从漏洞首次被报告到开发者给出修复补丁(patch)往往需要较长时间...
关键词：系统安全 漏洞缓解 eBPF 
基于硬件虚拟化的内核同层多域隔离模型被引量：3
《软件学报》2022年第2期473-497,共25页钟炳南 邓良 曾庆凯 
国家自然科学基金(61772266,61431008)。
为了解决内核不可信带来的问题,很多工作提出了同层可信基的架构,即,在内核同一硬件特权水平构建可部署安全机制的唯一保护域.但是,实际过程中往往面临多样化的安全需求,将多种对应的安全机制集中于唯一的保护域必然导致只要其中任何一...
关键词：硬件虚拟化 内存隔离 多域隔离 
“全流程服务”式实践教学育人与管理体系构建被引量：5
《高教学刊》2020年第27期155-158,共4页肖海荣 曾庆凯 章志勇 
2018年10月山东省教育厅“建设新工科、服务新动能背景下地方应用型本科院校专业集群建设研究——以交通类专业集群建设为例”(编号:Z2018S031);2019年11月山东交通学院“‘全流程监控多层位服务’实践教学管理与评价体系构建与实践”(编号:2019ZD11)。
随着实践教学内涵逐步扩大,实践教学比重增加、流程趋繁、内容标新,为实践教学管理与评价带来新的任务和挑战。为此,各高校围绕实践教学开展了大量的教学研究,产出了一批研究成果。文章吸纳各校实践教学体系构建与教学管理改革的经验,...
关键词：实践教学体系 教学评价 实践育人 
攻击网页浏览器:面向脚本代码块的ROP Gadget注入被引量：1
《软件学报》2020年第2期247-265,共19页袁平海 曾庆凯 张云剑 刘尧 
国家自然科学基金(61572248,61431008,61321491);国家科技支撑计划(2012BAK26B01).
即时编译机制(just-in-time compilation)改善了网页浏览器执行JavaScript脚本的性能,同时也为攻击者向浏览器进程注入恶意代码提供了便利.借助即时编译器,攻击者可以将脚本中的整型常数放置到动态代码缓存区,以便注入二进制恶意代码片...
关键词：网页浏览器 即时编译机制 即时返回导向编程 ROP(return-oriented programming) gadget注入 图灵完备计算 
基于可重随机化混淆电路的可验证计算被引量：7
《软件学报》2019年第2期399-415,共17页赵青松 曾庆凯 刘西蒙 徐焕良 
国家自然科学基金(61772266;61572248;61431008;61702105)~~
Yao的混淆电路可用于客户端将函数计算外包给服务器,并可验证其正确性.然而,混淆电路仅能使用1次.Gennaro等人组合使用全同态加密和混淆电路,可实现客户端和服务器在多次输入上重用混淆电路.但是,所有已知的全同态加密在效率的提高上似...
关键词：可验证计算 可重随机化混淆电路 同态加密 密码转置防火墙 
多旋翼无人机教学平台虚拟监控仪器设计被引量：1
《智能机器人》2019年第1期66-70,共5页边文超 曾庆凯 刘玉虎 
为降低多旋翼无人机教学平台的研发费用,缩短调整飞控系统各项参数的操作时间,设计了一种虚拟监控仪器。根据模块化设计思想,虚拟监控仪器分为状态显示模块、姿态调整模块、控制参数修正模块和数据处理模块。首先在App Inventor软件设...
关键词：多旋翼无人机 虚拟监控仪器 状态显示 姿态调整 控制参数修正 
应用型高校课堂教学质量评价体系优化与创新被引量：9
《西部素质教育》2018年第16期179-179,190,共2页曾庆凯 肖海荣 
山东交通学院教育研究与教学改革项目"审核评估下应用型高校校内专业评估体系研究"(编号:JY201622)
文章阐述了应用型高校课堂教学质量评价体系的重要性和作用,分析并指出了应用型高校课堂教学质量评价体系存在的问题与改进对策,最后提出了应用型高校课堂教学质量评价体系优化与创新。
关键词：课堂教学质量评估 评估体系 应用型高校 成果导向教育 
ROP图灵完备的普遍可实现性被引量：5
《软件学报》2017年第10期2583-2598,共16页袁平海 曾庆凯 
国家自然科学基金(61772266;61572248;61431008;61321491);国家科技支撑计划(2012BAK26B01)~~
返回导向编程(return-oriented programming,简称ROP)被广泛用于软件漏洞利用攻击中,用来构造攻击代码.通过更新ROP构造技术,证实了图灵完备的纯ROP攻击代码在软件模块中是普遍可实现的.ROP构造功能代码的难点是实现条件转移逻辑.通过...
关键词：软件漏洞利用 返回导向编程 图灵完备计算:条件转移逻辑 
含有析取语义循环的不变式生成改进方法被引量：4
《软件学报》2016年第7期1741-1756,共16页潘建东 陈立前 黄达明 孙浩 曾庆凯 
国家自然科学基金(61170070;61572248;61431008;61321491);国家科技支撑计划(2012BAK26B01);国家高技术研究发展计划(863)(2011AA1A202)~~
抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显...
关键词：抽象解释 抽象域 不变式 析取语义 循环分解 
面向危险操作的动态符号执行方法被引量：11
《软件学报》2016年第5期1230-1245,共16页王伟光 曾庆凯 孙浩 
国家自然科学基金(61170070,61572248,61431008,61321491);国家科技支撑计划(2012BAK26B01)~~
针对缺陷检测的需求,提出了面向危险操作的动态符号执行方法.依据所关注的缺陷类型,定义危险操作及危险操作相关路径,通过计算覆盖不同上下文中危险操作的能力,协助动态符号执行选择高效初始输入,并利用危险操作相关信息引导测试流程....
关键词：危险操作 动态符号执行 污点分析 路径选择 缺陷检测 
全选清除导出
共11页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部