检索结果-内蒙古大学图书馆

武汉大学学报（理学版） 2013年第5期59卷 458-464页

作者：杨健张焕国武汉大学计算机学院湖北武汉430072 中南民族大学管理学院湖北武汉430074 武汉大学软件工程国家重点实验室湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072

本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树,并选用深度优先... 详细信息

本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树,并选用深度优先策略或其他组合覆盖策略,获得输入参数的区间组合的集合;运用区间运算的方法,把每一个区间组合代入到程序路径的约束条件中,判断区间组合上程序路径的可达性;选用相应的用例生成策略,在路径可达的区间组合上生成测试用例.

关键词：测试用例生成区间集区间组合组合覆盖约束求解区间运算

来源：评论

学校读者我要写书评

暂无评论

基于图编辑距离的恶意代码检测

引用

武汉大学学报（理学版） 2013年第5期59卷 453-457页

作者：杨帆张焕国傅建明沈志东武汉大学计算机学院湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072 中国地质大学(武汉)计算机学院湖北武汉430074 武汉大学国际软件学院湖北武汉430070

传统的恶意代码检测方法漏报率高且运行效率低,很大程度的依赖于人工检测.为解决该问题,基于恶意代码自身的函数调用顺序及程序结构特征,通过静态分析技术将恶意代码抽象为函数调用图,采用图的编辑距离作为恶意代码间相似度的评估标准,... 详细信息

传统的恶意代码检测方法漏报率高且运行效率低,很大程度的依赖于人工检测.为解决该问题,基于恶意代码自身的函数调用顺序及程序结构特征,通过静态分析技术将恶意代码抽象为函数调用图,采用图的编辑距离作为恶意代码间相似度的评估标准,将恶意代码的分类识别转化为在已建立的恶意代码图数据库中搜索最小编辑距离邻居图的问题,在此基础上实现了用户检测未知文件恶意性的系统.为了提高检测速度,引入了函数对应的汇编指令集和多路优势点树的高维索引算法.实验证明,该方案兼顾了恶意代码检测的准确性和运行效率.

关键词：恶意代码检测函数调用图图编辑距离多路优势点树

来源：评论

学校读者我要写书评

暂无评论

一种基于演化密码和HMM改进的Koblitz安全曲线产生新方法

引用

中国科学：信息科学 2013年第3期43卷 322-334页

作者：王潮张焕国刘礼黎上海大学通信与信息工程学院上海200072 武汉大学计算机学院武汉430072 空天信息安全与可信计算教育部重点实验室武汉430072 华为公司上海201206

考虑未来云计算攻击和量子计算机攻击，需要储备安全强度更高的ECC安全曲线．利用隐Markov模型（HMM）预测迹向量解决基点计算难题，完善基于演化密码思想提出的Koblitz安全曲线产生新算法，完成了F（2 2000）以内Koblitz安全曲线的搜... 详细信息

考虑未来云计算攻击和量子计算机攻击，需要储备安全强度更高的ECC安全曲线．利用隐Markov模型（HMM）预测迹向量解决基点计算难题，完善基于演化密码思想提出的Koblitz安全曲线产生新算法，完成了F（2 2000）以内Koblitz安全曲线的搜索实验，产生的安全曲线基域的覆盖范围、曲线的规模和产生效率均超过美国NIST的公开报道参数．可提供的安全曲线的基域和基点最高超过1900bit，远超过美国NIST公布的571bit．在NIST公布的F（2163）-F（2571）范围之间还有新的安全曲线发现．对产生的安全曲线进行了详细的安全分析，表明与NIST推荐的安全曲线具有相同的安全准则．

关键词：安全曲线选择演化密码蚁群算法 Koblitz曲线HMM

来源：评论

学校读者我要写书评

暂无评论

基于移动感知服务的植入城市计算研究

引用

计算机仿真 2013年第11期30卷 297-302页

作者：李拴保祁慧敏傅建明武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 河南财政税务高等专科学校河南郑州451464

城市空间环境监测物联网移动服务实现了感知数据的移动传输和远程存储,但无法提供互联网方式共享和交互服务。为解决上述问题,以环境区域物联网系统和智能手机移动感知系统为基础,提出了城市计算、植入城市计算、移动感知服务和基于移... 详细信息

