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

信息安全学报 2025年第1期10卷 1-16页

作者：杨毅吴凭飞邱朋飞王春露赵路坦张锋巍王博吕勇强王海霞汪东升北京邮电大学可信分布式计算与服务教育部重点实验室北京100867 清华大学计算机科学与技术系北京100084 中国科学院信息工程研究所北京100093 南方科技大学计算机科学与工程系深圳518055 飞腾信息技术有限公司天津300459 清华大学北京信息科学与技术国家研究中心北京100084 中关村实验室北京100094

隐蔽信道是一种在不违背计算机当前安全策略的前提下,在进程间传递信息的攻击方式。共两个进程参与到隐蔽信道的构建中:木马进程和间谍进程,具有高权限的木马进程通过隐蔽信道向低权限的间谍进程传递信息以完成攻击。隐蔽信道的传输介... 详细信息

隐蔽信道是一种在不违背计算机当前安全策略的前提下,在进程间传递信息的攻击方式。共两个进程参与到隐蔽信道的构建中:木马进程和间谍进程,具有高权限的木马进程通过隐蔽信道向低权限的间谍进程传递信息以完成攻击。隐蔽信道的传输介质种类很多,如时间、功耗、温度等。在现代处理器中,分支预测器作为重要的微架构组件,有效提高了处理器的流水线效率,但由于分支预测器在核内的多进程间共享,使得其存在被用于构建隐蔽信道的风险。目前Intel x86架构已被发现存在基于分支预测器的隐蔽信道攻击,但是Arm架构是否存在相似的攻击还没有得到充分的研究。本文中,我们成功在Arm架构的实际硬件平台上构建了三种基于分支预测器的隐蔽信道。首先我们在Arm架构下设计并实现了类似于x86架构下的基于分支预测器的隐蔽信道CC和RSC,其次我们发现了一个新的基于分支预测组件BTB的隐蔽信道BTBC。我们评估并分析了隐蔽信道参数对信道性能的影响及其成因,并给出参数设置建议。在Cortex-A53及Cortex-A72两种核心上,我们对三种隐蔽信道的信号特性、传输速率和误码率进行了测试和对比分析。实验表明在实际的Arm架构硬件平台下,BTBC的传输信号边缘清晰,震荡幅度小。在连续传输数据时表现出与CC和RSC近似的信道性能,并且在两种核心上均可以低误码率进行数据传输,其在200bps的传输速率下,仅有2%的误码率。最后我们还给出了对于此类隐蔽信道的防御措施。

关键词： Arm架构分支预测器隐蔽信道

来源：评论

学校读者我要写书评

暂无评论

对称密码量子电路的综合与优化研究综述

引用

中国科学:物理学、力学、天文学 2025年第4期55卷 16-29页

作者：林达高飞邹剑黄震宇孙思维孙兵国防科技大学理学院长沙410073 北京邮电大学网络与交换技术国家重点实验室北京100876 福州大学计算机与大数据学院福州350108 福州大学网络系统信息安全福建省高校重点实验室福州350108 中国科学院信息工程研究所网络空间安全防御重点实验室北京100085 中国科学院大学网络空间安全学院北京100049 中国科学院大学密码学院北京100049 密码科学技术全国重点实验室北京100878 国防科技大学密码研究中心长沙410073

随着量子技术的不断发展和量子计算机的逐步推进,现代密码面临的挑战愈加多元化.在分析密码算法抵抗量子攻击的安全性强度时,量子实现电路的构造是其中的重要一环.对称密码是现代密码的重要组成部分.本文综述了近年来在量子计算模型下... 详细信息

随着量子技术的不断发展和量子计算机的逐步推进,现代密码面临的挑战愈加多元化.在分析密码算法抵抗量子攻击的安全性强度时,量子实现电路的构造是其中的重要一环.对称密码是现代密码的重要组成部分.本文综述了近年来在量子计算模型下优化对称密码实现电路的研究成果.具体地,归纳了线性层、S盒以及各类加法操作等的可逆电路构造的相关研究,还总结了AES算法、SM4算法、Camellia算法等对称密码的量子实现研究.

关键词：量子技术量子实现对称密码

来源：评论

学校读者我要写书评

暂无评论

基于DCT和SVD的QR码数字水印算法

引用

红外与激光工程 2013年第S2期42卷 304-311页

作者：刘丽周亚建张斌袁开国丁海洋郭玉翠北京邮电大学信息安全中心北京100876 中国信息安全产品测评认证中心北京100876 北京邮电大学计算机学院北京100876 北京邮电大学理学院北京100876

以离散余弦变换(DCT)和矩阵奇异值分解(SVD)为基础,结合Quick Response(QR)码的高容量、高纠错特性,提出了一种适合QR码的强鲁棒性数字水印算法。首先,提取QR码图像中的寻像和分隔符图形,并进行高斯加噪模糊化处理,把得到的QR码灰度图... 详细信息

