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

华中科技大学学报（自然科学版） 2010年第9期38卷 45-49页

作者：张国平樊兴唐明张欣雨武汉数字工程研究所湖北武汉430074 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

针对位置隐私保护问题,对基于位置的服务(LBS)的攻击及现有的保护方法进行了分析.提出了一种LBS位置隐私模型———群代理转发模型,其主要思想是切断终端用户身份信息与位置请求信息间的联系.为了进一步提高模型在实际应用中的成功率,... 详细信息

针对位置隐私保护问题,对基于位置的服务(LBS)的攻击及现有的保护方法进行了分析.提出了一种LBS位置隐私模型———群代理转发模型,其主要思想是切断终端用户身份信息与位置请求信息间的联系.为了进一步提高模型在实际应用中的成功率,在原有模型的基础上提出重叠群代理转发模型,从根本上阻止位置隐私的泄露.最后,对提出的模型进行了安全性分析.实验结果显示所提出的模型能以很高的概率适应实际应用的需求:当重合率为0,群规模下界为43时,可达到95.0%的平均成功率;重合率增大时,平均成功率有增大的趋势;当下界降低时,平均成功率也有明显的提高.

关键词：位置隐私隐私保护基于位置的服务轨迹隐私网络安全

来源：评论

学校读者我要写书评

暂无评论

一种基于DCT域的视频水印算法

引用

武汉理工大学学报 2009年第18期31卷 9-11,50页

作者：郑鹏刘敏忠空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430072

为了对现有的大量MPEG-2视频文件进行版权保护,需要一个能对现有视频进行快速水印嵌入,并且不影响视频图像质量的水印算法。根据这一目的,提出了一种基于MPEG-2压缩视频DCT域的有效视频水印算法。直接利用I-帧图像中的I型宏块的中频DCT... 详细信息

为了对现有的大量MPEG-2视频文件进行版权保护,需要一个能对现有视频进行快速水印嵌入,并且不影响视频图像质量的水印算法。根据这一目的,提出了一种基于MPEG-2压缩视频DCT域的有效视频水印算法。直接利用I-帧图像中的I型宏块的中频DCT系数进行水印嵌入,无须对压缩视频进行编码和解码,水印嵌入速度快,可实现水印的实时嵌入和提取。中频系数对人眼不太敏感,图像失真度小,同时选择中频系数也不会降低游程编码的性能。对MPEG-2视频进行了实验,实验结果表明方法非常有效。

关键词：水印 DCT系数 MPEG

来源：评论

学校读者我要写书评

暂无评论

ConvUCaps:基于卷积胶囊网络的医学图像分割模型

引用

计算机工程与应用 2024年第8期60卷 258-266页

作者：邓希泉陈刚武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学国家网络安全学院武汉430072

在医学影像分割领域,U-Net网络是目前最成功和最受关注的方法之一,但是U-Net本质上是一种经过改造的全卷积神经网络模型,要获得更为全面和准确的局部-整体关系,不但需要增加网络层次从而加大计算量,而且效果也并不明显。胶囊网络提供了... 详细信息

在医学影像分割领域,U-Net网络是目前最成功和最受关注的方法之一,但是U-Net本质上是一种经过改造的全卷积神经网络模型,要获得更为全面和准确的局部-整体关系,不但需要增加网络层次从而加大计算量,而且效果也并不明显。胶囊网络提供了一种有效的建模图像的局部与整体关系的方法,可以用更少的参数取得好的性能。但原始的胶囊网络并没有充分考虑图像局部特征的粒度问题,将其应用在医学图像分割领域还需进一步改造。因此,提出一种将U-Net和胶囊网络相结合的医学图像分割模型ConvUCaps。该模型对U-Net的编码器部分进行改进,使用卷积模块学习不同尺度的局部特征,然后通过胶囊模块学习高层特征,并建模局部与整体之间的关系。实验结果表明,相比U-Net、UNet++、SegCaps、Matwo-CapsNet网络,ConvUCaps提高了分割精度和收敛速度,同时,与单纯基于胶囊网络的分割模型相比,显著减少了推理时间。

关键词：医学图像分割卷积神经网络 U-Net网络胶囊网络

来源：评论

学校读者我要写书评

暂无评论

基于对象的软件行为模型

引用

软件学报 2011年第11期22卷 2716-2728页

作者：傅建明陶芬王丹张焕国空间信息安全与可信计算教育部重点实验室(武汉大学) 湖北武汉430072 武汉大学计算机学院湖北武汉430072 软件工程国家重点实验室(武汉大学) 湖北武汉430072

以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有... 详细信息

