检索结果-维普期刊中文期刊服务平台

有界闭连通域上的非线性循环终止性分析: 1; 作者李轶冯勇《软件学报》 EI CSCD 北大核心 2016年第3期517-526,共10页; 运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.该算法将这类循环的终止性判定问题归约为有无不动点的判定问题.; 关键词可信计算非线性循环终止性分析 GROEBNER基计算机代数; 在线阅读下载PDF 职称材料

多分支单变量循环程序的终止性分析: 2; 作者李轶李传璨吴文渊《软件学报》 EI CSCD 北大核心 2015年第2期297-304,共8页; 对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性... 展开更多; 关键词可信计算多分支循环程序终止性分析; 在线阅读下载PDF 职称材料

基于HElib的并行多比特明文同态比较模型被引量：1: 3; 作者孙爽吴文渊王会勇《计算机应用》 CSCD 北大核心 2015年第A02期53-56,69,共5页; 针对现有同态加密算法效率太低的问题,设计实现了一个并行多比特明文比较模型。首先基于BGV方案实现了单比特明文的同态比较运算;然后利用单指令多数据流(SIMD)技术实现了多比特明文的同态比较运算;最后,充分利用明文槽个数多的优势,设... 展开更多; 关键词同态加密 BGV 单指令多数据流明文槽 HElib; 在线阅读下载PDF 职称材料

一种基于MLWE的同态内积方案被引量：2: 4; 作者柯程松吴文渊冯勇《软件学报》 EI CSCD 北大核心 2021年第11期3596-3605,共10页; 同态内积在安全多方几何计算、隐私数据挖掘、外包计算、可排序的密文检索等场景有广泛的应用.但现有的同态内积计算方案大多是基于RLWE的全同态加密方案,普遍存在效率不高的问题.在柯程松等人提出的基于MLWE的低膨胀率加密算法基础上,... 展开更多; 关键词 MLWE 同态内积安全多方计算; 在线阅读下载PDF 职称材料

基于Dixon结式和逐次差分代换的多项式秩函数探测方法: 5; 作者袁月李轶《计算机应用》 CSCD 北大核心 2019年第7期2065-2073,共9页; 秩函数探测是循环程序终止性分析的重要方法,目前,已有很多研究者致力于为线性循环程序探测对应的线性秩函数,然而,针对具有多项式循环条件和多项式赋值的多项式型的循环,现有的秩函数探测方法还有所不足,解决方案大多是不完备的、或者... 展开更多; 关键词循环程序终止性多项式循环程序多项式秩函数多阶段秩函数 Dixon结式逐次差分代换; 在线阅读下载PDF 职称材料