城市空间环境监测物联网移动服务实现了感知数据的移动传输和远程存储,但无法提供互联网方式共享和交互服务。为解决上述问题,以环境区域物联网系统和智能手机移动感知系统为基础,提出了城市计算、植入城市计算、移动感知服务和基于移动感知服务的植入城市计算的定义,设计了一种面向植入城市计算的感知网络和感知服务概念性逻辑功能体系结构。以植入城市计算环境区域身份、状态、位置信息服务为研究对象,提出了一种移动感知服务逻辑组成,包括接口管理、安全管理、服务管理、数据管理和本地服务,定义了每一部分的基本工作原理,并提出了进一步的研究方向。

关键词：物联网移动感知服务云计算体系结构

来源：评论

学校读者我要写书评

暂无评论

一种改进的H.264视频防失真漂移隐写算法

一种改进的H.264视频防失真漂移隐写算法

引用

第十一届全国信息隐藏暨多媒体信息安全学术大会 CIHW2013

作者：王丽娜翟黎明邵强任延珍王旻杰武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

视频DCT域隐写算法属于内置式隐写过程,由于视频编码中存在量化细节损失,因此量化后的残差DCT系数更适合嵌入,而直接在DCT域上隐写会导致视频帧出现失真漂移现象,使视频质量受到严重破坏.本文根据一类基于纹理特征的帧内4*4亮度块的防... 详细信息

视频DCT域隐写算法属于内置式隐写过程,由于视频编码中存在量化细节损失,因此量化后的残差DCT系数更适合嵌入,而直接在DCT域上隐写会导致视频帧出现失真漂移现象,使视频质量受到严重破坏.本文根据一类基于纹理特征的帧内4*4亮度块的防失真漂移隐写算法,研究了8*8亮度块上的隐写模型,并结合原算法提出了改进算法,使得隐藏容量平均提升30％,PSNR平均仅降低1.94dB.

关键词：视频编码防失真漂移隐写算法纹理特征误差分析

来源：评论

学校读者我要写书评

暂无评论

基于背景语义解析的漏洞累积补丁包分离方法

基于背景语义解析的漏洞累积补丁包分离方法

引用

第六届信息安全漏洞分析与风险评估大会

作者：沙乐天傅建明殷丽彭国军武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430072 武汉大学软件工程国家重点实验室武汉430072

恶意攻击者往往利用漏洞完成系统或软件的入侵,为解决漏洞曝光所导致的安全问题,安全研究员通常通过漏洞补丁开发的方式对系统组件或应用程序进行安全加固.而迫于补丁生成的时效性和多样性,近年来的漏洞补丁通常是通过一个累积补丁包的... 详细信息

恶意攻击者往往利用漏洞完成系统或软件的入侵,为解决漏洞曝光所导致的安全问题,安全研究员通常通过漏洞补丁开发的方式对系统组件或应用程序进行安全加固.而迫于补丁生成的时效性和多样性,近年来的漏洞补丁通常是通过一个累积补丁包的方式对多个漏洞完成封堵,使得面向单个漏洞的分析或研究变得非常困难.为解决这一难题,本文提出了一种基于背景语义解析的漏洞累积补丁包分离方法,首先从补丁前后的差异比对入手,通过静态结构化关联对差异函数及差异代码块进行模糊聚类;将补丁对应漏洞的背景语义解析为组件相关的入口函数及漏洞模式特征,以此为指导规则对结构化关联聚类进行去模糊化,获得精确的漏洞与补丁差异点的对应结果.最终通过函数之间以及代码块之间的调用传递关系描述补丁包中每个漏洞的数据约束条件,为后继的单个漏洞分析提供参考和支持.实验通过若干个累积补丁包的分离结果验证算法的有效性.

关键词：程序设计背景语义漏洞分析网络安全

来源：评论

学校读者我要写书评

暂无评论

面向隐写分析的数字图像固有特性研究

面向隐写分析的数字图像固有特性研究

引用

第十一届全国信息隐藏暨多媒体信息安全学术大会 CIHW2013

作者：王丽娜王旻杰邵锋翟黎明任延珍武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072

目前通用隐写分析检测中主要使用混杂样本训练得到的模型对待测样本进行检测,这种方式未考虑图像自身的固有特性对分类器的干扰,将各种不同纹理、不同质量糅合将使得分类器难以确定决策边界.针对图像自身特性的特点,本文提出"先预... 详细信息

