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

第三届可信计算与信息安全学术会议

作者：李松王丽娜余荣威匡波武汉大学计算机学院/空天信息安全与可信计算教育部重点实验室湖北武汉430072 中国人民解放军75742部队广东广州510510 武汉大学计算机学院/空天信息安全与可信计算教育部重点实验室湖北武汉430072

通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法。该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证... 详细信息

通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法。该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中,同时进行了该协议的安全验证,能很好地保证所涉及协议的正确性和安全性。表明该方法具有较强的可行性和适用性。

关键词：安全协议密钥协商协议自动化设计 SVO逻辑安全验证

来源：评论

学校读者我要写书评

暂无评论

基于中国邮递员问题的可信平台模块测试序列生成优化研究

基于中国邮递员问题的可信平台模块测试序列生成优化研究

引用

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

作者：徐士伟张焕国肖瑾瑜严飞武汉大学计算机学院湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中国邮递员问题,提出了可信平台模块改进的有限状态机模型与相应的优化测试方案,通过寻找一条遍历有限状态机模型中每一条转移至少... 详细信息

现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中国邮递员问题,提出了可信平台模块改进的有限状态机模型与相应的优化测试方案,通过寻找一条遍历有限状态机模型中每一条转移至少一次的最短路径的方法,从而生成费用优化的测试序列.测试结果表明,测试方案能够简化有限状态机状态的测试.

关键词：可信平台模块邮递员状态机理论测试优化

来源：评论

学校读者我要写书评

暂无评论

一种基于谓词抽象的测试用例约简生成方法

一种基于谓词抽象的测试用例约简生成方法

引用

第四届中国计算机网络与信息安全学术会议(CCNIS2011)

作者：郭曦张焕国武汉大学计算机学院，湖北武汉 430072 武汉大学计算机学院，湖北武汉 430072 武汉大学空天信息安全与可信计算教育部重点实验室，湖北武汉 430072

测试用例约简生成问题是软件测试过程中的关键问题之一，其目标是使用尽可能少的测试用例充分满足给定的测试目标，以提高测试效率、降低测试成本。提出一种基于谓词抽象的测试用例约简生成方法，该方法依据给定的谓词集合对软件系统的... 详细信息

测试用例约简生成问题是软件测试过程中的关键问题之一，其目标是使用尽可能少的测试用例充分满足给定的测试目标，以提高测试效率、降低测试成本。提出一种基于谓词抽象的测试用例约简生成方法，该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分，通过状态集合之间的映射得到约简的抽象状态，并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明，该方法可以有效地对系统状态进行约简，并生成规模较小的测试用例集。

关键词：谓词抽象状态约简等价类划分测试用例生成软件测试

来源：评论

学校读者我要写书评

暂无评论

GF(2n)m上的线性正形置换

GF(2n)m上的线性正形置换

引用

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

作者：童言张焕国韩海清武汉大学计算机学院湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

正形置换在密码体制中应用广泛.基于GF(2n)m上的线性正形置换可用来设计分组密码的重要线性部件P置换.本文将GF(2)m上正形置换以及GF(2)m上完全平衡的概念推广到了GF(2n)m上,证明了GF(2n)m上的正形置换具有推广后的完全平衡性,证明了多... 详细信息

正形置换在密码体制中应用广泛.基于GF(2n)m上的线性正形置换可用来设计分组密码的重要线性部件P置换.本文将GF(2)m上正形置换以及GF(2)m上完全平衡的概念推广到了GF(2n)m上,证明了GF(2n)m上的正形置换具有推广后的完全平衡性,证明了多项式环GF(q)[x]上的一个新结论,分析了GF(2n)m上线性正形置换的结构特点和计数,利用多项式环GF(q)[x]上的新结论给出了计数公式.

关键词：正形置换分组密码 P置换结构特点

来源：评论

学校读者我要写书评

暂无评论

基于演化计算的组合模型序列密码分析

基于演化计算的组合模型序列密码分析

引用

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

作者：陈联俊赵云唐明张焕国武汉大学计算机学院湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

给出了一种利用演化计算对组合模型序列密码体制进行分析的方法.实验表明,用该演化计算方法对Geefe发生器和门限发生器进行分析时,算法复杂度比穷举法的复杂度低;该演化计算方法用于组合模型序列密码的分别征服攻击时,效率明显提高.因... 详细信息

给出了一种利用演化计算对组合模型序列密码体制进行分析的方法.实验表明,用该演化计算方法对Geefe发生器和门限发生器进行分析时,算法复杂度比穷举法的复杂度低;该演化计算方法用于组合模型序列密码的分别征服攻击时,效率明显提高.因此演化计算分析方法是一种有效的序列密码分析方法.

关键词：序列密码密码分析演化计算分析方法

来源：评论

学校读者我要写书评

暂无评论

针对RED脆弱性的分布式LDoS攻击构造

针对RED脆弱性的分布式LDoS攻击构造

引用

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

作者：赵磊张笑盈王丽娜郭迟武汉大学计算机学院湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

针对随机早期检测(random early detection,RED)算法在慢速拒绝服务攻击(low-rate deny of serv-ice,LDoS)面前的脆弱性问题,本文通过对比路由器分别在RED和尾丢弃Drop-Tail算法管理下遭受LDoS攻击时的队列平均占用率及吞吐量,指出虽然... 详细信息

