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

小型微型计算机系统 2009年第10期30卷 2090-2095页

作者：王丽娜熊琦苏克青王德军武汉大学计算机学院湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072 中南民族大学计算机学院湖北武汉430074

存储系统的可生存性至关重要,但目前存储安全的研究主要还集中在容灾和备份上,缺乏对其可生存性的研究.本文着重在iSCSI协议基础上进行存储系统的可生存性研究,设计并实现了基于iSCSI协议可生存性存储系统的原型系统,该系统是面向网络... 详细信息

存储系统的可生存性至关重要,但目前存储安全的研究主要还集中在容灾和备份上,缺乏对其可生存性的研究.本文着重在iSCSI协议基础上进行存储系统的可生存性研究,设计并实现了基于iSCSI协议可生存性存储系统的原型系统,该系统是面向网络的集中式安全存储系统.本系统的可生存性主要通过对客户端数据进行实时版本存储和版本数据的虚拟恢复来实现.系统在数据块级实时捕获客户端数据的变化,并对每次变化加入版本信息,在虚拟恢复时,系统根据要恢复的版本时间来定位相对应的数据块版本.

关键词： iSCSI 可生存性地址映射虚拟恢复

来源：评论

学校读者我要写书评

暂无评论

基于文件过滤驱动的连续数据捕获技术及其容灾应用研究

引用

小型微型计算机系统 2011年第3期32卷 477-482页

作者：王丽娜熊琦王德军何征潘腾飞武汉大学计算机学院湖北武汉430079 空天信息安全与可信计算教育部重点实验室湖北武汉430079 中南民族大学计算机学院湖北武汉430074

根据数据容灾技术的发展趋势,结合连续数据保护的具体目标和现有数据捕获技术的优缺点,提出一种基于文件过滤驱动的连续数据捕获方法,描述了连续数据捕获的实现流程,并详细阐述了在连续数据捕获中所涉及的IRP截获技术、内核数据传输技术... 详细信息

根据数据容灾技术的发展趋势,结合连续数据保护的具体目标和现有数据捕获技术的优缺点,提出一种基于文件过滤驱动的连续数据捕获方法,描述了连续数据捕获的实现流程,并详细阐述了在连续数据捕获中所涉及的IRP截获技术、内核数据传输技术,最后使用该方法构建了一个面向业务连续性的安全容灾备份软件并给出了相关测试结果.与连续快照和API原语劫持相比,该方法具有数据捕获效率高、无数据遗漏、代价较低、对上层应用影响小的特点.

关键词：连续数据捕获 Windows驱动模型内核数据传输文件过滤驱动

来源：评论

学校读者我要写书评

暂无评论

基于扩展LS^2的VMM动态度量形式化分析

引用

山东大学学报（理学版） 2014年第9期49卷 1-8,23页

作者：纪祥敏赵波向騻夏忠林武汉大学计算机学院湖北武汉430072 福建农林大学计算机与信息学院福建福州350002 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

虚拟机监控器(virtual machine monitor,VMM)动态度量是保障虚拟化环境安全的重要手段,但是目前VMM动态度量正确性缺乏理论分析。基于VMM动态度量流程,确立了动态度量正确性目标,明确了定义动态度量应满足的重要属性,从操作语法、语义... 详细信息

虚拟机监控器(virtual machine monitor,VMM)动态度量是保障虚拟化环境安全的重要手段,但是目前VMM动态度量正确性缺乏理论分析。基于VMM动态度量流程,确立了动态度量正确性目标,明确了定义动态度量应满足的重要属性,从操作语法、语义及推理规则方面扩展安全系统逻辑(logic of secure systems,LS2),据此推导动态度量程序的不变性,验证VMM动态完整性度量应满足的正确性。结论分析表明,应用本文扩展的LS2方法分析得出的动态度量结论与该技术实际应用效果一致,说明扩展的LS2方法有效,可为虚拟化环境安全提供理论参考。

关键词：虚拟机监控器动态度量安全系统逻辑

来源：评论

学校读者我要写书评

暂无评论

基于奇异值分解的Contourlet域稳健性数字水印算法

引用

计算机应用研究 2012年第4期29卷 1402-1404,1408页

作者：张飞艳全桓立林立宇秦前清武汉大学电子信息学院武汉430079 武汉大学计算机学院"空天信息安全与可信计算"教育部重点实验室(B类) 武汉430079 武汉大学测绘遥感信息工程国家重点实验室武汉430079

提出了一种基于奇异值分解的Contourlet域数字水印算法。对置乱后的水印图像进行奇异值分解,在Contourlet域中选取合适的方向子带,利用得到的奇异值来调制系数矩阵,然后通过逆变换获取嵌入水印后的图像。在水印提取中只需要保存原始图... 详细信息

