English Version 武汉大学期刊中心

最新刊期

2016 年第 5 期

计算机科学

一种基于动态污点的内存越界访问检测框架
傅建明,汤毅,刘秀文,张旭
2016, 62(5): 401-410. DOI: 10.14188/j.1671-8836.2016.05.001

摘要：基于软件漏洞的APT(advanced persistent threat)攻击是目前互联网终端用户面临的最大安全威胁之一.传统的基于样本的检测方法往往滞后于攻击行动，无法在攻击发生时准确阻止攻击行为.针对悬浮指针(dangling pointer，DP)及索引溢出(index overflow，IOF)两类常见漏洞错误，通过分析漏洞的形成机理及防护条件下漏洞利用过程，提出一种针对上述两种错误的自动检测框架.该框架以二进制动态分析平台Pin为基础，使用动态插桩技术和污点技术，通过动态追踪指针的整个生命周期并对指针使用的合法性进行检查，从而准确检测出DP和IOF类型的漏洞攻击样本并提供详细的漏洞信息.
关键词：高级持续性威胁;软件漏洞;释放后再引用;索引溢出;动态污点分析

56

|

1

|

1

<HTML>

<引用本文> <批量引用> 4844514 false

发布时间：2021-01-26
OAuth 2.0协议在Web部署中的安全性分析与威胁防范
王丹磊,李长军,赵磊,王丽娜
2016, 62(5): 411-417. DOI: 10.14188/j.1671-8836.2016.05.002

摘要：分析了OAuth 2.0协议中两大主流模式的安全机制和实现过程，给出了针对协议中部分敏感数据的威胁模型，针对协议部署过程中常见的安全漏洞提出了访问令牌注入攻击以及针对授权码注入的CSRF攻击的攻击路线，并对若干网站进行测试，结果显示攻击效果良好，验证了攻击方法的有效性，最后提出了相应的防范策略.
关键词：OAuth 2.0协议;开放平台;验证与授权;网络安全

44

|

1

|

1

<HTML>

<引用本文> <批量引用> 4844739 false

发布时间：2021-01-26
云环境下基于内存总线的侧信道攻击检测方法
王丽娜,章鑫,余荣威,徐来,徐一波
2016, 62(5): 418-424. DOI: 10.14188/j.1671-8836.2016.05.003

摘要：云计算环境下存在基于内存总线阻塞的侧信道，恶意用户可利用该侧信道以最低权限窃取客户敏感信息.针对这一问题，本文引入时序差分熵和虚拟机自省技术，提出了一种面向云计算的基于内存总线的侧信道攻击检测方法.该方法不仅可依据内存阻塞时序特征及系统负载状况对系统状态分类，而且实现了系统高危态的精确判定和恶意进程定位.实验结果表明：该方法能准确识别攻击的存在性，并能实现恶意进程的定位.
关键词：云安全;侧信道攻击;时序差分熵;虚拟机自省

39

|

1

|

0

<HTML>

<引用本文> <批量引用> 4844034 false

发布时间：2021-01-26
破解R. S. Bhalerao 公钥加密方案
贾建卫,刘金会,吴朔媚,张焕国,康遥
2016, 62(5): 425-428. DOI: 10.14188/j.1671-8836.2016.05.004

摘要：R. S. Bhalerao 等人设计了建立在矩阵群上的R.S.公钥加密方案. 本文利用矩阵的一些性质, 在不需要找到私钥的情况下, 多项式时间内恢复出明文, 并给出了方法描述和时间复杂度分析, 破解了R. S. Bhalerao 公钥加密方案.
关键词：密码学;公钥加密;密码分析;云计算;线性方程组

68

|

1

|

0

<HTML>

<引用本文> <批量引用> 4844428 false

发布时间：2021-01-26
一种基于行为的Android恶意软件家族聚类方法
肖云倡,苏海峰,钱雨村,彭国军
2016, 62(5): 429-436. DOI: 10.14188/j.1671-8836.2016.05.005

摘要：基于同一家族恶意软件在行为上的相似性特征，提出了一种基于行为的Android恶意软件家族聚类方法.该方法构建了软件行为刻画特征集合，通过定制ROM的方式来构建行为捕获机制并采集恶意软件的行为日志，基于行为日志提炼恶意软件特征集，使用DBSCAN(density-based spatial clustering of applications with noise)聚类算法进行家族聚类.通过对大量已经人工分类的恶意软件进行评估，实验结果表明，在最优情况下，本方法在聚类准确率上达到了91.3%，在测试样本识别预测上正确率达到了82.3%.
关键词：Android;恶意软件;基于行为的分析;家族聚类;DBSCAN