以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有系统对象表示,从而赋予状态的语义信息,解决了不同行为迹中PC(program counter)值的语义不相关问题;同时,该模型可以对抗系统调用参数的直接和间接修改,从而可以检测基于数据语义的攻击.最后,实现了基于SBO的软件异常检测原型工具(intrusion detection prototype system based on SBO,简称SBOIDS),其实验和分析结果表明,该模型可以有效地检测基于控制流的攻击、模仿攻击以及针对数据语义的攻击,并给出了该工具的性能开销.

关键词：入侵检测软件行为有限状态自动机系统对象系统调用

来源：评论

学校读者我要写书评

暂无评论

S-Tracker:基于栈异常的shellcode检测方法

引用

华中科技大学学报（自然科学版） 2014年第11期42卷 39-46页

作者：梁玉傅建明彭国军彭碧琛武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 中国证券登记结算有限责任公司广东深圳518031

根据shellcode的API函数及系统调用对栈帧的影响,定义了EBP异常、Ret异常和长度异常,并在此基础上提出了基于栈异常的shellcode检测方法——S-Tracker.该方法遍历特定敏感API函数的栈帧链、检测异常、定位漏洞函数和Shellcode代码,并采... 详细信息

根据shellcode的API函数及系统调用对栈帧的影响,定义了EBP异常、Ret异常和长度异常,并在此基础上提出了基于栈异常的shellcode检测方法——S-Tracker.该方法遍历特定敏感API函数的栈帧链、检测异常、定位漏洞函数和Shellcode代码,并采用栈帧重构解决了栈帧中的EBP缺失或破坏的问题.实验结果表明:S-Tracker能有效检测到基于普通shellcode、混合型shellcode以及纯ROP shellcode的攻击行为,具备追踪shellcode分布区域和EIP跳转函数的功能,且其性能开销较小、没有误报;与微软EMET工具相比,STracker在内核层实现,更加难以被攻击者绕过.

关键词：软件安全 shellcode检测栈帧遍历栈异常 ROP攻击

来源：评论

学校读者我要写书评

暂无评论

智能变电站通信业务优先级及其队列调度方法

引用

通信学报 2021年第7期42卷 25-40页

作者：李俊娥陆秋余刘剑袁凯田薇彭弼君空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学国家网络安全学院湖北武汉430072 武汉大学电气与自动化学院湖北武汉430072

电网的发展对智能变电站提出了全站一网的要求。为满足多种通信业务的不同服务质量(QoS)需求,并保证网络拥塞时关键业务的实时性与可靠性,提出了一种智能变电站业务优先级及其队列调度方法。综合考虑业务时延要求、业务对电网运行控制... 详细信息

电网的发展对智能变电站提出了全站一网的要求。为满足多种通信业务的不同服务质量(QoS)需求,并保证网络拥塞时关键业务的实时性与可靠性,提出了一种智能变电站业务优先级及其队列调度方法。综合考虑业务时延要求、业务对电网运行控制的重要度和业务流量大小3种因素,对站内通信业务进行了优先级划分;针对新的业务优先级,结合严格优先级队列(SPQ)算法和赤字加权轮询(DWRR)算法的优点,设计了分层级赤字加权轮询(HDWRR)队列调度算法。仿真结果表明,所提方法对恶意流量具有较好的隔离能力,在网络拥塞时仍能保证智能变电站关键业务的实时可靠传输。

关键词：智能变电站业务优先级队列调度服务质量

来源：评论

学校读者我要写书评

暂无评论

基于身份的群组密钥分发方案

引用

计算机研究与发展 2023年第10期60卷 2203-2217页

作者：王后珍秦婉颖刘芹余纯武沈志东武汉大学国家网络安全学院武汉430072 先进密码技术与系统安全四川省重点实验室(成都信息工程大学) 成都610054 空天信息安全与可信计算教育部重点实验室(武汉大学) 武汉430072 武汉大学计算机学院武汉430072

随着人们越来越倾向于使用即时通讯软件进行交流,保障群聊中消息的安全性成为一个亟需解决的问题.因此,基于国密SM9算法提出了一种基于身份的群组密钥分发方案,并进行了严格的安全性证明;提出的方案相较于Guo等人、Meng等人提出的方案... 详细信息

随着人们越来越倾向于使用即时通讯软件进行交流,保障群聊中消息的安全性成为一个亟需解决的问题.因此,基于国密SM9算法提出了一种基于身份的群组密钥分发方案,并进行了严格的安全性证明;提出的方案相较于Guo等人、Meng等人提出的方案在便捷性和兼容性上更具优势,同时,相较于Wu等人在欧密会上提出的非对称群组密钥协商协议也有群组密钥管理和兼容性方面的优势.此外,还给出了所提方案在即时通讯群聊及点对点通信场景下的应用示范,进一步证明了所提方案在通信开销和密钥管理方面要优于目前典型即时聊天软件中的安全群聊实现方法.

