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

中国科学：信息科学 2010年第2期40卷 139-166页

作者：沈昌祥张焕国王怀民王戟赵波严飞余发江张立强徐明迪北京工业大学北京100124 武汉大学计算机学院空天信息安全与可信计算教育部重点实验室武汉430072 国防科技大学计算机学院长沙430074

可信计算是一种信息系统安全新技术,它已经成为国际信息安全领域的一个新热潮,并且取得了令人鼓舞的成绩.我国在可信计算领域起步不晚、水平不低、成果可喜.我国已经站在国际可信计算的前列.文中综合论述近年来可信计算理论与技术的一... 详细信息

可信计算是一种信息系统安全新技术,它已经成为国际信息安全领域的一个新热潮,并且取得了令人鼓舞的成绩.我国在可信计算领域起步不晚、水平不低、成果可喜.我国已经站在国际可信计算的前列.文中综合论述近年来可信计算理论与技术的一些新发展,特别是介绍我国可信计算的一些新发展,并对目前可信计算领域存在的一些问题和今后发展提出了自己的看法和观点.

关键词：信息安全可信计算可信计算平台可信软件可信网络连接

来源：评论

学校读者我要写书评

暂无评论

一种新的加噪扰动算法及其对SFLASH签名方案安全性的增强

引用

中国科学：信息科学 2010年第3期40卷 393-402页

作者：王后珍张焕国管海明韩海清武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430079 中国电子设备系统工程公司通信研究所北京100039

本文引入了噪声因子、加噪运算的概念,构造了噪声群,并由此提出了一种新的加噪扰动算法,用于增强多变元公钥密码体制(MPKCs)的安全性.由Matsumoto-Imai体制演变而来的欧洲信息安全标准SFLASH,是专为适用于智能卡而设计的一种快速数字签... 详细信息

本文引入了噪声因子、加噪运算的概念,构造了噪声群,并由此提出了一种新的加噪扰动算法,用于增强多变元公钥密码体制(MPKCs)的安全性.由Matsumoto-Imai体制演变而来的欧洲信息安全标准SFLASH,是专为适用于智能卡而设计的一种快速数字签名算法.2007年Dubois等利用差分分析法攻破了SFLASH算法.文中重点以Matsumoto-Imai体制为例,通过安全性分析,这种新的加噪扰动算法能破坏其公钥函数潜在的数学特性,在不降低算法效率的前提下,可有效抵抗差分攻击,增加其安全性.

关键词： SFLASH 噪声因子加噪运算噪声群

来源：评论

学校读者我要写书评

暂无评论

基于模型检测的可信软件栈测试

引用

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

作者：何凡张焕国严飞杨飏汪红孟学军武汉大学计算机学院湖北武汉430072 武汉理工大学计算机科学与技术学院湖北武汉430063 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 湖北省政府采购中心湖北武汉430072 武汉大学网络中心湖北武汉430072

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中... 详细信息

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.

关键词：可信计算平台可信软件栈模型检测计算树逻辑一致性测试

来源：评论

学校读者我要写书评

暂无评论

基于可信度的信号博弈授权模型研究

引用

电脑知识与技术 2010年第9期6卷 6987-6989,6994页

作者：赵波袁伟龚凤娇武汉大学计算机学院空天信息安全与可信计算教育部重点实验室湖北武汉430072

基于用户行为的动态授权模型是一种提高网络安全比较好的方法，但是在获取和处理用户行为时，通过历史知识进行预测用户的行为或者用户的攻击行为真实发生后．再对用户的授权进行调整的方法存在着无法预先地、主动地调整和保护的问题。... 详细信息

基于用户行为的动态授权模型是一种提高网络安全比较好的方法，但是在获取和处理用户行为时，通过历史知识进行预测用户的行为或者用户的攻击行为真实发生后．再对用户的授权进行调整的方法存在着无法预先地、主动地调整和保护的问题。该文提出了一种基于可信度的信号博弈授权模型，使得授权更加准确、科学．提高网络安全。最后通过实验表明该模型能够合理调整授权，确保授权符合网络安全情况。

关键词： C\S模型可信度信号博弈网络安全

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2010年全国理论计算机科学学术年会

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

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

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

关键词：可信计算平台动态验证空循环路径优化模型空间复杂度

来源：评论

学校读者我要写书评

暂无评论

基于中国邮递员问题的可信平台模块测试序列生成优化研究

基于中国邮递员问题的可信平台模块测试序列生成优化研究

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

关键词：随机早期检测算法网络流量攻击脆弱性分析慢速拒绝服务攻击

来源：评论

学校读者我要写书评

暂无评论

基于演化计算的组合模型序列密码分析

基于演化计算的组合模型序列密码分析

引用

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

作者：陈联俊赵云唐明张焕国武汉大学计算机学院湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

给出了一种利用演化计算对组合模型序列密码体制进行分析的方法.实验表明,用该演化计算方法对Geefe发生器和门限发生器进行分析时,算法复杂度比穷举法的复杂度低;该演化计算方法用于组合模型序列密码的分别征服攻击时,效率明显提高.因... 详细信息

给出了一种利用演化计算对组合模型序列密码体制进行分析的方法.实验表明,用该演化计算方法对Geefe发生器和门限发生器进行分析时,算法复杂度比穷举法的复杂度低;该演化计算方法用于组合模型序列密码的分别征服攻击时,效率明显提高.因此演化计算分析方法是一种有效的序列密码分析方法.

关键词：序列密码密码分析演化计算分析方法

来源：评论

学校读者我要写书评

暂无评论

GF(2n)m上的线性正形置换

GF(2n)m上的线性正形置换

引用

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

作者：童言张焕国韩海清武汉大学计算机学院湖北武汉430072 武汉大学计算机学院湖北武汉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置换结构特点

来源：评论

学校读者我要写书评

暂无评论

面向虚拟化平台的透明加密系统设计与实现

面向虚拟化平台的透明加密系统设计与实现

引用

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

作者：高汉军寇鹏王丽娜余荣威董永峰武汉大学计算机学院湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

针对虚拟化平台下数据防泄漏系统的要求,本文结合可信平台模块(trusted platform module,TPM)的密钥管理优势,提出了一种基于eCrytpfs文件系统的透明加密系统设计与实现方法.该文件保护系统MeCryptfs(modified-eCryptfs)使用自定制TPM... 详细信息

针对虚拟化平台下数据防泄漏系统的要求,本文结合可信平台模块(trusted platform module,TPM)的密钥管理优势,提出了一种基于eCrytpfs文件系统的透明加密系统设计与实现方法.该文件保护系统MeCryptfs(modified-eCryptfs)使用自定制TPM密钥管理模块.改善了eCryptfs用户空间的密钥管理部分,通过取消多用户模式进一步增强了整个系统的安全性.测试结果表明,该透明加密系统具有较高的性能,能够满足加解密透明性要求.

关键词：透明加密密钥管理虚拟化平台 MeCryptfs加密系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：