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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于随机平滑的通用黑盒认证防御

引用

计算机学报 2024年第3期47卷 690-702页

作者：李瞧陈晶张子君何琨杜瑞颖汪欣欣空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院武汉430079 武汉大学日照信息研究院山东日照276800 武汉大学地球空间信息技术协同创新中心武汉430079

近年来,基于深度神经网络(DNNs)的图像分类模型在人脸识别、自动驾驶等关键领域得到了广泛应用,并展现出卓越的性能.然而,深度神经网络容易受到对抗样本攻击,从而导致模型错误分类.为此,提升模型自身的鲁棒性已成为一个主要的研究方向.... 详细信息

近年来,基于深度神经网络(DNNs)的图像分类模型在人脸识别、自动驾驶等关键领域得到了广泛应用,并展现出卓越的性能.然而,深度神经网络容易受到对抗样本攻击,从而导致模型错误分类.为此,提升模型自身的鲁棒性已成为一个主要的研究方向.目前大部分的防御方法,特别是经验防御方法,都基于白盒假设,即防御者拥有模型的详细信息,如模型架构和参数等.然而,模型所有者基于隐私保护的考虑不愿意共享模型信息.即使现有的黑盒假设的防御方法,也无法防御所有范数扰动的攻击,缺乏通用性.因此,本文提出了一种适用于黑盒模型的通用认证防御方法.具体而言,本文首先设计了一个基于查询的无数据替代模型生成方案,在无需模型的训练数据与结构等先验知识的情况下,利用查询和零阶优化生成高质量的替代模型,将认证防御场景转化为白盒,确保模型的隐私安全.其次,本文提出了基于白盒替代模型的随机平滑和噪声选择方法,构建了一个能够抵御任意范数扰动攻击的通用认证防御方案.本文通过分析比较原模型和替代模型在白盒认证防御上的性能,确保了替代模型的有效性.相较于现有方法,本文提出的通用黑盒认证防御方案在CIFAR10数据集上的效果取得了显著的提升.实验结果表明,本文方案可以保持与白盒认证防御方法相似的效果.与之前基于黑盒的认证防御方法相比,本文方案在实现了所有L p的认证防御的同时,认证准确率提升了20%以上.此外,本文方案还能有效保护原始模型的隐私,与原始模型相比,本文方案使成员推理攻击的成功率下降了5.48%.

关键词：深度神经网络认证防御随机平滑黑盒模型替代模型

来源：评论

学校读者我要写书评

暂无评论

一种基于约束的指针程序路径选择方法

引用

武汉大学学报（理学版） 2011年第5期57卷 389-393页

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

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程... 详细信息

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.

关键词：约束求解静态单指派指向分析路径选择测试用例生成

来源：评论

学校读者我要写书评

暂无评论

高密度LoRa网络优化方法研究

引用

计算机工程与科学 2023年第3期45卷 426-433页

作者：李超涂国庆空天信息安全与可信计算教育部重点实验室湖北武汉430040 武汉大学国家网络安全学院湖北武汉430040

在农业物联网中,LoRa技术被广泛采用。当网络覆盖范围较大时,标准的LoRaWAN协议会增加扩展因子SF,以增大通信距离。然而,由于SF内(指SF取值相同)和SF间(指SF取值不同)冲突的影响,限制了其节点密度,不适合大范围、高密度的部署场景。为... 详细信息

在农业物联网中,LoRa技术被广泛采用。当网络覆盖范围较大时,标准的LoRaWAN协议会增加扩展因子SF,以增大通信距离。然而,由于SF内(指SF取值相同)和SF间(指SF取值不同)冲突的影响,限制了其节点密度,不适合大范围、高密度的部署场景。为满足大范围和高密度部署要求,结合多跳路由方案和扩频因子分配方法对LoRa网络进行优化,以提高网络的节点容量和可靠性。仿真结果表明,通过使用所提出的方法,在基本节点数量大于10000个的LoRa网络内,仍可以获得80%以上的数据包交付率PDR,显著提高了大范围、高密度场景下LoRa网络的可靠性。

关键词： LoRa 扩频因子高密度多跳网络数据包交付率

来源：评论

学校读者我要写书评

暂无评论

基于密文检索的位置服务用户隐私保护方案

引用

计算机科学 2015年第4期42卷 101-105页

作者：刘树波李艳敏刘梦君武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430072

在基于位置服务系统中,为用户提供高质量服务的同时如何很好地保护用户的隐私(身份、行踪以及偏好等)仍然是一个挑战。针对这一挑战,提出了基于密文检索的位置服务用户隐私保护方案。在本方案中,位置服务提供商将其服务数据以及数据向... 详细信息

在基于位置服务系统中,为用户提供高质量服务的同时如何很好地保护用户的隐私(身份、行踪以及偏好等)仍然是一个挑战。针对这一挑战,提出了基于密文检索的位置服务用户隐私保护方案。在本方案中,位置服务提供商将其服务数据以及数据向量索引以密文的形式外包给云端,移动用户通过密文查询请求向云端查询所需服务,云端通过用户的查询以及服务数据索引计算出匹配度高的服务数据并返回给用户,整个交互过程都是以密文形式进行,云端以及外界得不到任何明文信息。本方案不依赖集中匿名器和用户协作,最后通过理论以及实验分析表明,本方案以低的计算开销有效地保护了用户的身份、位置以及查询偏好隐私。

