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

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

作者：吴万青张焕国吴朔媚毛少武武汉大学计算机学院湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉4300072 石家庄学院计算机系河北石家庄050035

在非交换群上提出一个基于李代数(n李代数)的密码体系.同时在复数域上,利用典型的非结合、反交换的李代数实现密码学上的一些结果.本文指出李代数乘法表的构造问题可以转化为求解多变元二次多项式不定方程组,是非确定性多项式(NPC)完全... 详细信息

在非交换群上提出一个基于李代数(n李代数)的密码体系.同时在复数域上,利用典型的非结合、反交换的李代数实现密码学上的一些结果.本文指出李代数乘法表的构造问题可以转化为求解多变元二次多项式不定方程组,是非确定性多项式(NPC)完全困难的.乘法表自然地导出一个单向陷门函数.在这个陷门函数的基础上建立了一个加解密方案.基于李代数给出了一个密钥分配方案.最后将结果推广到数域F上的n李代数.

关键词：李代数二次不定方程组密钥分配协议

来源：评论

学校读者我要写书评

暂无评论

键盘输入安全研究

引用

计算机科学 2013年第10期40卷 10-17页

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

键盘记录器是网络用户面临的主要安全威胁之一。以保障敏感信息的安全输入为出发点,分析了按键信息传输流程,系统总结了键盘输入信息所面临的来自物理层、内核层、应用层的截获、查询、旁路等类型的安全威胁以及现有研究和应用的相应防... 详细信息

键盘记录器是网络用户面临的主要安全威胁之一。以保障敏感信息的安全输入为出发点,分析了按键信息传输流程,系统总结了键盘输入信息所面临的来自物理层、内核层、应用层的截获、查询、旁路等类型的安全威胁以及现有研究和应用的相应防御措施;介绍了软键盘所面临的偷窥、消息截获、截屏等威胁及其防御措施,提出鼠标记录攻击、控件分析攻击等新的威胁以及相应的对策;然后对现有研究和应用的敏感信息输入进行了安全性测试;最后介绍了现有研究中基于行为的键盘记录器检测方法。

关键词：键盘记录器敏感信息输入键盘软键盘

来源：评论

学校读者我要写书评

暂无评论

一种基于改进Fuzzing架构的工业控制设备漏洞挖掘框架

引用

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

作者：向騻赵波纪祥敏张焕国武汉大学计算机学院湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072 福建农林大学计算机与信息学院福建福州350002

漏洞挖掘是解决当前工业控制系统安全问题的有效途径.本文分析了现有工业控制平台漏洞挖掘的问题,提出了一种改进的Fuzzing架构.通过引入置信度的概念对测试用例进行量化,将其作为分类器的输入进行分类,从而预先筛选出可能有效的测试用... 详细信息

漏洞挖掘是解决当前工业控制系统安全问题的有效途径.本文分析了现有工业控制平台漏洞挖掘的问题,提出了一种改进的Fuzzing架构.通过引入置信度的概念对测试用例进行量化,将其作为分类器的输入进行分类,从而预先筛选出可能有效的测试用例,实现了减少输入空间、增加命中率的目的.基于该架构设计的针对工业控制系统的一种通用漏洞挖掘框架,实现了集畸形数据构造、测试目标监控和测试结果管理为一体,并同时支持多目标、多协议、多平台的扩展.通过对某款工业控制器进行实际测试,证明了该架构的可行性与高效性.

关键词：工业控制系统 Fuzzing 置信度漏洞挖掘

来源：评论

学校读者我要写书评

暂无评论

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

引用

北京交通大学学报 2013年第5期37卷 105-111,131页

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

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

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

关键词：信息安全键盘记录器软键盘细胞自动机随机化

来源：评论

学校读者我要写书评

暂无评论

改进的K最短路径算法在通信网络中的应用

引用

武汉大学学报（理学版） 2013年第6期59卷 534-538页

作者：毛少武张焕国黄崇超吴万青武汉大学计算机学院/空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学数学与统计学院湖北武汉430072

经典的K最短路径算法是最短路径算法中一个重要分支,它在交通网络的实时路径选择中起到了很重要的作用,为了将经典的K最短路径算法应用于通信网络中,我们对经典的K最短路径算法进行了改进.在求解K最大期望容量路径算法时,先对其进行权... 详细信息

经典的K最短路径算法是最短路径算法中一个重要分支,它在交通网络的实时路径选择中起到了很重要的作用,为了将经典的K最短路径算法应用于通信网络中,我们对经典的K最短路径算法进行了改进.在求解K最大期望容量路径算法时,先对其进行权重转换,然后使用MPS算法;在求解K最大容量路径算法时,选取每个弧段源点,终点和弧段对应3个容量值最大的来进行标号;在求解K最大期望容量路径时,建立一系列的子网络,在每个子网络中先求出K最大可靠路径,对其容量进行排序,选出最小的,将大于该最小容量的所有弧集构成的网络定义为它的子网络,以此类推直到源点到目标点没有路径为止,对每个子网络中选取的K最大期望容量路径进行统一排序得到原网络中的K最大期望路径.通过网络通信实例,验证了算法的正确性和可行性.

关键词：物联网 K最短路 MPS算法 K最大期望容量路径

来源：评论

学校读者我要写书评

暂无评论

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

引用

华中科技大学学报（自然科学版） 2013年第S2期41卷 259-264页

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

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

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

关键词： Android组件安全缺陷静态分析组件劫持权限泄露

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

植入城市计算综述

引用

计算机科学 2013年第3期40卷 8-15页

作者：李拴保傅建明连向磊武汉大学计算机学院武汉大学空天信息安全与可信计算教育部重点实验室河南财政税务高等专科学校中国人民解放军71155部队

物联网通过感知技术实现物品与互联网的连接,云计算通过对共享资源的灵活整合和动态配置为用户提供面向需求的服务。基于上述背景,定义了植入城市计算的基本概念和功能框架,以植入城市计算应用场景为研究对象,比较了物联网技术与传统方... 详细信息

物联网通过感知技术实现物品与互联网的连接,云计算通过对共享资源的灵活整合和动态配置为用户提供面向需求的服务。基于上述背景,定义了植入城市计算的基本概念和功能框架,以植入城市计算应用场景为研究对象,比较了物联网技术与传统方法的数据采集、服务提供,论述了在人与环境交互中的感知应用部署、数据捕获、信息传播,阐述了云计算面向用户提供的数据管理服务、感知应用服务、位置查询服务。围绕植入城市计算的安全和隐私问题,对RFID隐私保护和身份认证、无线传感器网络密钥管理、参与感知隐私匿名化、云计算可信访问控制等进行了分析,并提出了进一步的研究方向。

关键词：物联网云服务参与感知

来源：评论

学校读者我要写书评

暂无评论

一种基于演化密码和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年第5期59卷 458-464页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：