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

提出了一种优化算法来处理ABAC中属性有向图冲突消解问题。首先形式化描述了属性有向图冲突最优化消解问题,一是属性关系参与冲突数越多越可能被删除,二是越重要的属性关系越应该得以保留;然后建立冲突与权重之间的代价函数,选择并删除代价最大的属性关系,直到消解所有的冲突才停止,得到无冲突状态下有向图上的最大权重和。仿真结果表明,算法能够有效地得到权重和最优的属性有向图。

关键词：基于属性的访问控制冲突消解最优化属性关系

来源：评论

学校读者我要写书评

暂无评论

基于函数注入的沙箱拦截识别方法

引用

电子与信息学报 2016年第7期38卷 1823-1830页

作者：赵旭颜学雄王清贤魏强解放军信息工程大学郑州450002 数学工程与先进计算国家重点实验室郑州450002

沙箱验证机制的测试需要首先识别沙箱拦截,即识别沙箱截获的系统函数集。已有的Hook识别方法大多仅关注钩子的存在性,识别沙箱拦截的能力不足。该文设计了一种基于函数注入的沙箱拦截识别方法,该方法分析系统函数的指令执行记录(Trace)... 详细信息

沙箱验证机制的测试需要首先识别沙箱拦截,即识别沙箱截获的系统函数集。已有的Hook识别方法大多仅关注钩子的存在性,识别沙箱拦截的能力不足。该文设计了一种基于函数注入的沙箱拦截识别方法,该方法分析系统函数的指令执行记录(Trace)来识别沙箱截获的系统函数。首先,向不可信进程注入并执行系统函数来获取函数的执行记录;其次,根据沙箱截获系统函数执行记录的特点,设计了地址空间有限状态自动机,并在自动机内分析获取的执行记录来判别沙箱截获的系统函数;最后,遍历测试函数集来识别目标沙箱截获的系统函数集。该文设计实现了原型系统SIAnalyzer,并对Chromium和Adobe Reader进行了沙箱拦截识别测试,测试结果验证了方法的有效性和实用性。

关键词：沙箱拦截系统函数集钩子函数注入自动机

来源：评论

学校读者我要写书评

暂无评论

利用RLWE构造基于身份的全同态加密体制

引用

电子学报 2016年第12期44卷 2887-2893页

作者：辛丹顾纯祥郑永辉光焱康元基信息工程大学河南郑州450002 数学工程与先进计算国家重点实验室江苏无锡214125

全同态加密为云计算中数据全生命周期隐私保护等难题的解决都提供了新的思路.公钥尺寸较大是现有全同态加密体制普遍存在的问题.本文将基于身份加密的思想和全同态加密体制相结合,利用环上容错学习问题(Ring Learning With Errors,RLWE)... 详细信息

全同态加密为云计算中数据全生命周期隐私保护等难题的解决都提供了新的思路.公钥尺寸较大是现有全同态加密体制普遍存在的问题.本文将基于身份加密的思想和全同态加密体制相结合,利用环上容错学习问题(Ring Learning With Errors,RLWE),其中将环的参数m扩展到任意正整数,提出了一种基于身份的全同态加密体制.体制以用户身份标识作为公钥,在计算效率和密钥管理方面都具有优势,安全性在随机喻示模型下可规约为判定性RLWE问题难解性假设.

关键词：全同态加密基于身份加密环上容错学习问题

来源：评论

学校读者我要写书评

暂无评论

利用特征向量构造基于身份的全同态加密体制

引用

软件学报 2016年第6期27卷 1487-1497页

作者：康元基顾纯祥郑永辉光焱信息工程大学河南郑州450002 数学工程与先进计算国家重点实验室江苏无锡214125

全同态加密可以在不解密的条件下对密文进行有效运算,为云计算的数据隐私保护提供了一种理想的解决方案,但目前已有的全同态加密体制普遍存在公钥尺寸大、计算效率较低等问题.利用构造特征向量的思想,基于任意次数分圆环代数结构,提出... 详细信息