关键词：群组密钥分发基于身份的密码学即时通信安全群聊消息加密 SM9算法

来源：评论

学校读者我要写书评

暂无评论

盲环境下的数字图像可信性评估模型研究

引用

计算机学报 2009年第4期32卷 675-687页

作者：胡东辉王丽娜江夏秋武汉大学计算机学院武汉430079 合肥工业大学计算机与信息学院网络与信息安全研究所合肥230009 空天信息安全及可信计算教育部重点实验室武汉430072

随着各种数字图像处理软件和信息隐藏软件的涌现,数字图像正面临"信任危机".文中从可信的角度考虑数字图像的安全问题,提出盲环境下数字图像可信性评估的概念.文中提出了两类可信性评估模型:可信性判断模型和可信性度量模型.... 详细信息

随着各种数字图像处理软件和信息隐藏软件的涌现,数字图像正面临"信任危机".文中从可信的角度考虑数字图像的安全问题,提出盲环境下数字图像可信性评估的概念.文中提出了两类可信性评估模型:可信性判断模型和可信性度量模型.可信性判断模型在数字图像取证技术的基础上,围绕数字图像的不同生命阶段,判断数字图像是否可信.可信性度量模型分为可信性综合度量模型和可信性历史度量模型两种.文中设计了一种基于隐马尔可夫(HMM)的历史度量模型和一种基于模糊层次分析法的综合度量模型.在所设计模型的基础上,文中进一步研究了盲环境下数字图像可信性评估体系.文中最后通过实验结果验证了所提出的数字图像可信性综合度量模型的有效性.

关键词：数字图像评估模型可信性判断模型可信性历史度量模型可信性综合度量模型

来源：评论

学校读者我要写书评

暂无评论

可信计算动态验证优化建模

引用

武汉理工大学学报 2010年第20期32卷 169-173页

作者：余跃余发江孔亚楠武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072

目前的可信计算平台只验证应用程序的静态散列值,不能防止恶意代码对应用程序的动态攻击。提出了一个基于静态分析的可信计算动态验证行为建模方法,并且设计了一种修改后的Floyd查找算法,用于找出并删除FSA中所有的空循环路径,优化模型... 详细信息

目前的可信计算平台只验证应用程序的静态散列值,不能防止恶意代码对应用程序的动态攻击。提出了一个基于静态分析的可信计算动态验证行为建模方法,并且设计了一种修改后的Floyd查找算法,用于找出并删除FSA中所有的空循环路径,优化模型。经过实验证明,算法无论是在时间效率上,还是在空间复杂度上都优于目前常用的基于图论的算法。

关键词：可信计算动态验证行为建模空循环路径优化

来源：评论

学校读者我要写书评

暂无评论

微架构安全漏洞攻击技术综述

引用

密码学报(中英文) 2024年第6期11卷 1199-1232页

作者：王泉成唐明武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室武汉430072

随着研究人员发现越来越多存在信息泄漏的微架构优化设计,相关攻击技术与防御技术的研究也成为学术界和工业界研究的热点.本文从处理器微架构设计的角度出发,按照时间侧信道攻击、暂态攻击和隐蔽信道攻击的分类模式,系统性地归纳研究人... 详细信息

随着研究人员发现越来越多存在信息泄漏的微架构优化设计,相关攻击技术与防御技术的研究也成为学术界和工业界研究的热点.本文从处理器微架构设计的角度出发,按照时间侧信道攻击、暂态攻击和隐蔽信道攻击的分类模式,系统性地归纳研究人员已经发现的微架构安全漏洞的攻击技术,包括攻击分类、对应漏洞、攻击原理、受威胁的安全机制.然后,基于微架构攻击利用的微架构漏洞以及攻击原理,提出了一种用于分析处理器微架构的脆弱性的有向无环图模型.该模型将攻击流程中的操作与处理器微架构的共享资源相结合,并且对每类微架构攻击分别建模,从而可以更好地理解微架构攻击的根本原因和攻击原理.此外,还从漏洞验证、防护评估等多个角度分析了有向无环图模型的应用优势,并提出一种新型的微架构攻击与一种缓存时间侧信道防护策略.最后,从攻击和防御两个方向展望了处理器安全领域未来的研究方向和发展趋势.

关键词：处理器安全微架构设计侧信道攻击暂态攻击隐蔽信道攻击系统安全

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：