以离散余弦变换(DCT)和矩阵奇异值分解(SVD)为基础,结合Quick Response(QR)码的高容量、高纠错特性,提出了一种适合QR码的强鲁棒性数字水印算法。首先,提取QR码图像中的寻像和分隔符图形,并进行高斯加噪模糊化处理,把得到的QR码灰度图像作为载体图像,同时对水印图像进行Arnold置乱处理。然后,对载体图像进行8×8的分块DCT变换,取每块的直流系数得到矩阵A(64×64),对A进行SVD分解,并在A的奇异值处嵌入水印信息。实验结果表明:该算法在不影响QR码正确识别的基础上,不仅具有较好的不可见性,而且对如叠加高斯噪声、椒盐噪声、泊松噪声和中值滤波等攻击均具有很好的鲁棒性。

关键词： QR码 DCT SVD 数字水印

来源：评论

学校读者我要写书评

暂无评论

Android平台环境自适应安全机制

引用

清华大学学报（自然科学版） 2013年第12期53卷 1670-1675页

作者：梁洪亮董钰阳晓宇董国伟刘书昌北京邮电大学计算机学院北京100876 中国信息安全测评中心北京100085

该文提出了一种Android平台环境自适应的安全机制:EAdroid。该机制通过对Android系统内核层和框架层的改造,为用户提供了易用的安全策略的定制方式,使得Android系统框架层与内核层中的安全规则能够根据终端所处的环境上下文进行自适应... 详细信息

该文提出了一种Android平台环境自适应的安全机制:EAdroid。该机制通过对Android系统内核层和框架层的改造,为用户提供了易用的安全策略的定制方式,使得Android系统框架层与内核层中的安全规则能够根据终端所处的环境上下文进行自适应。测试表明:提出的环境自适应安全机制能够在较少的性能开销下有效地抵御恶意扣费、Root提权攻击,保护用户设备及信息的安全。

关键词： Android系统安全访问控制环境自适应

来源：评论

学校读者我要写书评

暂无评论

基于污点信息的函数内存模糊测试技术研究

引用

清华大学学报（自然科学版） 2016年第1期56卷 7-13页

作者：崔宝江王福维郭涛柳本金北京邮电大学计算机学院北京100876 中国信息安全测评中心北京100085

针对二进制程序文件处理漏洞的挖掘,目前业界主流自动化方案为基于文件变异的模糊测试,但该方法盲目性高、代码覆盖率低、效率低下。为研究具有高针对性的测试方法,该文讨论了一种新型的函数内存模糊测试技术。该技术利用动态污点分析... 详细信息

针对二进制程序文件处理漏洞的挖掘,目前业界主流自动化方案为基于文件变异的模糊测试,但该方法盲目性高、代码覆盖率低、效率低下。为研究具有高针对性的测试方法,该文讨论了一种新型的函数内存模糊测试技术。该技术利用动态污点分析的结果,获取目标程序中处理输入数据流的函数与指令。测试中基于二进制插桩,对上述函数构造循环执行结构,并针对内存中的污点数据进行变异。原型系统实验表明:该测试方法可有效用于栈溢出等漏洞类型的挖掘;相比传统模糊测试,消除了因数据盲目测试造成的执行路径中断瓶颈,且在执行效率上具有95%以上的提升。

关键词：软件测试模糊测试污点分析控制流劫持

来源：评论

学校读者我要写书评

暂无评论

并行化智能模糊测试

引用

清华大学学报（自然科学版） 2014年第1期54卷 14-19页

作者：梁洪亮阳晓宇董钰张普含刘书昌北京邮电大学计算机学院北京100876 中国信息安全测评中心北京100085

针对目前智能模糊测试技术中整体测试所需时间较长以及生成单个测试用例漏洞触发能力较弱的问题,该文提出了一种可用于并行化环境中的路径取反算法和一种加入随机数据的复合测试用例生成方式。该路径取反算法给每个测试用例赋予一个边... 详细信息

针对目前智能模糊测试技术中整体测试所需时间较长以及生成单个测试用例漏洞触发能力较弱的问题,该文提出了一种可用于并行化环境中的路径取反算法和一种加入随机数据的复合测试用例生成方式。该路径取反算法给每个测试用例赋予一个边界变量,利用该变量限定每个测试用例可进行取反操作的范围,同时在该范围中对多个条件进行取反。该复合测试用例生成方式借助传统模糊测试技术生成随机的漏洞触发数据,将该随机数据与混合符号执行生成用例相结合,从而生成复合化的测试用例。同时该文设计并实现了一个并行化智能模糊测试系统———谛听,并利用该系统对3个应用软件进行了测试,共生成测试用例203 602个,触发软件漏洞2个,其中一个为首次被发现的零日(0-Day)漏洞。理论分析与实验表明:该路径取反算法可有效应用于并行环境中,从而缩短整个测试所需时间并生成较多测试用例;同时该复合测试用例生成方式可有效提升测试用例漏洞触发能力。

关键词：软件安全漏洞挖掘智能模糊测试约束求解

来源：评论

学校读者我要写书评

暂无评论

Android运行时恶意行为检测模型研究

引用

