检索结果-南通市图书馆

一种在不可信操作系统内核中高效保护应用程序的方法

在线全文

学校读者我要写书评

暂无评论

软件学报 2016年第5期27卷 1309-1324页

作者：邓良曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

在现代操作系统中,内核运行在最高特权层,管理底层硬件并向上层应用程序提供系统服务,因而安全敏感的应用程序很容易受到来自底层不可信内核的攻击.提出了一种在不可信操作系统内核中保护应用程序的方法App Fort.针对现有方法的高开销问... 详细信息

在现代操作系统中,内核运行在最高特权层,管理底层硬件并向上层应用程序提供系统服务,因而安全敏感的应用程序很容易受到来自底层不可信内核的攻击.提出了一种在不可信操作系统内核中保护应用程序的方法App Fort.针对现有方法的高开销问题,App Fort结合x86硬件机制(操作数地址长度)、内核代码完整性保护和内核控制流完整性保护,对不可信内核的硬件操作和软件行为进行截获和验证,从而高效地保证应用程序的内存、控制流和文件I/O安全.实验结果表明:App Fort的开销极小,与现有工作相比明显提高了性能.

关键词：不可信操作系统内核应用程序保护操作数地址长度

在线全文

学校读者我要写书评

暂无评论

整数漏洞研究:安全模型、检测方法和实例

软件学报 2015年第2期26卷 413-426页

作者：孙浩曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

C/C++语言中整型的有限表示范围、不同符号或长度间的类型转换导致了整数漏洞的发生,包括整数上溢、整数下溢、符号错误和截断错误.攻击者常常间接利用整数漏洞实施诸如恶意代码执行、拒绝服务等攻击行为.综述了整数漏洞的研究进展,从... 详细信息

C/C++语言中整型的有限表示范围、不同符号或长度间的类型转换导致了整数漏洞的发生,包括整数上溢、整数下溢、符号错误和截断错误.攻击者常常间接利用整数漏洞实施诸如恶意代码执行、拒绝服务等攻击行为.综述了整数漏洞的研究进展,从缺陷发生后行为的角度提出了新的整数漏洞安全模型,总结了判定整数漏洞的充分条件.从漏洞判定规则对充分条件覆盖的角度对现有检测方法进行比较和分析.通过实例分析,讨论了整数漏洞在现实中的特征分布.最后指出了整数漏洞研究中存在的挑战和有待进一步研究的问题.

关键词：整数漏洞缺陷发生后行为安全模型故意使用实例研究

在线全文

学校读者我要写书评

暂无评论

基于信息流策略的污点传播分析及动态验证

软件学报 2011年第9期22卷 2036-2048页

作者：黄强曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于流和上下文敏感的SSA(static single assignment)信息流分析技术,提出了一种细粒度、可扩展的污点传播检测方法.利用控制流和数据流的相关信息,跟踪污染数据及其传播路径,可以检测缓冲区溢出、格式化串漏洞等程序脆弱性.分析过程在... 详细信息

基于流和上下文敏感的SSA(static single assignment)信息流分析技术,提出了一种细粒度、可扩展的污点传播检测方法.利用控制流和数据流的相关信息,跟踪污染数据及其传播路径,可以检测缓冲区溢出、格式化串漏洞等程序脆弱性.分析过程在潜在问题点自动插装动态验证函数,在无需用户干预的情况下保证了程序的运行时安全.在GCC编译器的基础上实现了分析系统,实验结果表明,该方法具有较高的精确度和时空效率.

关键词：脆弱性信息流污点传播动态验证静态单一赋值

在线全文

学校读者我要写书评

暂无评论

一种基于协议分析的可信信道评估方法

计算机学报 2006年第8期29卷 1329-1336页

作者：李沁曾庆凯南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

目前,对可信信道的评估大多局限于经验的评测,缺乏理论支持,存在着极大的不确定性和不完备性.对此基于通用安全标准CC(CommonCriteria)给出了具有一定通用性和可重用性的可信信道评估框架,在此评估框架中应用了形式化的验证方法,提出了... 详细信息

目前,对可信信道的评估大多局限于经验的评测,缺乏理论支持,存在着极大的不确定性和不完备性.对此基于通用安全标准CC(CommonCriteria)给出了具有一定通用性和可重用性的可信信道评估框架,在此评估框架中应用了形式化的验证方法,提出了把经验分析和形式化验证相结合的评估方法.同时在对SSH的评估中对Cord演算作了适应性的扩展.

关键词：安全评估形式化验证可信信道 Cord演算

在线全文

学校读者我要写书评

暂无评论

引入内可信基的应用程序保护方法

软件学报 2016年第4期27卷 1042-1058页

作者：邓良曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

提出一种在不可信操作系统中保护应用程序的新方法 App ISO.针对传统的虚拟化方法的高开销问题,App ISO在不可信操作系统的同一特权层引入内可信基,代替虚拟机监控器实施应用程序保护,避免了昂贵的特权层切换.同时利用硬件虚拟化,以及... 详细信息