全同态加密可以在不解密的条件下对密文进行有效运算,为云计算的数据隐私保护提供了一种理想的解决方案,但目前已有的全同态加密体制普遍存在公钥尺寸大、计算效率较低等问题.利用构造特征向量的思想,基于任意次数分圆环代数结构,提出全同态加密体制,并提出一种转换方法将该体制转换为基于身份的全同态加密体制.与已有体制相比,使用特征向量思想构造基于身份的体制有效地避免了计算密钥,实现了真正意义上基于身份的体制;相比次数为2的方幂特殊分圆环,使用任意次数分圆环最大会使加密体制的计算效率提升一倍,同时还可应用单指令多数据(single instruction multiple data,简称SIMD)技术进一步提升计算和存储效率.

关键词：全同态加密特征向量基于身份加密任意分圆环

来源：评论

学校读者我要写书评

暂无评论

基于选择明文攻击的WPA2-Enterprise协议安全性分析

引用

信息工程大学学报 2017年第4期18卷 448-453页

作者：张协力顾纯祥陈熹信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室江苏无锡214125

描述一种针对PEAP认证突破的新思路,在满足一定网络配置条件下,将已有LEAP协议破解思路结合选择明文攻击方法应用到PEAP协议的认证突破中。实验表明,在采用PEAP认证的无线网络满足一些设置条件时,攻击者可以在几分钟内获取合法用户认证... 详细信息

描述一种针对PEAP认证突破的新思路,在满足一定网络配置条件下,将已有LEAP协议破解思路结合选择明文攻击方法应用到PEAP协议的认证突破中。实验表明,在采用PEAP认证的无线网络满足一些设置条件时,攻击者可以在几分钟内获取合法用户认证凭证实现网络非授权访问目的。最后给出一些策略来预防这种攻击,以供网络配置人员和用户参考。

关键词： PEAP协议 LEAP协议 AP欺骗中间人攻击选择明文攻击

来源：评论

学校读者我要写书评

暂无评论

基于CHAMP卫星与地面矢量数据联合建立中国地磁模型

引用

地球物理学报 2017年第7期60卷 2522-2533页

作者：冯彦孙涵蒋勇安振昌姜乙刘宝嘉黄娅张华武业文南京信息工程大学数学与统计学院空间天气研究所南京210044 中国科学院空间天气学国家重点实验室北京100190 内蒙古新天元防灾减灾研究所呼和浩特010051 中国科学院地质与地球物理研究所北京100029

首先对地面台站以及CHAMP卫星的矢量磁测数据进行预处理,结合12个子午工程台站最新的磁测数据,并利用第十二代国际地磁参考场模型(IGRF12)对不同数据归算至统一时间点,再结合第四代地磁场综合模型(CM4)计算并移除主磁场、磁层磁场、电... 详细信息

首先对地面台站以及CHAMP卫星的矢量磁测数据进行预处理,结合12个子午工程台站最新的磁测数据,并利用第十二代国际地磁参考场模型(IGRF12)对不同数据归算至统一时间点,再结合第四代地磁场综合模型(CM4)计算并移除主磁场、磁层磁场、电离层磁场、感应磁场及较为微弱的环形场,最后通过球冠谐(SCH)模型联合建立了中国地区岩石圈磁场(地磁要素X、Y、Z和总强度F)的球冠谐模型(SCH2000),结合IGRF12得到了中国地磁模型(CGRF2000).建模同时考虑了测点数据海拔高度的影响,并讨论了截断阶数的选取以及边界效应的控制问题.通过比较均方偏差(RMS),认为8阶SCH2000模型可较好地反映中国地区岩石圈磁场,其分布与SCH1936、CM4以及Taylor多项式模型具有一定的相似性.从位置和强度来看,SCH2000模型所反映的岩石圈磁场更为准确,而与CM4存在一定差异,除了测点不同,截断阶数也是原因之一.通过验证,SCH2000模型各要素随高度的变化与CM4模型较为一致,所建立的CGRF2000与IGRF12模型的分布也较为相似.

