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

武汉大学学报（理学版） 2012年第6期58卷 483-487页

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

作为非线性度达到最优的布尔函数——Bent函数可应用于差集、组合论、序列设计密码学等诸多领域.Kumar等人从码分多址技术(CDMA)中相关性最优的序列设计角度将Bent函数的概念推广到奇特征有限域,提出了广义Bent函数.本文基于循环矩阵秩... 详细信息

作为非线性度达到最优的布尔函数——Bent函数可应用于差集、组合论、序列设计密码学等诸多领域.Kumar等人从码分多址技术(CDMA)中相关性最优的序列设计角度将Bent函数的概念推广到奇特征有限域,提出了广义Bent函数.本文基于循环矩阵秩的计算,研究了基于二次型构造的p-元函数是广义Bent函数的充分必要条件,并给出了一类新的广义Bent函数.

关键词： Bent函数广义Bent函数离散傅里叶变换循环矩阵

来源：评论

学校读者我要写书评

暂无评论

一种以用户为中心的移动互联网身份管理及认证系统

引用

山东大学学报（理学版） 2012年第11期47卷 12-17页

作者：王鹃何琪严飞蒋万伟杨明王妍武汉大学计算机学院湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072

在对目前以用户为中心的身份管理机制及技术的研究基础上,提出了一种以用户为中心的移动互联网身份认证系统ID-Vcard,并基于Android平台实现了该系统。ID-Vcard系统中的用户通过虚拟卡的形式管理和使用自己的身份信息,在身份认证过程中... 详细信息

在对目前以用户为中心的身份管理机制及技术的研究基础上,提出了一种以用户为中心的移动互联网身份认证系统ID-Vcard,并基于Android平台实现了该系统。ID-Vcard系统中的用户通过虚拟卡的形式管理和使用自己的身份信息,在身份认证过程中,通过用户及IdP的数字证书在Web站点进行身份认证。该系统在移动平台上具有良好的可用性,减少并尽量消除了目前互联网身份认证对用户名/密码方式的依赖。

关键词：用户身份认证虚拟卡移动平台

来源：评论

学校读者我要写书评

暂无评论

演化密码对抗多重线性密码分析能力的研究

引用

中国科学：信息科学 2012年第5期42卷 603-616页

作者：张焕国李春雷唐明武汉大学计算机学院武汉430072 空天信息安全与可信计算教育部重点实验室武汉430072

演化密码是我国学者提出的一种新型密码.文中对演化密码对抗多重线性密码分析的能力进行研究,研究表明演化密码对抗多重线性攻击方面的能力高于普通固定算法密码.文中介绍了基于对数似然比(LLR)统计方法的两种多重线性密码分析方法,这... 详细信息

演化密码是我国学者提出的一种新型密码.文中对演化密码对抗多重线性密码分析的能力进行研究,研究表明演化密码对抗多重线性攻击方面的能力高于普通固定算法密码.文中介绍了基于对数似然比(LLR)统计方法的两种多重线性密码分析方法,这两种方法利用多个线性逼近式分别扩展了Matsui最初提出的线性攻击算法1和算法2.在考察这两种算法的数据复杂度N、比特优势a,以及预期成功率PS三者关系的基础上,证明了在比特优势和预期成功率相同的条件下,攻击演化密码的数据复杂度大于攻击固定算法密码的数据复杂度,并论述了在数据复杂度N相同的情况下,攻击演化密码的时间复杂度和空间复杂度都明显高于攻击固定算法密码的情形.这表明演化密码在对抗多重线性攻击方面的安全性高于固定算法密码.

关键词：信息安全密码学演化密码密码分析多重线性密码分析

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

分布式入侵检测系统的能耗优化模型研究

分布式入侵检测系统的能耗优化模型研究

引用

第一届中国互联网学术会议

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

分布式检测系统(DIDS)已经成为保障网络安全极为重要的研究课题之一,但是DIDS在各个安全性分析组件都需要计算的同时会导致互联网的能耗增长,因此,基于绿色网络的观点,需综合性考虑DIDS策略与网络能耗的关系。本文通过建立DIDS能耗分析... 详细信息

分布式检测系统(DIDS)已经成为保障网络安全极为重要的研究课题之一,但是DIDS在各个安全性分析组件都需要计算的同时会导致互联网的能耗增长,因此,基于绿色网络的观点,需综合性考虑DIDS策略与网络能耗的关系。本文通过建立DIDS能耗分析模型对DIDS的集中式和基于TIFIPS协议的循环链路关闭两种应用策略进行能耗分析,并根据分析结果提出基于DIDS的动态适应性策略模型(DASM),并给出关键算法描述。仿真实验表明,DASM可以实现在不改变网络安全性的同时对网络进行能耗优化的目的。

关键词：分布式入侵检测系统绿色网络动态适应性策略模型安全性能耗优化

来源：评论

学校读者我要写书评

暂无评论

一类广义Bent函数的构造

一类广义Bent函数的构造

引用

第六届中国可信计算与信息安全学术会议

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

关键词：广义布尔函数离散傅里叶变换循环矩阵秩奇特征有限域

来源：评论

学校读者我要写书评

暂无评论

基于无干扰理论的并发程序隐私性分析模型研究

基于无干扰理论的并发程序隐私性分析模型研究

引用

第六届中国可信计算与信息安全学术会议

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

