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

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

作者：傅建明黎琳王应军武汉大学国家网络安全学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学国家网络安全学院武汉430072

Webshell是一种以ASP、PHP和JSP等网页文件形式存在的命令执行环境,可以用于Web服务器的远程访问控制.Webshell采用混淆和加密,增加了分析难度和检测难度.基于特征值匹配的Webshell检测方法难以有效对抗混淆加密,且无法检测未知的Webshe...

Webshell是一种以ASP、PHP和JSP等网页文件形式存在的命令执行环境,可以用于Web服务器的远程访问控制.Webshell采用混淆和加密,增加了分析难度和检测难度.基于特征值匹配的Webshell检测方法难以有效对抗混淆加密,且无法检测未知的Webshell.为此,本文提出了一种基于CNN的Webshell检测方法,该方法首先编译PHP文件获取opcode,再利用词汇表模型提取词序特征,最后训练得到CNN检测模型.实验结果表明,本文方法在精确率、召回率、F1分数都优于传统的机器学习算法,且检测率也高于现有的安全工具,证明了本文方法的有效性.

关键词：

来源：评论

学校读者我要写书评

暂无评论

一种基于JavaScript直接执行的Chrome扩展动态分析方法

一种基于JavaScript直接执行的Chrome扩展动态分析方法

引用

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

作者：傅建明梅戌芬郑锐武汉大学国家网络安全学院武汉 430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉 430072 武汉大学国家网络安全学院武汉 430072

Chrome 扩展数量庞大，用户众多，极大地丰富了Chrome 浏览器的功能.扩展的官方商店审核松散、更新机制不完善、维护不及时使得商店的扩展存在极大的安全隐患.针对已有的Chrome 扩展分析研究，本文定义了扩展的七类行为，提出了一种基于...

Chrome 扩展数量庞大，用户众多，极大地丰富了Chrome 浏览器的功能.扩展的官方商店审核松散、更新机制不完善、维护不及时使得商店的扩展存在极大的安全隐患.针对已有的Chrome 扩展分析研究，本文定义了扩展的七类行为，提出了一种基于JavaScript 直接执行的Chrome 扩展动态分析方法.该方法剥离出扩展的JavaScript 代码，利用Jalangi2 实现了JavaScript 代码的动态插桩，该方法突破了扩展中JavaScript 代码执行时的条件限制，提高了执行路径的覆盖率.对4.4 万多扩展的分析，结果表明该方法可有效识别出预定义的七类行为，其中20 个扩展存在恶意域名访问、1113 个扩展存在广告注入、381 个扩展会获取页面密码或cookie 信息.同时，该方法获得的URL 请求数比传统动态分析方法多52.44％，证实了本方法的有效性.

关键词：

来源：评论

学校读者我要写书评

暂无评论

基于模型检测的可信软件栈测试

引用

武汉大学学报（理学版） 2010年第2期56卷 129-132页

作者：何凡张焕国严飞杨飏汪红孟学军武汉大学计算机学院湖北武汉430072 武汉理工大学计算机科学与技术学院湖北武汉430063 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 湖北省政府采购中心湖北武汉430072 武汉大学网络中心湖北武汉430072

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中... 详细信息

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.

关键词：可信计算平台可信软件栈模型检测计算树逻辑一致性测试

来源：评论

学校读者我要写书评

暂无评论

可信网络连接研究

可信网络连接研究

引用

第一届中国可信计算理论与实践学术会议

作者： Zhang-Huanguo 张焕国 Chen-Lu 陈璐 Zhang-Liqiang 张立强空天信息安全与可信计算教育部重点实验室 Computer School of Wuhan UniversityKey Lab of Aerospace Information Security and Trusted ComputingState Key Lab of Software Engineering 武汉大学计算机学院武汉大学软件工程重点实验室

本文详细地介绍了可信网络连接的发展历程、体系结构、消息流程、相关规范，对TCG的可信网络连接架构的优点与局限性进行了分析。针对如何将可信计算机制拓展到网络，使得网络成为可信的计算环境这一问题进行了分析论述，并对可信网络... 详细信息

本文详细地介绍了可信网络连接的发展历程、体系结构、消息流程、相关规范，对TCG的可信网络连接架构的优点与局限性进行了分析。针对如何将可信计算机制拓展到网络，使得网络成为可信的计算环境这一问题进行了分析论述，并对可信网络连接技术未来的发展趋势进行了展望。

关键词：计算机网络安全可信网络连接可信计算组织系统架构工作流程

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

作者：徐士伟张焕国肖瑾瑜严飞武汉大学计算机学院湖北武汉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置换结构特点

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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加密系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：