针对随机早期检测(random early detection,RED)算法在慢速拒绝服务攻击(low-rate deny of serv-ice,LDoS)面前的脆弱性问题,本文通过对比路由器分别在RED和尾丢弃Drop-Tail算法管理下遭受LDoS攻击时的队列平均占用率及吞吐量,指出虽然路由器在RED算法下具有较大的空闲缓冲区,却不能对网络流量攻击起到缓冲作用.仿真对比实验表明,LDoS攻击使得路由器在RED下比Drop-Tail具有更大的链路损失带宽.指出现有LDoS的防范和检测方法的不足,构造了一种分布式LDoS攻击模型并给出一组模型实例,该模型说明现有突发流量检测方法不足以弥补RED脆弱性,也说明网络流量行为的关联复杂性.

关键词：随机早期检测算法网络流量攻击脆弱性分析慢速拒绝服务攻击

来源：评论

学校读者我要写书评

暂无评论

面向虚拟化平台的透明加密系统设计与实现

面向虚拟化平台的透明加密系统设计与实现

引用

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

作者：高汉军寇鹏王丽娜余荣威董永峰武汉大学计算机学院湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

针对虚拟化平台下数据防泄漏系统的要求,本文结合可信平台模块(trusted platform module,TPM)的密钥管理优势,提出了一种基于eCrytpfs文件系统的透明加密系统设计与实现方法.该文件保护系统MeCryptfs(modified-eCryptfs)使用自定制TPM... 详细信息

针对虚拟化平台下数据防泄漏系统的要求,本文结合可信平台模块(trusted platform module,TPM)的密钥管理优势,提出了一种基于eCrytpfs文件系统的透明加密系统设计与实现方法.该文件保护系统MeCryptfs(modified-eCryptfs)使用自定制TPM密钥管理模块.改善了eCryptfs用户空间的密钥管理部分,通过取消多用户模式进一步增强了整个系统的安全性.测试结果表明,该透明加密系统具有较高的性能,能够满足加解密透明性要求.

关键词：透明加密密钥管理虚拟化平台 MeCryptfs加密系统

来源：评论

学校读者我要写书评

暂无评论

基于图表示学习的恶意软件分类方法

引用

新型工业化 2021年第10期11卷 91-96页

作者：张英韬王宝会武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室(武汉大学) 北京航空航天大学软件学院

由于Windows系统用户众多,针对于Windows系统的恶意软件层出不穷,但是目前对windows恶意软件的识别准确率不是很高,而且大多是单独基于API序列进行分析。这种方式只能捕捉恶意软件的行为时间信息,并无法获取其行为之间的拓扑结构和行为... 详细信息

由于Windows系统用户众多,针对于Windows系统的恶意软件层出不穷,但是目前对windows恶意软件的识别准确率不是很高,而且大多是单独基于API序列进行分析。这种方式只能捕捉恶意软件的行为时间信息,并无法获取其行为之间的拓扑结构和行为之间的联系。本文使用动态检测方式,将CUCKOO沙箱中得到的恶意软件的报告转化为图结构数据,并根据其API的多线程调用信息,得到该恶意软件的诸多子图。同时,本文还创新性对恶意软件调用的序列信息进行提取,根据其两边节点组成相应边节点。最终本文将得到的恶意软件图表示输入至图神经网络中进行学习,在经过TopK池化后读出至全连接层进行分类。本文使用的方法在分类准确率上相比于之前的方法有着非常大的提升,二分类测试集准确率达到了99.2%,超过恶意软件的其他方法。同时消融实验也显示了算法的有效性。

关键词： Windows恶意软件检测图表示学习边节点嵌入深度游走多子图

来源：评论

学校读者我要写书评

暂无评论

基于诱捕的软件异常检测研究

基于诱捕的软件异常检测研究

引用

第三届先进计算与内生安全学术会议

作者：傅建明刘畅解梦飞罗陈可武汉大学国家网络安全学院武汉大学空天信息安全与可信计算教育部重点实验室武汉 430072

高级持续威胁(APT)利用复用代码攻击，可以绕过堆栈的不可执行限制，这依然是网络安全的重要威胁。传统的控制流完整性和地址随机化技术虽然有效抑制了APT的步伐，但软件的复杂性和攻击演化使得软件仍存在被攻击的时间窗口。为此，以资... 详细信息

高级持续威胁(APT)利用复用代码攻击，可以绕过堆栈的不可执行限制，这依然是网络安全的重要威胁。传统的控制流完整性和地址随机化技术虽然有效抑制了APT的步伐，但软件的复杂性和攻击演化使得软件仍存在被攻击的时间窗口。为此，以资源为诱饵的诱捕防御是确保网络安全的必要补充。论文从诱饵类型、诱饵生成、诱饵部署、诱饵度量方面刻画了诱捕防御的机理。同时，剖析了诱捕防御在勒索软件检测、漏洞检测、Web安全方面的应用，并提出了用于检测勒索软件的诱饵动态更新方法。最后，讨论了诱捕防御面临的挑战，希望诱捕防御可以为发现未知攻击、溯源攻击意图提供理论和技术支持。

关键词：高级持续威胁代码复用攻击控制流完整性地址随机化诱捕防御

来源：评论

学校读者我要写书评

暂无评论

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％存在隐私泄露。

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：