提出了一种基于奇异值分解的Contourlet域数字水印算法。对置乱后的水印图像进行奇异值分解,在Contourlet域中选取合适的方向子带,利用得到的奇异值来调制系数矩阵,然后通过逆变换获取嵌入水印后的图像。在水印提取中只需要保存原始图像的奇异值,实现了水印的近似盲提取。最后,进行了一系列的攻击实验,证明了与传统小波域水印算法相比,该算法的不可见性和鲁棒性都有了较大的提高。

关键词：数字水印 Contourlet变换奇异值分解不可见性鲁棒性

来源：评论

学校读者我要写书评

暂无评论

基于软件指令定位的新型高阶侧信道分析方法

引用

计算机学报 2019年第5期42卷 929-941页

作者：郭志鹏唐明胡晓波李煜光彭国军张焕国武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室武汉430072 巴黎高科国立高等电信学校法国巴黎75634 北京智芯微电子科技有限公司电力芯片设计分析国家电网公司重点实验室北京100080

现有的大多数高阶掩码方案都采用了软件实现方式,这样可以防止硬件电路毛刺产生的安全泄漏,同时不会受到硬件平台资源不足的限制.在目前针对高阶掩码方案的多种分析方法中,高阶侧信道分析是最有效的分析方法之一.即使是满足理论安全性... 详细信息

现有的大多数高阶掩码方案都采用了软件实现方式,这样可以防止硬件电路毛刺产生的安全泄漏,同时不会受到硬件平台资源不足的限制.在目前针对高阶掩码方案的多种分析方法中,高阶侧信道分析是最有效的分析方法之一.即使是满足理论安全性的高阶掩码方案,高于理论安全阶数的高阶侧信道分析依然可以对其进行攻击.然而,当掩码方案的阶数很高时,由于高阶分析的时间复杂度和数据复杂度非常高,这使得高阶分析方法难以成功实施.在该文中,作者基于指令识别提出了一种特征点选取方法,称作指令定位特征点选择方法(Instruction Recognition-based Points of Interest Selection,IR-PoIS).通过定位与敏感信息相关的指令,IR-PoIS方法可以确定高阶掩码方案中每个秘密共享因子对应功耗出现的具体位置,从而降低后续高阶分析方法的时间复杂度.对于一个有n个秘密共享因子的高阶掩码方案,IR-PoIS方法可以将高阶分析方法的时间复杂度水平从功耗曲线点数的n次方降低到线性水平,大大提高了高阶分析方法的效率.并且由于目标CPU的指令集是已知的,攻击者可以事先对敏感指令进行建模.在SASEBO-W开发板上的实验中,作者对LDD指令进行了定位.实验结果表明,只需十条左右的功耗曲线,IR-PoIS的定位成功率就可以达到100%.这表明IR-PoIS方法是一种非常高效的特征点选择方法.在此基础上,该文成功地攻击了三阶Coron14掩码方案的软件实现,验证了基于IR-PoIS的高阶侧信道分析方法的有效性.

关键词：侧信道分析高阶分析高阶掩码方案指令识别软件实现

来源：评论

学校读者我要写书评

暂无评论

广域实时精密定位的数据服务系统设计与验证

引用

小型微型计算机系统 2015年第1期36卷 27-32页

作者：董红波郭迟崔竞松楼益栋武汉大学卫星导航定位技术研究中心武汉430079 武汉大学软件工程国家重点实验室武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072

广域实时精密定位技术为移动互联网、物联网的发展提供了重要的时空基准.主要介绍广域精密定位的增强电文服务系统的相关框架与核心算法:1)设计了时空自适应的低冗余增强电文编码和传输协议,对卫星轨道钟差改正数采用有效位截取的压缩算... 详细信息

广域实时精密定位技术为移动互联网、物联网的发展提供了重要的时空基准.主要介绍广域精密定位的增强电文服务系统的相关框架与核心算法:1)设计了时空自适应的低冗余增强电文编码和传输协议,对卫星轨道钟差改正数采用有效位截取的压缩算法,对电离层改正数据采用时空自适应的格网分层离散化方法进行播发;2)设计了基于虚拟化弹性调度的多级数据播发机制,通过资源的动态分配和弹性扩展算法提高系统可靠性;3)通过一系列城市环境下车联网精准定位实验,验证系统的服务质量,分析了网络信号、地理环境、通视条件等众多因素对精密定位的影响.

关键词：北斗卫星导航广域实时精密定位大数据服务汽车物联网

来源：评论

学校读者我要写书评

暂无评论

一种形式化的可信平台模块应用编程接口安全性分析方法

引用

武汉大学学报（理学版） 2010年第4期56卷 446-450页

作者：杨飏张焕国张帆徐士伟武汉大学计算机学院湖北武汉430072 武汉大学软件工程国家重点实验室湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072

针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证... 详细信息

针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证明的推理方法,在该方法中还集成了可执行状态判决机制,在一定程度上缓解了状态空间爆炸的问题.实验结果表明,可信平台模块密钥迁移功能的设计存在一定安全缺陷.