提出一种在不可信操作系统中保护应用程序的新方法 App ISO.针对传统的虚拟化方法的高开销问题,App ISO在不可信操作系统的同一特权层引入内可信基,代替虚拟机监控器实施应用程序保护,避免了昂贵的特权层切换.同时利用硬件虚拟化,以及页表锁定、影子IDT、切换页面等软件技术保证内可信基的安全性.证明了所提内可信基方法与虚拟化方法具有同样的高安全性.实验和分析结果表明,内可信基方法可显著地提高系统性能.

关键词：内可信基应用程序保护不可信操作系统虚拟化

在线全文

学校读者我要写书评

暂无评论

讨赖河流域泥沙输移规律及其成因分析

泥沙研究 2022年第3期47卷 31-37页

作者：武建王昱刘开清赵映东甘肃省水利厅讨赖河流域水资源利用中心甘肃酒泉735000 兰州理工大学能动学院甘肃酒泉730050

以讨赖河流域内的讨赖河与洪水河为研究对象,采用嘉峪关水文站和新地水文站1954-2018年的月平均流量和月平均悬移质含沙量数据,对讨赖河流域的水沙输移规律及其影响因素进行了统计分析。结果表明:讨赖河流域水沙年内分配不均,其输沙量... 详细信息

以讨赖河流域内的讨赖河与洪水河为研究对象,采用嘉峪关水文站和新地水文站1954-2018年的月平均流量和月平均悬移质含沙量数据,对讨赖河流域的水沙输移规律及其影响因素进行了统计分析。结果表明:讨赖河流域水沙年内分配不均,其输沙量和径流量基本集中在6-8月的汛期,且其变化趋势基本一致,呈“单峰型”分布。M-K非参数检验法和相关性分析显示讨赖河干支流径流量差异显著,与水沙显著相关,说明水沙同源。分析表明人类活动是影响讨赖河干支流径流量和输沙量变化的关键因素,其对讨赖河和洪水河输沙贡献率分别达到了55.72%和67.14%。

关键词：讨赖河流域泥沙输移规律成因分析

Engineering application of ecological remediation technologies in situ treatment of black-odour river

在线全文

学校读者我要写书评

暂无评论

Ecological Economy 2019年第4期12卷 273-279页

作者： FAN kai-qing ZHU Xiao-yan QIAN Xue-jun Jiangsu Polytechnic College of Agriculture and Forestry Jurong 212400CHINA College of Environment Nanjing University of TechnologyNanjing 210009CHINA

In order to study the remediation technology and effect of the black-odour water bodies,the treatment project of typical black-odour river was taken as an example,and the technical measures,such as sediment dredging,aeration,adding microbial preparation and constructing ecological floating bed,were adopted to treat and restore the water body.The results showed that the black and odorous phenomenon of the river had been basically eliminated and the water quality had been significantly improved after the 9-week operation.The highest removal rates of COD,NH3-N and TP were 82.5%,77.6%and 81.4%,respectively,and the water quality was improved from inferior class V to class IV.The engineering practice indicated that the technical scheme was feasible and could effectively remove the pollutants such as organic matters,ammonia nitrogen and total phosphorus in the water,which could provide basis and reference for the treatment project of similar black-odour water body.

关键词： black-odour water body in situ treatment ecological remediation engineering application

泉州台商投资区惠东南干渠-6^(#)公路箱涵钢板桩支护方案

在线全文

学校读者我要写书评

暂无评论

黑龙江交通科技 2022年第4期45卷 111-112,117页

作者：曾庆凯泉州台商投资区城市建设发展有限公司福建泉州362000

结合泉州台商投资区惠东南干渠-6^(#)公路箱涵工程实例,阐述基坑施工过程中钢板桩支护工程概况、钢板桩施工方案、施工顺序、钢板桩吊运及安放钢板桩的埋设、基坑排水降水措施、拔桩顺序、桩孔处理及注意事项确保基坑施工程中安全。

关键词：公路箱涵工程支护施工

在线全文

学校读者我要写书评

暂无评论

方块苗文键盘输入音形编码的优化

吉林大学学报（工学版） 2019年第2期49卷 656-663页

作者：莫礼平周恺卿吉首大学信息科学与工程学院湖南吉首416000 中南大学信息科学与工程学院长沙410083

针对由"首构件音码+末构件音码+末笔画形码+结构类型形码"构成输入编码序列的方块苗文音形输入编码基本方法存在的键位码元负荷分布不均及连续击键速度较慢方面的不足,以键位码元负荷和键位相关速度当量分析为基础,对基本方法中的形码... 详细信息

针对由"首构件音码+末构件音码+末笔画形码+结构类型形码"构成输入编码序列的方块苗文音形输入编码基本方法存在的键位码元负荷分布不均及连续击键速度较慢方面的不足,以键位码元负荷和键位相关速度当量分析为基础,对基本方法中的形码设计及其映射方式进行调整优化。对比分析结果表明:优化后方法合理均衡了键位码元负荷,将方块苗文输入时两种连续击键情况下的键位相关速度当量均值分别降低了8.6000%和7.8500%。输入测试实验证实:优化后方法在保持较高输入正确率的同时显著提高了方块苗文的有效输入速度。

关键词：信息处理技术方块苗文音形编码码元负荷键位相关速度当量