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

中国密码学会2014年密码算法学术会议

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

在基于LSSS(Linear Secret-Sharing Schemes)共享矩阵的属性密码方案中,为了获得相对较高的解密效率,需要剔除授权集合中冗余参与方在解密时的计算.为达到这一目的,现有方案都需要使用授权策略进行最小参与方搜寻,而在一些应用场合下,... 详细信息

在基于LSSS(Linear Secret-Sharing Schemes)共享矩阵的属性密码方案中,为了获得相对较高的解密效率,需要剔除授权集合中冗余参与方在解密时的计算.为达到这一目的,现有方案都需要使用授权策略进行最小参与方搜寻,而在一些应用场合下,授权策略的出现是不安全的.如果不使用授权策略,现有的解密优化方案便无法运行.本文提出一种LSSS共享矩阵下,无授权策略的属性密码解密效率提高方案.理论分析和实验表明,它可以在无授权策略情况下,找到最小参与方集合,从而提高了解密效率.

关键词：属性加密 LSSS共享矩阵无授权策略解密效率

来源：评论

学校读者我要写书评

暂无评论

基于模拟用户的Ajax Web自动化测试模型的设计与实现

基于模拟用户的Ajax Web自动化测试模型的设计与实现

引用

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

作者：王丽娜李怀赵磊武汉大学空天信息安全与可信计算教育部重点实验室武汉430072湖北武汉大学计算机学院武汉430072湖北

在现代web应用中大量的采用了Ajax技术,一种异步传输实现了无刷新更新页面.然而Ajax技术的应用将部分逻辑转换到客户端,暴露更多的用户接口,潜在地增加了Web应用的安全威胁.传统的对于Web应用的安全探测方法,如人工探测以及源码分析,效...

在现代web应用中大量的采用了Ajax技术,一种异步传输实现了无刷新更新页面.然而Ajax技术的应用将部分逻辑转换到客户端,暴露更多的用户接口,潜在地增加了Web应用的安全威胁.传统的对于Web应用的安全探测方法,如人工探测以及源码分析,效率低下,自动化程度低.特别是当Web2.0技术出现后,很多Web应用使用了Ajax技术以及各种Jquery框架来动态生成页面的方法,而一般的爬虫只能获取静态页面,导致了源码获取的障碍,从而无法对Web应用进行自动化渗透测试分析.

关键词：

来源：评论

学校读者我要写书评

暂无评论

密码学课程建设及教学方法探讨

引用

高教学刊 2016年第7期2卷 78-79页

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

针对密码学课程的特点,结合密码学课程的建设体会和教学经验,对该课程的建设及教学方法提出了一些建议和设想,供同行交流探讨。

关键词：密码学教学方法密码学精品课程

来源：评论

学校读者我要写书评

暂无评论

一类广义Bent函数的构造

一类广义Bent函数的构造

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

主流操作系统安全课程建设

引用

职业教育（汉斯） 2016年第4期5卷 79-83页

作者：王鹃武汉大学计算机学院湖北武汉空天信息安全与可信计算教育部重点实验室湖北武汉

操作系统是信息系统的核心,而操作系统安全也是信息系统安全的核心。2014年教育部高等学校信息安全专业教学指导委员会颁布的新版信息安全专业教学大纲中增设了《主流操作系统安全》课程。然而,当前国内外并未形成较完整的操作系统安全... 详细信息

操作系统是信息系统的核心,而操作系统安全也是信息系统安全的核心。2014年教育部高等学校信息安全专业教学指导委员会颁布的新版信息安全专业教学大纲中增设了《主流操作系统安全》课程。然而,当前国内外并未形成较完整的操作系统安全课程教学体系。武汉大学于2014年开设了主流操作系统安全课程,并在课程建设中不断的探索与实践,初步建立了以操作系统安全架构、操作系统安全机制分析、内核漏洞攻防、操作系统安全测评为基本内容的课程知识体系。本文给出了主流操作系统课程建设的相关内容及教学体会。

关键词：操作系统安全课程建设教学质量

来源：评论

学校读者我要写书评

暂无评论

Android组件间通信的安全缺陷静态检测方法

Android组件间通信的安全缺陷静态检测方法

引用

2013年第四届中国计算机学会服务计算学术会议

作者：傅建明李鹏伟易乔黄诗勇武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉 430072 武汉大学计算机学院湖北武汉 430072 武汉大学软件工程国家重点实验室湖北武汉 430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉 430072 武汉大学计算机学院湖北武汉 430072

针对Android应用程序的组件间通信存在使用隐式Intent有可能引发组件劫持和信息泄露,而公开组件又存在权限泄露的安全风险问题,提出了一种Android组件间通信的安全缺陷静态检测方法.首先,静态分析应用程序,获得其控制流程图(CFG)、函数... 详细信息

针对Android应用程序的组件间通信存在使用隐式Intent有可能引发组件劫持和信息泄露,而公开组件又存在权限泄露的安全风险问题,提出了一种Android组件间通信的安全缺陷静态检测方法.首先,静态分析应用程序,获得其控制流程图(CFG)、函数调用图(FCG)和组件调用图(CCG);然后,检测出潜在的危险组件、隐式Intent以及隐私泄露路径;最后,用该方法对20款流行的Android应用软件进行检测.结果显示:这些应用软件全部使用了隐式Intent,25％使用了动态代码,80％存在危险组件,40％存在隐私泄露.

关键词：安卓应用程序通信安全缺陷检测静态分析

来源：评论

学校读者我要写书评

暂无评论

针对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发生器和门限发生器进行分析时,算法复杂度比穷举法的复杂度低;该演化计算方法用于组合模型序列密码的分别征服攻击时,效率明显提高.因此演化计算分析方法是一种有效的序列密码分析方法.

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：