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

计算机学报 2020年第8期43卷 1534-1554页

作者：周彦伟杨波夏喆来齐齐张明武穆怡陕西师范大学计算机科学学院桂林电子科技大学广西可信软件重点实验室福建师范大学数学与信息学院福建省网络安全与密码技术重点实验室密码科学技术国家重点实验室武汉理工大学计算机科学与技术学院

隐私信息的泄露已成为密码系统当前的严重安全性隐患,因此抗泄露性已成为密码机制安全性的重要评价指标;并且连续的泄露攻击将被敌手在现实环境中执行,所以抵抗连续泄露攻击的密码机制具有更强的实用性.可撤销的身份基加密(Revocable Id... 详细信息

隐私信息的泄露已成为密码系统当前的严重安全性隐患,因此抗泄露性已成为密码机制安全性的重要评价指标;并且连续的泄露攻击将被敌手在现实环境中执行,所以抵抗连续泄露攻击的密码机制具有更强的实用性.可撤销的身份基加密(Revocable Identity-Based Encryption,RIBE)机制由于能够快速实现用户私钥的撤销,具有广泛的实际应用前景;然而传统RIBE机制无法抵抗信息泄露对方案所造成的危害,针对上述不足,本文以身份基哈希证明系统(Identity-Based Hash Proof System,IB-HPS)为底层工具设计了选择明文攻击(Chosen-Plaintext Attack,CPA)安全的抗泄露RIBE机制的通用构造,并基于IB-HPS的安全属性,对通用构造的CPA安全性进行了形式化证明;为进一步增强安全性和抗泄露能力,在我们上述构造的基础上,通过非交互式零知识论证和可更新的身份基哈希证明系统分别构造了CCA安全和抗连续泄露攻击的RIBE机制,并基于底层工具的安全属性证明了相应构造的安全性.相较于传统的RIBE机制而言,本文RIBE机制的通用构造在秘密信息存在一定泄露的前提下,依然保持其所声称的安全性.由于过去的几年中底层基础工具的多个实例相继被构造,这表明我们抗泄露RIBE机制的通用构造方法具有较强的实用性.

关键词：可撤销IBE机制有界泄露模型连续泄露模型身份基哈希证明系统

来源：评论

学校读者我要写书评

暂无评论

一类2n+1次多项式微分系统无穷远点的极限环分支

引用

河南师范大学学报（自然科学版） 2008年第6期36卷 27-29页

作者：罗国湘黄文韬徐慧栩桂林航天工业高等专科学校计算机系广西桂林541004 桂林电子科技大学数学与计算科学学院广西桂林541004

研究一类2n+1次多项式微分自治系统在无穷远点的奇点量、中心条件与极限环问题.通过计算推断与理论证明,得出了该系统在无穷远点奇点量的表达式.在此基础上给了该类系统无穷远点成为中心和成为最高阶细焦点的条件,并构造了这类系统在无... 详细信息

研究一类2n+1次多项式微分自治系统在无穷远点的奇点量、中心条件与极限环问题.通过计算推断与理论证明,得出了该系统在无穷远点奇点量的表达式.在此基础上给了该类系统无穷远点成为中心和成为最高阶细焦点的条件,并构造了这类系统在无穷远点分支出3个极限环的实例.

关键词：多项式微分系统无穷远点奇点量中心极限环分支

来源：评论

学校读者我要写书评

暂无评论

基于环上容错学习和GSW的层次型全同态加密方案

引用

计算机应用 2016年第4期36卷 962-965页

作者：王曌丁勇王会勇桂林电子科技大学数学与计算科学学院广西桂林541004 桂林电子科技大学广西信息科学实验中心广西桂林541004 中国科学院成都计算机应用研究所四川成都610041

针对目前全同态加密方案效率不高的问题,对GSW同态加密方案进行改进,提出基于环上容错学习和GSW的层次型全同态加密方案。首先,构造基于环上容错学习困难问题的基本公钥加密方案,利用近似特征向量方法使其具有加法、乘法同态性,进一步... 详细信息

针对目前全同态加密方案效率不高的问题,对GSW同态加密方案进行改进,提出基于环上容错学习和GSW的层次型全同态加密方案。首先,构造基于环上容错学习困难问题的基本公钥加密方案,利用近似特征向量方法使其具有加法、乘法同态性,进一步为简化噪声增长过程的分析而引入随机化函数技术;其次,证明了基本加密方案的正确性、安全性,并详细分析了同态加法、同态乘法和同态与非门操作的正确性;最后,根据密文对应噪声项的增长情况及困难问题的安全性设置方案安全参数,并利用快速傅里叶变换降低多项式乘法运算的计算复杂度,构造出层次型(Leveled)全同态加密方案。与GSW方案相比,新方案具有更小的公钥尺寸,且同态计算每个与非门的复杂度从O((nL)^(2.37))降低到O(nL^2)。

关键词：全同态加密环上容错学习随机化函数噪声增长层次型全同态

来源：评论

学校读者我要写书评

暂无评论

辅导员绩效考评体系设计研究

引用

广西广播电视大学学报 2010年第4期21卷 59-63页

作者：杨丹江桂林电子科技大学数学与计算机科学学院广西桂林541004

文章论述了实施辅导员绩效考评的必要性,对当前高效绩效考评的理论和现状进行了评析,并对辅导员考评指标体系和考评制度的设计进行了思考。

关键词：高校辅导员绩效考评关键指标设计

来源：评论

学校读者我要写书评

暂无评论

矢量波动方程的新瀑布型多重网格方法

引用

云南民族大学学报（自然科学版） 2011年第4期20卷 267-271页

作者：陆康梅李郴良曹艳斌桂林电子科技大学数学与计算机科学学院广西桂林541004

矢量有限元因能有效地避免伪解而被广泛用于模拟分析电磁问题,选取矢量有限元对电磁场矢量波动方程进行离散计算.基于本征有限元外推技术,将有限元外推技术推广应用到矢量波动方程本征问题,并结合瀑布型多重网格方法提出了一种基于矢量... 详细信息

矢量有限元因能有效地避免伪解而被广泛用于模拟分析电磁问题,选取矢量有限元对电磁场矢量波动方程进行离散计算.基于本征有限元外推技术,将有限元外推技术推广应用到矢量波动方程本征问题,并结合瀑布型多重网格方法提出了一种基于矢量场本征问题的外推瀑布型多重网格方法.算例说明新方法是一种具有高精度的有效方法.

关键词：瀑布型多重网格方法矢量有限元外推矢量波动方程

来源：评论

学校读者我要写书评

暂无评论

基于FOO投票协议的无收据电子投票方案

引用

计算机科学 2015年第8期42卷 180-184页

作者：罗芬芬林昌露张胜元刘忆宁福建师范大学数学与计算机科学学院福州350117 福建省网络安全与密码技术重点实验室(福建师范大学) 福州350117 桂林电子科技大学数学与计算科学学院桂林541004

安全且实用的电子投票协议是信息安全领域的热点问题之一。引入了盲签名、投票编号、申诉标识等工具,提出了一种新的无收据的电子投票方案,该方案进一步完善了FOO投票协议,可保证选票的匿名性、可验证性和无收据性,并且允许投票者中途... 详细信息

安全且实用的电子投票协议是信息安全领域的热点问题之一。引入了盲签名、投票编号、申诉标识等工具,提出了一种新的无收据的电子投票方案,该方案进一步完善了FOO投票协议,可保证选票的匿名性、可验证性和无收据性,并且允许投票者中途弃权。该方案不仅保持了原方案的各种优点,而且增强了系统的安全性和灵活性。因此,与其他类似方案相比较,该方案具有更好的通用性和实用性。

关键词：电子投票 FOO投票协议盲签名无收据

来源：评论

学校读者我要写书评

暂无评论

基于多方排序协议的安全电子投票方案

引用

计算机系统应用 2015年第8期24卷 25-32页

作者：杨婷婷林昌露刘忆宁张胜元福建师范大学数学与计算机科学学院福州350007 桂林电子科技大学数学与计算科学学院桂林541004

与传统投票相比较,电子投票拥有许多优势,也存在重要的安全问题.电子投票的全隐私性是评估投票方案安全的重要指标,它是指对投票者的隐私保护和候选者的隐私保护,特别是落选者的得票数的保护.利用可验证秘密共享的思想提出了一个安全多... 详细信息

与传统投票相比较,电子投票拥有许多优势,也存在重要的安全问题.电子投票的全隐私性是评估投票方案安全的重要指标,它是指对投票者的隐私保护和候选者的隐私保护,特别是落选者的得票数的保护.利用可验证秘密共享的思想提出了一个安全多方排序协议,并将它运用到电子投票中,设计了一个新的安全的电子投票协议,本协议具有全隐私性.

关键词：电子投票多方排序可验证秘密共享全隐私

来源：评论

学校读者我要写书评

暂无评论

循环ALCN-Tbox的模型构造

引用

广西师范大学学报（自然科学版） 2008年第1期26卷 34-37页

作者：余泉甘晓丽王驹广西师范大学数学科学学院广西桂林541004 桂林电子科技大学计算机科学与数学系广西桂林541004 广西师范大学计算机科学与信息工程学院广西桂林541004

从语法和语义的角度分析了描述逻辑ALCN的Tbox中循环定义理论框架的缺陷和困难,然后主要讨论了没有、、出现的,关系R的深度均为1的循环ALCN-Tbox的模型构造方法。

关键词：描述逻辑循环的ALCN—Tbox 模型

来源：评论

学校读者我要写书评

暂无评论

应用型人才培养模式下线性代数实验教学改革

引用

中国电力教育 2013年第19期 147-148页

作者：陈利霞王学文桂林电子科技大学数学与计算科学学院桂林电子科技大学计算机科学与工程学院

先论述了线性代数应用型教学改革的必要性,从教育部的教改项目"用MATLAB和建模实践改造线性代数课程"着手,分析了利用MATLAB和建模改造线性代数课程中存在的关键问题,并提出了有效的解决方法。

关键词：线性代数应用型人才教学改革 MATLAB

来源：评论

学校读者我要写书评

暂无评论

基于同态加密的可验证隐私数据聚合方案

引用

四川大学学报（工程科学版） 2016年第4期48卷 144-149页

作者：王会勇冯勇中国科学院成都计算机应用研究所自动推理与认知实验室四川成都610041 桂林电子科技大学数学与计算科学学院广西桂林541004 中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室重庆400714

为克服传统无线传感器网络数据聚合方案在数据保密计算、防止抵赖、抵御内部和外部攻击、追查并修复错误等方面的性能及安全性与效率上的不足,构造一个基于数字签名和同态加密技术的可验证隐私数据聚合方案。采用El Gamal加密方案作为... 详细信息

为克服传统无线传感器网络数据聚合方案在数据保密计算、防止抵赖、抵御内部和外部攻击、追查并修复错误等方面的性能及安全性与效率上的不足,构造一个基于数字签名和同态加密技术的可验证隐私数据聚合方案。采用El Gamal加密方案作为基础方案对隐私数据加密,并将传感器节点身份信息加入数字签名,使来自不同节点的数据具有可辨识性,从而使方案具备了验证数据及追查并修复错误的能力。采用保密干扰因子方法,使方案能够抵御内部攻击,并利用一类具有同态加性质的保密求和算法构造一种不需要可信第三方的保密干扰因子生成方法,从而避免了引入可信第三方及由此带来的安全性与效率问题。给出方案的安全性证明和效率分析,并与一些典型方案进行对比。分析结果表明,本文方案是安全的,且整体性能优于已有方案。

关键词：数据聚合同态加密数字签名可信第三方

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：