题名有界闭连通域上的非线性循环终止性分析: 1; 作者李轶冯勇; 机构自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院); 出处《软件学报》 EI CSCD 北大核心 2016年第3期517-526,共10页; 基金国家自然科学基金(61572024 61103110 11171053)~~; 文摘运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.该算法将这类循环的终止性判定问题归约为有无不动点的判定问题.; 关键词可信计算非线性循环终止性分析 GROEBNER基计算机代数; Keywords trusted computing non-linear loop termination analysis Groebner base computer algebra; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名多分支单变量循环程序的终止性分析: 2; 作者李轶李传璨吴文渊; 机构自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院) 重庆邮电大学计算机科学与技术学院; 出处《软件学报》 EI CSCD 北大核心 2015年第2期297-304,共8页; 基金国家自然科学基金(61103110) 重庆市科技攻关项目(cstc2012gg B40004 cstc2013jjys0002); 文摘对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性问题是可判定的.; 关键词可信计算多分支循环程序终止性分析; Keywords trusted computing multipath loop program termination analysis; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于HElib的并行多比特明文同态比较模型被引量：1: 3; 作者孙爽吴文渊王会勇; 机构中国科学院成都计算机应用研究所自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院) 桂林电子科技大学数学与计算科学学院; 出处《计算机应用》 CSCD 北大核心 2015年第A02期53-56,69,共5页; 基金国家973计划项目(2011CB302400 2011CB302402) 国家自然科学基金资助项目(91118001); 文摘针对现有同态加密算法效率太低的问题,设计实现了一个并行多比特明文比较模型。首先基于BGV方案实现了单比特明文的同态比较运算;然后利用单指令多数据流(SIMD)技术实现了多比特明文的同态比较运算;最后,充分利用明文槽个数多的优势,设计实现了一次运算可并行比较多个多比特明文的同态运算模型。通过调用HElib同态算法库中的同态加法及同态乘法操作,编写了同态比较运算操作函数并进行数值实验。结果表明该模型极大地提高了同态比较运算的效率,证明了该模型的有效性。; 关键词同态加密 BGV 单指令多数据流明文槽 HElib; Keywords Homomorphic Encryption（HE） BGV Single Instruction Multiple Data（SIMD） plaintext slot HElib; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名一种基于MLWE的同态内积方案被引量：2: 4; 作者柯程松吴文渊冯勇; 机构自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院) 重庆邮电大学计算机科学与技术学院; 出处《软件学报》 EI CSCD 北大核心 2021年第11期3596-3605,共10页; 基金国家自然科学基金(11671377) 重庆市院士专项(cstc2017zdcy-yszxX0011,cstc2018jcyj-yszxX0002)。; 文摘同态内积在安全多方几何计算、隐私数据挖掘、外包计算、可排序的密文检索等场景有广泛的应用.但现有的同态内积计算方案大多是基于RLWE的全同态加密方案,普遍存在效率不高的问题.在柯程松等人提出的基于MLWE的低膨胀率加密算法基础上,提出了一种同态内积方案.首先给出了密文空间上的张量积运算⊗,该密文空间上的运算对应明文空间上的整数向量内积运算;然后分析了方案的正确性与安全性;最后给出了两种优化的加密参数,对应计算两种不同大小的整数向量同态内积的应用场景.通过C++与大整数计算库NTL实现了该方案.对比其他同态加密方案,该方案能够比较高效地计算整数向量的同态内积.; 关键词 MLWE 同态内积安全多方计算; Keywords MLWE homomorphic inner product secure multi-party computation; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于Dixon结式和逐次差分代换的多项式秩函数探测方法: 5; 作者袁月李轶; 机构中国人民大学信息学院自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院); 出处《计算机应用》 CSCD 北大核心 2019年第7期2065-2073,共9页; 基金国家自然科学基金资助项目(61472429,61572024,61103110)~~; 文摘秩函数探测是循环程序终止性分析的重要方法,目前,已有很多研究者致力于为线性循环程序探测对应的线性秩函数,然而,针对具有多项式循环条件和多项式赋值的多项式型的循环,现有的秩函数探测方法还有所不足,解决方案大多是不完备的、或者具有较高的时间复杂度。针对现有工作对于多项式秩函数探测方法不足的问题,基于扩展Dixon结式(KSY方法)和逐次差分代换(SDS)方法,提出一种为多项式循环程序探测多项式型秩函数的方法。首先,将待探测的秩函数模板看作带参数系数的多项式,将秩函数的探测转换为寻找满足条件的参数系数的问题;然后,进一步将问题转换为判定相应的方程组是否有解的问题,至此,利用KSY方法中的扩展的Dixon结式,将问题更进一步简化为带参系数多项式(即结式)严格为正的判定问题;最后,利用SDS方法,找到一个充分条件,使得得到的结式严格为正,此时,可以获取满足条件的参数系数的取值,从而找到一个满足条件的秩函数,通过实验验证该秩函数探测方法的有效性。实验结果表明,利用该方法,可以有效地为多项式循环程序找到多项式秩函数,包括深度为d的多阶段多项式秩函数,与已有方法相比,该方法能够更高效地找到多项式秩函数,对于基于柱形代数分解(CAD)方法的探测方法因时间复杂度问题无法而应对的一些循环,利用所提方法能够在几秒内为这些循环找到秩函数。; 关键词循环程序终止性多项式循环程序多项式秩函数多阶段秩函数 Dixon结式逐次差分代换; Keywords termination of loop program polynomial loop program polynomial ranking function multi-stage ranking function Dixon resultant Successive Difference Substitution (SDS); 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	有界闭连通域上的非线性循环终止性分析	李轶冯勇	《软件学报》 EI CSCD 北大核心	2016	0	在线阅读下载PDF 职称材料
2	多分支单变量循环程序的终止性分析	李轶李传璨吴文渊	《软件学报》 EI CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
3	基于HElib的并行多比特明文同态比较模型	孙爽吴文渊王会勇	《计算机应用》 CSCD 北大核心	2015	1	在线阅读下载PDF 职称材料
4	一种基于MLWE的同态内积方案	柯程松吴文渊冯勇	《软件学报》 EI CSCD 北大核心	2021	2	在线阅读下载PDF 职称材料
5	基于Dixon结式和逐次差分代换的多项式秩函数探测方法	袁月李轶	《计算机应用》 CSCD 北大核心	2019	0	在线阅读下载PDF 职称材料