59

|

1

|

3

<HTML>

<引用本文> <批量引用> 4844155 false

发布时间：2021-01-26
基于虚拟机回放的恶意行为检测技术
尹正光,余荣威,王丽娜,刘维杰,宋衍,谈诚
2016, 62(5): 437-443. DOI: 10.14188/j.1671-8836.2016.05.006

摘要：云计算环境下高灵活性、高扩展性、边界泛化等特性，使得已有的恶意行为检测技术误检率高，未知恶意行为检测能力低下.本文提出了基于虚拟机回放的恶意行为检测模型，该模型包括了基于行为关联图的警报关联算法和基于虚拟机回放的预警确认机制.首先在VMM层部署网络入侵检测和基于VMI的主机检测系统实现网络层和虚拟机内部的双层检测，然后警报关联结合双层检测结果进行综合评判发出预警，最后预警确认机制通过回放技术过滤虚假警报，并识别未知攻击.实验结果显示，回放开销相比ReVirt降低了21.8%, 该方法相对于单一检测方法检测率有明显提升.
关键词：拟化安全;虚拟机回放;恶意行为检测;行为关联图

95

|

1

|

0

<HTML>

<引用本文> <批量引用> 4844156 false

发布时间：2021-01-26
两阶段多峰优化算法求解纳什均衡
李焕哲,吴志健,郭肇禄
2016, 62(5): 444-450. DOI: 10.14188/j.1671-8836.2016.05.007

摘要：提出了一种两阶段多峰优化算法用于求解一个博弈中的全部纳什均衡.第一阶段首先运行带有邻域变异策略的NCDE算法进行粗粒度搜索，定位最优解的粗略位置.第二阶段运行多个CMA-ES实例在已找的位置上同时进行局部精细搜索.此外，提出了一种搜索点补充策略，用于增强演化初期的搜索能力及保持子种群的稳定性.提出的算法和6个经典算法在10个纳什均衡问题上进行了比较.实验结果表明提出的算法在5个问题上取得了最好结果，4个问题上取得的结果与其他算法相同.
关键词：纳什均衡;非合作博弈;邻域变异;协方差矩阵自适应演化策略

105

|

1

|

0

<HTML>

<引用本文> <批量引用> 4844616 false

发布时间：2021-01-26
基于CFSFDP与ELM相结合的半监督室内定位算法
李克清,葛柳飞,戴欢
2016(5): 451-455. DOI: 10.14188/j.1671-8836.2016.05.008

摘要：针对室内环境复杂, 难以获取足够多的有效标记数据进行定位, 提出了一种将密度峰值快速搜索聚类(CFSFDP)和极限学习机(ELM)相结合的半监督室内定位算法(SLACE).SLACE利用CFSFDP聚类数据集, 并标记聚类中心缺失的位置信息, 扩充初始标记数据；利用ELM训练初始标记数据, 根据输出阈值向量和“换位”思想扩充标记数据, 提高定位准确率.实验表明:在标记数据个数相同时, 该算法运行时间短, 较ELM算法、BP算法而言, 定位准确率明显提高.
关键词：室内定位;密度峰值快速搜索聚类;极限学习机;半监督定位算法;换位思想

43

|

1

|

1

<HTML>

<引用本文> <批量引用> 4845029 false

发布时间：2021-01-26
一种新型自动向量化编译算法
吕鹏伟,刘从新,沈绪榜
2016(5): 456-463. DOI: 10.14188/j.1671-8836.2016.05.009

摘要：SIMD(single instruction multiple data)体系结构在高性能计算与嵌入式多媒体计算中扮演着重要的角色, 对于SIMD指令的自动向量化编译技术是当前编译领域的研究热点.本文基于超字并行 (super-word level parallelism, SLP)算法提出了一种新的自动向量化算法GSLP(global super-word level parallelism), 该算法分为两部分:语句分组和语句调度.语句分组从全局出发分析超字复用信息, 在语句分组的过程中, 充分挖掘基本块的直接或者间接的超字复用信息, 提高基本块内语句并行操作的机会；语句调度对基本块内的所有语句进行调度并调整超字内部单字(Single-word)数据的组织顺序, 使生成的代码中打包/解包(pack/unpack)操作的数量降到最低.使用16个测试程序对GSLP算法进行测试, 试验结果表明该算法使打包/解包操作的数量平均减少了41.6%, 与SLP算法所产生的加速相比平均提高了4.7%.
关键词：SIMD指令;编译技术;自动向量化;超字并行;超字复用