关键词：基于位置服务隐私保护密文检索匹配度

来源：评论

学校读者我要写书评

暂无评论

基于循环神经网络的Web应用防火墙加固方案

引用

计算机工程 2022年第11期48卷 120-126页

作者：朱思猛杜瑞颖陈晶何琨武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学日照信息技术研究院山东日照276827

Web应用防火墙(WAF)基于一组规则检测和过滤进出Web应用程序的HTTP流量,鉴于恶意流量的复杂性,需要对WAF规则进行不断更新以抵御最新的攻击。然而,现有的WAF规则更新方法都需要专业知识来人工设计关于某种攻击的恶意测试流量,并针对该... 详细信息

Web应用防火墙(WAF)基于一组规则检测和过滤进出Web应用程序的HTTP流量,鉴于恶意流量的复杂性,需要对WAF规则进行不断更新以抵御最新的攻击。然而,现有的WAF规则更新方法都需要专业知识来人工设计关于某种攻击的恶意测试流量,并针对该恶意流量生成防护规则,这种方法十分耗时且不能扩展到其他类型的攻击。提出一种基于循环神经网络(RNN)的Web应用防火墙加固方案,在不依赖任何专业知识的情况下自动化加固WAF。使用RNN模型生成恶意攻击样本,从中找到能够绕过WAF的恶意攻击,发现WAF规则存在的安全风险。在此基础上,通过设计评分函数找到恶意攻击样本的重要字符串来生成加固签名,阻止后续类似的攻击,并设计简化的正则表达式作为加固签名的表达形式。在4款WAF上针对SQL注入、跨站脚本攻击和命令注入这3种攻击进行测试,结果显示,该方案成功生成了大量绕过WAF的恶意样本,WAF针对这些样本的平均拦截率仅为52%,与传统突变方案和SQLMap工具相比能够生成更多绕过恶意攻击,在应用加固签名后,WAF的恶意攻击拦截率提升至90%以上且误报率维持为0,表明加固签名成功阻止了这些绕过攻击,验证了所提方案的有效性。

关键词： Web应用防火墙循环神经网络 SQL注入跨站脚本命令注入

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

作者：赵磊张笑盈王丽娜郭迟武汉大学计算机学院湖北武汉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脆弱性,也说明网络流量行为的关联复杂性.

关键词：随机早期检测算法(RED) 网络流量攻击脆弱性分析分布式LDoS

来源：评论

学校读者我要写书评

暂无评论

可信计算中的可信度量机制

引用

北京工业大学学报 2010年第5期36卷 586-591页

作者：张立强张焕国张帆武汉大学软件工程国家重点实验室武汉430072 武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 杭州电子科技大学通信工程学院杭州310018

为了解决可信计算中完整性度量架构过于复杂、难以扩展以及没有体现行为可信的问题,在分析完整性度量机制的基础上,对可信的概念进行扩展,引入信任度量机制,依据可信度量的需求和目标,给出需求导向、多目标融合的度量对象树模型以及对... 详细信息

为了解决可信计算中完整性度量架构过于复杂、难以扩展以及没有体现行为可信的问题,在分析完整性度量机制的基础上,对可信的概念进行扩展,引入信任度量机制,依据可信度量的需求和目标,给出需求导向、多目标融合的度量对象树模型以及对应的可信度量模型,通过与完整性度量模型的分析对比,可信度量模型能给出综合性的可信评估结果,具有可灵活扩展的特点,更加符合可信度量的实际需求.

关键词：可信度量完整性度量可信计算

来源：评论

学校读者我要写书评

暂无评论

GF（2^n）^m上的线性正形置换

引用

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

作者：童言张焕国韩海清武汉大学计算机学院湖北武汉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置换线性正形置换

来源：评论

学校读者我要写书评

暂无评论

安全的非智能卡匿名口令认证方案

引用

通信学报 2008年第10期29卷 70-75页

作者：王邦菊张焕国王玉华武汉大学计算机学院空天信息安全及可信计算教育部重点实验室湖北武汉430072 华中农业大学理学院湖北武汉430070 河南工业大学信息科学与工程学院河南郑州450052

对Rhee-Kwon-Lee非智能卡(SC)口令认证方案进行安全分析发现,此方案易受内部攻击,不能实现口令自由更换,并且计算效率不高。基于此提出了一种新的基于散列函数的非SC匿名口令认证方案,新方案采用匿名身份与口令混淆,并结合时间戳来提高... 详细信息

对Rhee-Kwon-Lee非智能卡(SC)口令认证方案进行安全分析发现,此方案易受内部攻击,不能实现口令自由更换,并且计算效率不高。基于此提出了一种新的基于散列函数的非SC匿名口令认证方案,新方案采用匿名身份与口令混淆,并结合时间戳来提高安全性和计算效率。新方案弥补了Rhee-Kwon-Lee方案的安全缺陷。而且,与其他同类非SC方案相比较,新方案支持文中理想的非SC口令认证方案的所有安全需求,安全性能最好且计算量小。

关键词：口令口令认证散列函数攻击智能卡

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：