北京邮电大学学报 2014年第3期37卷 58-61,88页

作者：董航李祺董枫彭勇徐国爱北京邮电大学计算机学院信息安全中心北京100876 中国信息安全测评中心北京100085

为实现Android应用程序恶意行为的有效分析,提出了基于HMMs-SVM的程序行为分类模型,将隐马尔可夫模型(HMM)和支持向量机(SVM)相结合,以动态行为序列作为关键特征,对移动应用软件运行中的网络收发、文件访问等行为建模.该模型融合了HMM和... 详细信息

为实现Android应用程序恶意行为的有效分析,提出了基于HMMs-SVM的程序行为分类模型,将隐马尔可夫模型(HMM)和支持向量机(SVM)相结合,以动态行为序列作为关键特征,对移动应用软件运行中的网络收发、文件访问等行为建模.该模型融合了HMM和SVM的优势,并克服了二者的不足,适合于在获取连续动态行为特征序列后进行行为分类.实验结果表明,该方法分析召回率较高,可以有效对应用中的异常行为进行捕捉,并可以将其按类型分类.

关键词：隐马尔可夫模型支持向量机恶意行为智能终端

来源：评论

学校读者我要写书评

暂无评论

基于符号执行提高缺陷分析的准确性研究

引用

北京理工大学学报 2020年第4期40卷 382-385,395页

作者：王眉林张旖旎李明月邵帅刘湿润中国信息安全测评中心北京100085 北京邮电大学计算机学院北京100876

静态分析是检测软件代码缺陷和提升软件代码质量的有效方式.由于静态分析不实际运行代码,不能获取足够的运行时信息,因此分析结果的准确性有待提高.相比而言,符号执行技术能够模拟执行程序并收集大量的数据流信息,提升数据流分析的准确... 详细信息

静态分析是检测软件代码缺陷和提升软件代码质量的有效方式.由于静态分析不实际运行代码,不能获取足够的运行时信息,因此分析结果的准确性有待提高.相比而言,符号执行技术能够模拟执行程序并收集大量的数据流信息,提升数据流分析的准确程度,弥补静态分析的不足.为了提高静态分析工具分析程序缺陷的准确性,本文设计并实现了一个代码缺陷检测工具ABAZER-SE,它基于GCC抽象语法树,综合采用符号执行与静态分析技术以检测源代码中的缺陷.使用Toyota ITC静态分析基准对该工具进行了评估,实验结果表明,本文方法及工具可以提高静态分析结果的准确性.

关键词：静态分析符号执行缺陷检测不可达路径

来源：评论

学校读者我要写书评

暂无评论

基于机器学习的Android应用组件暴露漏洞分析

引用

北京理工大学学报 2019年第9期39卷 974-977页

作者：邵帅王眉林陈冬青王婷姜鑫中国信息安全测评中心北京100085 北京邮电大学计算机学院北京100876

现阶段已有很多Android应用软件的自动化漏洞检测方法,针对现有漏洞检测方案仍然依赖于先验知识并且误报率较高的问题,本文研究了基于机器学习的Android应用软件组件暴露漏洞的分析方法.在对Android应用软件结构进行全方位分析的基础上... 详细信息

现阶段已有很多Android应用软件的自动化漏洞检测方法,针对现有漏洞检测方案仍然依赖于先验知识并且误报率较高的问题,本文研究了基于机器学习的Android应用软件组件暴露漏洞的分析方法.在对Android应用软件结构进行全方位分析的基础上,结合组件暴露漏洞模型,建立了相应的机器学习系统,并能够对Android漏洞特征进行提取、数据清理和向量化.结合人工分析与验证,建立了1 000个Android APK样本集,并通过训练实现了组件暴露漏洞的自动化识别,达到了90%以上的精确度.

关键词：机器学习组件暴露漏洞 Android应用

来源：评论

学校读者我要写书评

暂无评论

网络RAID存储系统边界性能研究

引用

计算机研究与发展 2005年第6期42卷 1039-1046页

作者：崔宝江刘军王刚刘璟北京邮电大学信息安全中心北京100876 南开大学计算机科学与技术系

目前针对网络存储系统性能的研究大都集中在定性研究方面,缺乏有效的定量分析方法和模型.在有限容量闭合排队网络理论的基础上,提出了网络RAID存储系统性能的定量分析模型.并提出了一种新的计算有限容量闭合排队网络系统边界性能的分析... 详细信息

目前针对网络存储系统性能的研究大都集中在定性研究方面,缺乏有效的定量分析方法和模型.在有限容量闭合排队网络理论的基础上,提出了网络RAID存储系统性能的定量分析模型.并提出了一种新的计算有限容量闭合排队网络系统边界性能的分析方法APBA法,和其他近似分析方法相比,APBA法的计算时间复杂度更低.测试结果表明,通过利用APBA方法,由网络RAID存储系统的性能定量分析模型获得的系统性能值,可以有效反映网络RAID存储系统在轻载区、重载区和过载区的性能边界,以及系统的最大负载量.

关键词：网络存储边界性能排队网络性能分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：