77

|

1

|

0

<HTML>

<引用本文> <批量引用> 4844307 false

发布时间：2021-01-26
一类具有非线性阻尼和多源项的波动方程
晋守博,张祖峰,赵美玲
2016(5): 464-470. DOI: 10.14188/j.1671-8836.2016.05.010

摘要：给出了一类同时具有非线性阻尼和多个非线性源项的波动方程, 利用Gakerkin方法构造了方程的近似解, 并通过一些先验估计分析了近似解在不同空间的收敛性, 证明了该波动方程存在一个整体弱解.通过构造等价泛函的方法, 在特殊情况下, 研究方程整体解的渐近稳定性.
关键词：非线性阻尼;波动方程;整体解;渐近性

65

|

1

|

0

<HTML>

<引用本文> <批量引用> 4845100 false

发布时间：2021-01-26

数学

一类图空间的集有序强优美性
马飞,苏静,姚兵
2016, 52(5): 471-476. DOI: 10.14188/j.1671-8836.2016.05.011

摘要：讨论了树的集有序强优美性，给出了集有序强优美树的概念，证明了由n棵集有序强优美树的任意排列构成的线性图空间仍具有集有序强优美性；给出了运用两棵同构的强优美树构造集有序强优美树的一种新方法，证明了强优美树与集有序强优美树可以构造强优美树．
关键词：强优美标号;集有序强优美标号;完美匹配

43

|

1

|

0

<HTML>

<引用本文> <批量引用> 4845049 false

发布时间：2021-01-26
凸约束变分不等式的基于LQP方法的算法
吴德运,黄崇超
2016, 62(5): 477-482. DOI: 10.14188/j.1671-8836.2016.05.012

摘要：利用 KKT 条件将一类凸约束变分不等式问题转化为线性约束变分不等式问题，在证明了构成函数在特定区域具有单调性的基础上，提出了一种新的基于 LQP (logrithmic-quadratic proximal)方法的算法，给出了相应算法的全局收敛性证明和数值实验结果.
关键词：凸约束变分不等式;凸优化;logrithmic-quadratic proximal算法;单调算子

54

|

1

|

0

<HTML>

<引用本文> <批量引用> 4844895 false

发布时间：2021-01-26
多变量向量值Bergman空间上的线性分式复合算子
李益冬,王茂发,姚兴兴
2016, 62(5): 483-487. DOI: 10.14188/j.1671-8836.2016.05.013

摘要：设 X 是可分的Hilbert空间,并设 φ 和 ψ 是单位球到自身的线性分式变换.本文研究了多变量向量值Bergman空间 B ₁( X）的基本性质,利用泛函分析与复分析的方法,刻画了 B ₁( X）上的乘积算子 C _φC _ψ ^* 和 C _ψ ^*C _φ 的弱紧性,把一维的弱紧性结论推广到了多维.
关键词：向量值Bergman空间;复合算子;线性分式变换;弱紧性

40

|

1

|

0

<HTML>

<引用本文> <批量引用> 4845072 false

发布时间：2021-01-26

其他

《武汉大学学报（理学版）》2010-2014年评价指标分析
曹启花,谭辉
2016, 62(5): 488-494. DOI: 10.14188/j.16718836.2016.05.014

摘要：根据中国知网数据平台提供的《中国学术期刊影响因子年报》和《个刊影响力统计分析数据库》，选取《武汉大学学报（理学版）》2010－2014年的基金论文比、影响因子、即年指标，Web即年下载率等主要期刊评价指标，分析了该刊5年内各项指标的变化，并与国内同类期刊进行对比，以评价期刊的发展现状，探讨了每年度高被引频次论文的来源和学科分布，分析了期刊的优势和不足.结果表明，《武汉大学学报（理学版）》在2010－2014年5年期间：1）基金论文比为0.98，被引半衰期为7.4年，影响因子和学科排名持续改善，即年指标和Web即年下载率大幅提升；2）高被引频次论文主要来源于“985工程”高校，尤其是武汉大学计算机科学、生物学和化学学科的研究论文；3） “专辑、专栏、专题”与“数字出版”相结合的办刊思路是实现《武汉大学学报（理学版）》体制内专业化转型和影响力提升的有效途径.
关键词：评价指标;高校学报;影响因子;即年指标;被引半衰期

65

|

1

|

0

<HTML>

<引用本文> <批量引用> 4844715 false

发布时间：2021-01-26

加载中...

批量引用

⁰