关键词：地磁场联合建模球冠谐模型子午工程 CHAMP卫星 CM4 IGRF12

来源：评论

学校读者我要写书评

暂无评论

非加密方法安全计算集合包含关系

引用

计算机研究与发展 2017年第7期54卷 1549-1556页

作者：陈振华李顺东王道顺黄琼董立红西安科技大学计算机科学与技术学院西安710054 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093 陕西师范大学计算机科学学院西安710062 清华大学计算机科学与技术系北京100084 华南农业大学数学与信息学院广州510642

针对已存在的安全计算集合包含关系的协议大多基于多次公钥加密算法,计算复杂性较高,并且不能公开计算,应用受限的问题.提出了2种非加密安全计算集合包含关系的协议.协议1首先将集合包含问题转化为向量内积问题;然后利用数学难解问题解... 详细信息

针对已存在的安全计算集合包含关系的协议大多基于多次公钥加密算法,计算复杂性较高,并且不能公开计算,应用受限的问题.提出了2种非加密安全计算集合包含关系的协议.协议1首先将集合包含问题转化为向量内积问题;然后利用数学难解问题解决了此问题;最后针对不可信第三方存在的应用场景,利用双线性对和数学难解问题给出了可公开判断集合包含关系的实用性协议2.协议1和协议2都没有使用任何公钥加密方法,避免了前人方案中繁琐的公私钥产生和加解密过程以及多次匹配查找,因此更加高效而简洁.此外,协议2开拓了保密判断集合关系的新应用场景.

关键词：集合包含安全计算双线性对数学难题公开判断

来源：评论

学校读者我要写书评

暂无评论

一种改进的面向对象程序测试数据生成方法

引用

信息工程大学学报 2017年第4期18卷 492-497页

作者：李刚于磊侯韶凡张兴隆数学工程与先进计算国家重点实验室河南郑州450001 信息工程大学河南郑州450001

现有基于搜索的面向对象程序测试数据生成方法缺乏对参数列表的更新,导致测试数据生成效率不高。在传统基于遗传算法的面向对象程序测试数据生成方法的基础上,引入粒子群算法对参数列表进行更新,实现了方法序列和参数列表的共同更新。... 详细信息

现有基于搜索的面向对象程序测试数据生成方法缺乏对参数列表的更新,导致测试数据生成效率不高。在传统基于遗传算法的面向对象程序测试数据生成方法的基础上,引入粒子群算法对参数列表进行更新,实现了方法序列和参数列表的共同更新。测试结果表明,所提方法能大幅提高面向对象程序测试数据生成的成功率及生成效率。

关键词：面向对象程序测试数据生成基于搜索的方法参数列表更新

来源：评论

学校读者我要写书评

暂无评论

基于访问对的有害数据竞争定位方法

引用

信息工程大学学报 2017年第6期18卷 712-718,725页

作者：张高举郭绍忠王磊信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

在收集数据竞争访问对时,对内存访问记录进行过滤,只关注用户代码中共享变量,减少运行时开销;将有害的数据竞争分为两类,并根据不同特点设计了两种算法,有效地检测出之前没有检测到的有害数据竞争操作;实现了该原型系统LocRace,并用11... 详细信息

在收集数据竞争访问对时,对内存访问记录进行过滤,只关注用户代码中共享变量,减少运行时开销;将有害的数据竞争分为两类,并根据不同特点设计了两种算法,有效地检测出之前没有检测到的有害数据竞争操作;实现了该原型系统LocRace,并用11个常见的开源测试集对其进行评估。实验证明,LocRace可以以较低的开销有效地检测出程序中有害的数据竞争错误。

关键词：数据竞争错误定位并发程序

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：