关键词：可信平台模块安全性分析应用编程接口一阶逻辑

来源：评论

学校读者我要写书评

暂无评论

面向工业生产的中文Text-to-SQL模型

引用

计算机应用 2022年第10期42卷 2996-3002页

作者：吕剑清王先兵陈刚张华王明刚空天信息安全与可信计算教育部重点实验室(武汉大学) 武汉430072 武汉大学计算机学院武汉430072 遵义铝业股份有限公司贵州遵义563100

英文自然语言查询转SQL语句(Text-to-SQL)任务的模型迁移到中文工业Text-to-SQL任务时,由于工业数据集的可解释差且比较分散,会出现数据库的表名列名等信息与问句中关键信息的表示形式不一致以及问句中的列名隐含在语义中等问题导致模... 详细信息

英文自然语言查询转SQL语句(Text-to-SQL)任务的模型迁移到中文工业Text-to-SQL任务时,由于工业数据集的可解释差且比较分散,会出现数据库的表名列名等信息与问句中关键信息的表示形式不一致以及问句中的列名隐含在语义中等问题导致模型精确匹配率变低。针对迁移过程中出现的问题,提出了对应的解决方法并构建修改后的模型。首先,在数据使用过程中融入工厂元数据信息以解决表示形式不一致以及列名隐含在语义中的问题;然后,根据中文语言表达方式的特性,使用基于相对位置的自注意力模型直接通过问句以及数据库模式信息识别出where子句的value值;最后,根据工业问句查询内容的特性,使用微调后的基于变换器的双向编码器表示技术(BERT)对问句进行分类以提高模型对SQL语句结构预测的准确率。构建了一个基于铝冶炼行业的工业数据集,并在该数据集上进行实验验证。结果表明所提模型在工业测试集上的精确匹配率为74.2%,对比英文数据集Spider上各阶段主流模型的效果后可以看出,所提模型能有效处理中文工业Text-to-SQL任务。

关键词：中文Text-to-SQL任务工业数据集元数据自注意力模型基于变换器的双向编码器表示技术

来源：评论

学校读者我要写书评

暂无评论

基于时空主题模型的微博主题提取

引用

武汉大学学报（信息科学版） 2014年第2期39卷 210-213,243页

作者：段炼呙维朱欣焰胡宝清武汉大学测绘遥感信息工程国家重点实验室湖北武汉430079 广西师范学院北部湾环境演变与资源利用教育部重点实验室广西南宁530001 广西师范学院资源环境科学学院广西南宁530001 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430079

已有地理主题模型没有考虑不同区域对微博主题影响程度的差异性,同时他们将时间要素离散化,难以得到连续时间上的微博主题强度。提出了一种顾及连续时间及区域影响力因素的时空主题模型。该方法将城市划分为多个区域,依据各兴趣点类型... 详细信息

已有地理主题模型没有考虑不同区域对微博主题影响程度的差异性,同时他们将时间要素离散化,难以得到连续时间上的微博主题强度。提出了一种顾及连续时间及区域影响力因素的时空主题模型。该方法将城市划分为多个区域,依据各兴趣点类型及数量对区域赋予权重以表达区域社会功能对微博主题的影响程度,基于稀疏增量式生成模型表达微博主题分布,利用Beta分布描述主题在连续时间中的强度,最终通过Gibbs采样得到时空主题模型各参数。实验表明,本文方法能发现连续时间上微博主题的演变,与已有地理主题模型相比,能更加准确地提取微博主题。

关键词：地理主题模型微博主题挖掘时空分布时空推理中图法

来源：评论

学校读者我要写书评

暂无评论

全息位置地图概念内涵及其关键技术初探

引用

武汉大学学报（信息科学版） 2015年第3期40卷 285-295页

作者：朱欣焰周成虎呙维胡涛刘洪强高文秀武汉大学测绘遥感信息工程国家重点实验室湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 深圳大学建筑与城市规划学院广东深圳518060

针对在泛在信息与大数据时代下,传统数字地图存在的局限性与面临的挑战,本文在原有概念基础上,拓展了全息位置地图概念内涵,即在泛在网环境下,以位置为纽带动态关联事物或事件的多时态(multitemporal)、多主题(multi-thematic)、多层次(... 详细信息

针对在泛在信息与大数据时代下,传统数字地图存在的局限性与面临的挑战,本文在原有概念基础上,拓展了全息位置地图概念内涵,即在泛在网环境下,以位置为纽带动态关联事物或事件的多时态(multitemporal)、多主题(multi-thematic)、多层次(multi-hierarchical)、多粒度(multi-granular)的信息,提供个性化的位置及与位置相关的智能服务平台;基于上述内涵,本文阐述了全息位置地图的重要组成与特征,并就泛在信息获取、语义位置关联和多维动态场景构建与表达等3个方面的关键技术进行了探讨。

关键词：泛在信息语义位置位置关联多维动态场景室内外一体化智能化服务

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：