基于无干扰理论和Hoare公理方法,针对并发进程中不可信代码带来的信息泄露问题,提出一种隐私性分析模型CPNIAM,一方面把并发程序功能正确性证明分化为对程序中所有并发进程的形式化验证,以达到复杂程序简单化证明的目的;另一方面,可以... 详细信息

基于无干扰理论和Hoare公理方法,针对并发进程中不可信代码带来的信息泄露问题,提出一种隐私性分析模型CPNIAM,一方面把并发程序功能正确性证明分化为对程序中所有并发进程的形式化验证,以达到复杂程序简单化证明的目的;另一方面,可以在进程的功能正确性验证的基础上进行并发进程间的无干扰性分析.实例分析表明,相对于传统的无干扰模型,本文提出的模型可以在程序设计及实现阶段的形式化验证过程中,对由不可信代码导致的进程间隐私泄露问题进行分析,分析结果可指导程序设计者用于不可信代码定位和修改.

关键词：数据安全隐私保护无干扰理论并发程序隐私性分析模型

来源：评论

学校读者我要写书评

暂无评论

基于PUF技术的硬件木马检测设计

基于PUF技术的硬件木马检测设计

引用

中国密码学会2012年会

作者：杨建康唐明马啸陈彦昊孙伟晋邱镇龙武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072

硬件木马对现有硬件集成电路设计已构成严重威胁.随着集成电路的不断发展硬件木马的检测技术已成为学术界和工业界的高度重视.我们以PUF技术为核心,设计硬件木马检测模块,主要包含延迟器和环形振荡器,其中延迟器可以根据电路结构产生不... 详细信息

硬件木马对现有硬件集成电路设计已构成严重威胁.随着集成电路的不断发展硬件木马的检测技术已成为学术界和工业界的高度重视.我们以PUF技术为核心,设计硬件木马检测模块,主要包含延迟器和环形振荡器,其中延迟器可以根据电路结构产生不同的延迟,环形振荡器以特征值的形式反应延迟器延迟的效果,电路的物理结构的稍稍改变均会引起检测模块特征值的变化.硬件木马检测模块利用PUF技术的不可复制以及物理依赖的特性来检测硬件木马有两点优势,一可以防止伪造检测信息,二检测的木马范围更阔.在实验中,我们发现只要硬件木马对实际电路有略微的变动都会被检测到,其灵敏性和准确性都很高.

关键词：集成电路硬件木马检测方法 PUF技术

来源：评论

学校读者我要写书评

暂无评论

一种组件加载漏洞的动态检测方法

一种组件加载漏洞的动态检测方法

引用

第五届信息安全漏洞分析与风险评估大会

作者：傅建明彭碧琛杜浩武汉大学计算机学院湖北武汉 430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉 430072 武汉大学软件工程国家重点实验室湖北武汉 430072 武汉大学计算机学院湖北武汉 430072

DLL(Dynamic I_ink Library,后面简称组件)是操作系统和应用程序实现功能重用、功能更新的基本模块.在组件加载时,相对路径的搜索行为和全路径组件的缺失会产生Dl_I_组件被本地或者远程劫持攻击的威胁.为此,根据路径搜索行为,提出一种... 详细信息

DLL(Dynamic I_ink Library,后面简称组件)是操作系统和应用程序实现功能重用、功能更新的基本模块.在组件加载时,相对路径的搜索行为和全路径组件的缺失会产生Dl_I_组件被本地或者远程劫持攻击的威胁.为此,根据路径搜索行为,提出一种组件加载漏洞的动态检测方法.该方法结合组件加载的上下文信息,实现了监测点的最小化,从而满足在线部署的需求.实验结果表明该方法检测的漏洞数明显高于动态插桩的分析方法,且性能开销较小.

关键词：计算机软件软件漏洞组件加载动态检测

来源：评论

学校读者我要写书评

暂无评论

嵌入式系统可信平台模块研究

引用

计算机研究与发展 2011年第7期48卷 1269-1278页

作者：张焕国李晶潘丹铃赵波武汉大学计算机学院武汉430072 空天信息安全与可信计算教育部重点实验室武汉大学武汉430072

如何有效增强嵌入式系统的安全性是信息安全领域研究的热点和难点之一.相关研究表明,可信平台模块对于有效提高信息系统的安全性十分重要.然而,现有的可信平台模块是为个人计算机设计的,并不能满足嵌入式系统特有的应用需求.针对上述问... 详细信息

如何有效增强嵌入式系统的安全性是信息安全领域研究的热点和难点之一.相关研究表明,可信平台模块对于有效提高信息系统的安全性十分重要.然而,现有的可信平台模块是为个人计算机设计的,并不能满足嵌入式系统特有的应用需求.针对上述问题,设计了一种适应嵌入式环境的新型嵌入式可信平台模块(embedded trusted platform module,ETPM).作为嵌入式可信平台模块的重要组成部分,总线仲裁提高了ETPM的控制能力,增强了嵌入式系统的安全性;对称密码引擎提高了嵌入式系统的对称密码运算效率;系统备份恢复增强了嵌入式系统的可靠性.除此之外,ETPM还能够支持嵌入式平台的星型信任度量模型.这一设计已经在可信PDA中进行了实验验证,实验表明嵌入式可信平台模块是实用、高效、可靠、安全的.

关键词：信息安全可信计算嵌入式系统可信平台模块嵌入式系统可信平台模块

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：