目前通用隐写分析检测中主要使用混杂样本训练得到的模型对待测样本进行检测,这种方式未考虑图像自身的固有特性对分类器的干扰,将各种不同纹理、不同质量糅合将使得分类器难以确定决策边界.针对图像自身特性的特点,本文提出"先预分类、后隐写分析检测"的框架,该框架首先依据图像的固有特性将图像划分为不同的子类,最后在不同子类中实现训练和检测,以降低图像固有特性对隐写分析检测的不利影响.实验结果验证了所提框架的有效性.

关键词：数字图像固有特性检测技术隐写分析

来源：评论

学校读者我要写书评

暂无评论

Android组件间通信的安全缺陷静态检测方法

Android组件间通信的安全缺陷静态检测方法

引用

2013年第四届中国计算机学会服务计算学术会议

作者：傅建明李鹏伟易乔黄诗勇武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉 430072 武汉大学计算机学院湖北武汉 430072 武汉大学软件工程国家重点实验室湖北武汉 430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉 430072 武汉大学计算机学院湖北武汉 430072

针对Android应用程序的组件间通信存在使用隐式Intent有可能引发组件劫持和信息泄露,而公开组件又存在权限泄露的安全风险问题,提出了一种Android组件间通信的安全缺陷静态检测方法.首先,静态分析应用程序,获得其控制流程图(CFG)、函数... 详细信息

针对Android应用程序的组件间通信存在使用隐式Intent有可能引发组件劫持和信息泄露,而公开组件又存在权限泄露的安全风险问题,提出了一种Android组件间通信的安全缺陷静态检测方法.首先,静态分析应用程序,获得其控制流程图(CFG)、函数调用图(FCG)和组件调用图(CCG);然后,检测出潜在的危险组件、隐式Intent以及隐私泄露路径;最后,用该方法对20款流行的Android应用软件进行检测.结果显示:这些应用软件全部使用了隐式Intent,25％使用了动态代码,80％存在危险组件,40％存在隐私泄露.

关键词：安卓应用程序通信安全缺陷检测静态分析

来源：评论

学校读者我要写书评

暂无评论

Android组件间通信的安全缺陷静态检测方法

Android组件间通信的安全缺陷静态检测方法

引用

湖北省计算机学会2013年学术年会

作者：傅建明李鹏伟易乔黄诗勇武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学软件工程国家重点实验室湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072

针对移动终端Android应用程序的组件间通信存在使用隐式Intent有可能引发组件劫持和信息泄露,而公开组件又存在权限泄露的安全风险问题,提出了一种Android组件间通信的安全缺陷静态检测方法.首先,静态分析应用程序,获得其控制流程图(CFG... 详细信息

针对移动终端Android应用程序的组件间通信存在使用隐式Intent有可能引发组件劫持和信息泄露,而公开组件又存在权限泄露的安全风险问题,提出了一种Android组件间通信的安全缺陷静态检测方法.首先,静态分析应用程序,获得其控制流程图(CFG)、函数调用图(FCG)和组件调用图(CCG);然后,检测出潜在的危险组件、隐式Intent以及隐私泄露路径;最后,用该方法对20款流行的Android应用软件进行检测.结果显示:这些应用软件全部使用了隐式Intent,25％使用了动态代码,80％存在危险组件,40％存在隐私泄露。

关键词：移动终端半开源操作系统组件间通信安全缺陷静态检测技术

来源：评论

学校读者我要写书评

暂无评论

基于细胞自动机的软键盘布局随机化方案

基于细胞自动机的软键盘布局随机化方案

引用

第七届中国可信计算与信息安全学术会议

作者：李鹏伟傅建明沙乐天丁爽武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学软件工程国家重点实验室湖北武汉430072

软键盘被广泛应用于敏感信息输入,但攻击者有可能通过消息截获、控件分析、偷窥、截屏或鼠标记录等方法得到软键盘的输入信息.本文总结和拓展了攻击方法并对相应防御措施进行了探讨;针对键盘布局随机化这一重要防御措施,对现有各方案进... 详细信息

软键盘被广泛应用于敏感信息输入,但攻击者有可能通过消息截获、控件分析、偷窥、截屏或鼠标记录等方法得到软键盘的输入信息.本文总结和拓展了攻击方法并对相应防御措施进行了探讨;针对键盘布局随机化这一重要防御措施,对现有各方案进行分析;最后设计实现了一种基于细胞自动机的,与输入信息内容和输入过程相关联的软键盘布局随机化方案CAR,实验表明,这一方案具有良好的安全性和可用性.

关键词：信息安全软键盘布局随机化细胞自动机

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：