期刊文献+
共找到48篇文章
< 1 2 3 >
每页显示 20 50 100
隐私保护深度学习研究综述
1
作者 陈品极 何琨 +1 位作者 陈晶 杜瑞颖 《密码学报(中英文)》 CSCD 北大核心 2024年第4期771-798,共28页
深度学习即服务模式下,包含个人隐私的数据在多方之间不断流转,难以避免地产生了隐私泄露的风险.一方面,数据拥有者担心输入到云端模型中的隐私数据会直接暴露给云服务提供商;另一方面,云端模型拥有者担心客户端可以在大量的数据交互中... 深度学习即服务模式下,包含个人隐私的数据在多方之间不断流转,难以避免地产生了隐私泄露的风险.一方面,数据拥有者担心输入到云端模型中的隐私数据会直接暴露给云服务提供商;另一方面,云端模型拥有者担心客户端可以在大量的数据交互中窃取到自己耗费海量资源训练的模型.因此,如何将隐私保护和深度学习相结合成为了当今隐私计算领域的热点问题.本文回顾了2016年至今隐私保护深度学习相关工作,并根据深度神经网络中的线性层和非线性层运算对前人工作使用的方案进行了分类.通过发表时间、研究周期以及发表数量,分析了不同实现方案的优胜劣汰和当下的研究焦点,同时通过对每个实现方案的不同优化方向进行追溯,理清了每个方案的发展脉络.最后,从多维度综合对比代表性方案,整理了如今隐私保护深度学习所面临的困难并提出了可行的解决方案和具有前景的发展方向. 展开更多
关键词 隐私保护深度学习 同态加密 秘密共享 不经意传输 混淆电路
下载PDF
基于二进制加密电路的指纹细节点匹配 被引量:3
2
作者 冯全 杨梅 +3 位作者 康立军 吴丽丽 赵建 贺康 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2013年第2期75-80,共6页
为了在开放网络的身份鉴别中安全地使用指纹认证技术,需要保护用户和服务器各自的指纹数据的隐私性。提出了一种新的指纹细节点匹配算法,由服务器的细节点模板和用户现场细节点集合组成序列通过不经意排序后,对序列相邻位置进行相等性测... 为了在开放网络的身份鉴别中安全地使用指纹认证技术,需要保护用户和服务器各自的指纹数据的隐私性。提出了一种新的指纹细节点匹配算法,由服务器的细节点模板和用户现场细节点集合组成序列通过不经意排序后,对序列相邻位置进行相等性测试,最后通过加法器计算出匹配细节点的数量。用加密二进制电路实现了上述算法并进行了电路结构优化。实验表明本方法能够进行实时指纹认证处理。 展开更多
关键词 细节点 加密二进制电路 隐私保护 不经意排序
下载PDF
面向隐私保护的集合交集计算综述 被引量:10
3
作者 魏立斐 刘纪海 +2 位作者 张蕾 王勤 贺崇德 《计算机研究与发展》 EI CSCD 北大核心 2022年第8期1782-1799,共18页
随着物联网和大数据技术的发展,在计算机和手机上出现了大量分布式应用程序.然而现有的分布式数据处理方式已不能很好地满足用户对隐私保护的需求.隐私集合交集(private set intersection,PSI)协议作为一项典型的面向隐私保护的分布式... 随着物联网和大数据技术的发展,在计算机和手机上出现了大量分布式应用程序.然而现有的分布式数据处理方式已不能很好地满足用户对隐私保护的需求.隐私集合交集(private set intersection,PSI)协议作为一项典型的面向隐私保护的分布式集合计算技术,允许各参与方输入其私有集合,共同计算集合的交集,且不泄露除交集以外的任何信息.PSI协议作为安全多方计算的一种重要应用,已被广泛应用于隐私计算领域,具有重要的理论和实践意义.首先介绍PSI协议的基本密码技术、敌手模型、安全证明、编程框架等基础知识;其次系统总结了构造传统PSI协议的设计框架:基于公钥加密体制的框架、基于混淆电路的框架、基于不经意传输的框架;随后介绍PSI协议核心的隐私集合元素比较技术工具:不经意伪随机函数、不经意多项式评估、布隆过滤器等;进一步地详细阐述了适应新型应用场景的PSI方案:基于云辅助的PSI、非平衡型PSI、基于阈值的PSI和多方PSI;最后总结并展望面向隐私保护的集合交集计算中亟待解决问题和发展方向. 展开更多
关键词 隐私集合求交 安全多方计算 隐私保护 不经意传输 混淆电路
下载PDF
实用安全多方计算协议关键技术研究进展 被引量:16
4
作者 蒋瀚 徐秋亮 《计算机研究与发展》 EI CSCD 北大核心 2015年第10期2247-2257,共11页
在安全多方计算协议中,2个或多个持有秘密输入的参与方想要利用他们的输入来计算某个联合函数,并达到隐私性、正确性及输入无关性等安全要求.安全多方计算既是安全协议的一般性基础研究,也在许多应用领域(比如电子投票、网上合同签署、... 在安全多方计算协议中,2个或多个持有秘密输入的参与方想要利用他们的输入来计算某个联合函数,并达到隐私性、正确性及输入无关性等安全要求.安全多方计算既是安全协议的一般性基础研究,也在许多应用领域(比如电子投票、网上合同签署、隐私信息检索等)有明确应用背景,其研究为密码学多个领域提供了核心工具.近年来,安全多方计算协议的研究,特别是在实用化技术方面取得了快速发展,协议实用化成为安全多方计算一个新的关注点.介绍了实用化安全多方计算协议研究的主要进展和成果,并重点介绍安全多方计算实用化的3个支撑性重要技术,包括混乱电路优化、剪切-选择技术及不经意传输扩展技术,这些技术在不同的方面显著提高了安全多方计算协议的效率. 展开更多
关键词 安全多方计算 混乱电路优化 剪切-选择 不经意传输扩展 半诚实敌手 恶意敌手
下载PDF
布尔电路上保护隐私集合并集运算的研究与实现 被引量:2
5
作者 孙茂华 胡磊 +1 位作者 朱洪亮 李祺 《电子与信息学报》 EI CSCD 北大核心 2016年第6期1412-1418,共7页
隐私保护技术是当前信息安全领域的研究热点。然而,现阶段集合并集运算中的隐私保护技术侧重理论研究,在实验模型的开发上较为欠缺。针对该问题,该文首先设计了保护隐私的集合合并运算电路、去重电路和混淆电路,并应用YAO氏通用混淆电... 隐私保护技术是当前信息安全领域的研究热点。然而,现阶段集合并集运算中的隐私保护技术侧重理论研究,在实验模型的开发上较为欠缺。针对该问题,该文首先设计了保护隐私的集合合并运算电路、去重电路和混淆电路,并应用YAO氏通用混淆电路估值技术提出了一种布尔电路上保护隐私的集合并集协议。然后,该文使用模拟器视图仿真法证明了协议的安全性。最后,基于Might BeEvil中的YAO氏混淆电路估值框架,开发了该文理论方案对应的实验模型。实验结果表明,在安全计算稀疏集合的并集时,所提算法效率优于当前布尔电路上的其他算法。 展开更多
关键词 安全多方计算 YAO氏混淆电路技术 保护隐私的集合并集运算
下载PDF
溴化环氧树脂印刷线路板热分解机理实验研究 被引量:10
6
作者 李飞 赵增立 +1 位作者 李海滨 陈勇 《燃料化学学报》 EI CAS CSCD 北大核心 2008年第3期371-375,共5页
The thermal decomposition of a kind of brominted epoxy resin(BER) printed circuit boards was investigated by using TG-FTIR and Py-GC/MS.The mechanism of the thermal decomposition of the resin was discussed.The experim... The thermal decomposition of a kind of brominted epoxy resin(BER) printed circuit boards was investigated by using TG-FTIR and Py-GC/MS.The mechanism of the thermal decomposition of the resin was discussed.The experimental results show that during the thermal decomposition of BER,the brominated parts are firstly decomposed with the splitting of OH—C,O—CH2,C—C(Benzene) bonds,and the pyrolysis products such as CO,acetone,bromomethane,bromophenol and 2,6-dibromophenol are produced.The decomposition of unbrominated parts is conducted at higher temperature with the splitting of OH—C,CH2—O—benzene,C—C(Benzene) bonds,and the pyrolysis products containing phenol,p-isopropylphenol,p-isopropenylacetylphenol,o-methylphenol and p-methylphenol are made. 展开更多
关键词 溴化环氧树脂 印刷线路板 热解 热重-红外联用分析 热解-气相色谱/质谱联用分析
下载PDF
溴化环氧树脂印刷线路板热解产物的分析 被引量:31
7
作者 孙路石 陆继东 +1 位作者 王世杰 周琥 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2003年第8期50-52,共3页
在固定床反应器中惰性气氛条件下应用程序加热方法对典型的溴化环氧树脂基板进行热解试验 ,用气相色谱 /质谱和傅里叶变换红外光谱等方法分析所收集的高沸点液体和气体产物的性质 .结果表明 ,环氧树脂中非溴化树脂结构在热分解过程中发... 在固定床反应器中惰性气氛条件下应用程序加热方法对典型的溴化环氧树脂基板进行热解试验 ,用气相色谱 /质谱和傅里叶变换红外光谱等方法分析所收集的高沸点液体和气体产物的性质 .结果表明 ,环氧树脂中非溴化树脂结构在热分解过程中发生O -CH2 ,C -C ,C -N键断裂 ,生成苯酚 ,且芳香 /脂肪醚 .环氧树脂溴化部分的热分解中产生 1或 2溴苯酚 ,且脂肪链上包含 1或 2个溴原子的芳香 /脂肪醚 ,证明了C -Br ,C -C ,N -CH2 ,O -CH2 展开更多
关键词 印刷线路板 热分解 溴化环氧树脂 气相色谱/质谱 傅里叶变换红外光谱
下载PDF
防溴型环氧树脂电路板热解 被引量:5
8
作者 刘玉卿 海热提 《化工学报》 EI CAS CSCD 北大核心 2011年第3期823-828,共6页
引言随着科学技术迅速发展和市场需求的持续增长,电子产品已经成为人们生活中的必需品。电路板作为电子产品的核心部件,广泛存在于各类电子产品之中。电路板中非金属主要为玻璃纤维、增强树脂和塑料。
关键词 热解 环氧树脂 电路板 热解油 气质联用
下载PDF
基于深度学习的隐私保护型分布式人脸识别系统 被引量:8
9
作者 陆正福 周宪法 +1 位作者 杨慧慧 李佳 《云南大学学报(自然科学版)》 CAS CSCD 北大核心 2021年第4期700-706,共7页
基于深度学习的分布式人脸识别系统(Distributed Face Recognition System,DFRS)与安全计算的结合存在相容性问题和性能问题.相容性问题表现为深度学习中非线性函数和安全计算所支持的运算类型之间存在差异;性能问题表现为低效的安全计... 基于深度学习的分布式人脸识别系统(Distributed Face Recognition System,DFRS)与安全计算的结合存在相容性问题和性能问题.相容性问题表现为深度学习中非线性函数和安全计算所支持的运算类型之间存在差异;性能问题表现为低效的安全计算与高开销的深度学习的结合将会导致DFRS的过长响应时间.针对相容性问题,考虑到非线性,提出基于混淆电路与深度学习相结合的隐私保护型DFRS设计方案,从而解决运算相容问题;针对性能问题,提出体系结构的改造方案.将深度学习的网络层拆分为两部分,将计算量较大的部分以高效的明文计算形式部署在客户端以提升DFRS效率.理论分析表明,新方案兼备非线性计算与安全性保护的功能优势.原型实验表明,新的体系结构使得系统的消息复杂度从近1998.206 MB减少到近60.591 MB,纯计算耗时从17.742 s降低到0.644 s,100 MB带宽下系统响应时间从177.125 s降至5.751 s. 展开更多
关键词 分布式人脸识别系统 系统体系结构 混淆电路 深度学习 安全两方计算
下载PDF
气相色谱-质谱法测定废旧印刷线路板真空热解油的组分 被引量:2
10
作者 张齐 蔡明招 +1 位作者 彭绍洪 陈烈强 《理化检验(化学分册)》 CAS CSCD 北大核心 2009年第2期201-203,共3页
采用气相色谱-质谱法从废旧印刷线路板的真空热解油中分离并确认出21种化合物,与红外光谱分析所推断的结果相一致,并用峰面积归一化法得出各化合物的相对含量。结果表明:热解油组分经过DB-5非极性柱可以实现分离,油中相对含量较高的主... 采用气相色谱-质谱法从废旧印刷线路板的真空热解油中分离并确认出21种化合物,与红外光谱分析所推断的结果相一致,并用峰面积归一化法得出各化合物的相对含量。结果表明:热解油组分经过DB-5非极性柱可以实现分离,油中相对含量较高的主要成分为苯酚(30.17%)、对异丙基苯酚(10.29%)、对苯基苯酚(13.93%)、对异丙烯基苯酚(8.21%)和双酚A(15.46%)。 展开更多
关键词 气相色谱-质谱法 废旧印刷线路板 真空热解油 成分分析
下载PDF
基于随机化混淆电路的委托计算 被引量:1
11
作者 赵青松 徐焕良 《计算机工程》 CAS CSCD 2013年第12期136-140,共5页
委托计算中的混淆电路用于保护用户输入输出的隐私,如果重复使用混淆电路进行计算,恶意计算方可能将上一次计算的标签输出作为输出,无法保证计算的安全性。为此,提出一种基于随机化混淆电路的委托计算方案。利用BHHO方案的加同态特性,... 委托计算中的混淆电路用于保护用户输入输出的隐私,如果重复使用混淆电路进行计算,恶意计算方可能将上一次计算的标签输出作为输出,无法保证计算的安全性。为此,提出一种基于随机化混淆电路的委托计算方案。利用BHHO方案的加同态特性,通过群Zp上的2个已知映射变换将0-1向量映射为同样长度的0-1向量,为混淆电路的每根电线随机选择比特置换,重新随机化设置电线标签和门电路的4个密文对。理论分析结果表明,该方案能有效解决混淆电路重复计算的安全问题,并且实现委托计算的用户隐私保护和结果可验证性。 展开更多
关键词 委托计算 随机化混淆电路 可重用 BHHO方案 云计算
下载PDF
可证明安全的理性委托计算协议 被引量:3
12
作者 田有亮 李秋贤 +1 位作者 张铎 王琳杰 《通信学报》 EI CSCD 北大核心 2019年第7期135-143,共9页
针对理性委托计算中的安全性需求问题,提出了一种可证明安全的理性委托计算协议。首先,在委托计算中引入博弈理论并分析理性参与者的行为偏好,并且在博弈论框架下构建理性委托计算博弈模型;其次,根据博弈模型中的均衡需求及理性委托计... 针对理性委托计算中的安全性需求问题,提出了一种可证明安全的理性委托计算协议。首先,在委托计算中引入博弈理论并分析理性参与者的行为偏好,并且在博弈论框架下构建理性委托计算博弈模型;其次,根据博弈模型中的均衡需求及理性委托计算的安全需求,设计理性安全模型;再次,结合 Yao 的混淆电路可以随机化重用的优势及全同态加密技术,构造理性委托计算协议,且协议中参与者的策略组合可以达到纳什均衡状态;最后,根据理性安全模型证明了协议的安全性和输入输出的隐私性,且性能分析表明了协议的有效性。所提理性委托计算协议在满足传统安全性的同时,又考虑了参与者的行为偏好,更符合大数据环境下的委托计算模式。 展开更多
关键词 理性委托计算 混淆电路 全同态加密 可证明安全
下载PDF
废弃印刷电路板材料裂解产物的高分辨裂解气相色谱-质谱分析 被引量:3
13
作者 张燕红 黄洪 +1 位作者 夏正斌 陈焕钦 《色谱》 CAS CSCD 北大核心 2008年第4期519-522,共4页
采用高分辨裂解气相色谱-质谱法(PyGC-MS)分析了FR-4型印刷电路板粉末样品的裂解产物。在氦气氛围中,分别在350,450,550,650和750℃下对印刷电路板粉末样品进行热裂解,并通过毛细管气相色谱-质谱对裂解产物进行分析,研究了不同裂解温度... 采用高分辨裂解气相色谱-质谱法(PyGC-MS)分析了FR-4型印刷电路板粉末样品的裂解产物。在氦气氛围中,分别在350,450,550,650和750℃下对印刷电路板粉末样品进行热裂解,并通过毛细管气相色谱-质谱对裂解产物进行分析,研究了不同裂解温度下裂解产物分布以及主要裂解产物的产率与裂解温度的关系,根据热分解产物的组成,探讨了热分解反应机理。 展开更多
关键词 气相色谱-质谱法 溴化环氧树脂 裂解 热分解 印刷电路板 废弃物
下载PDF
基于两方安全计算的隐私保护逻辑回归方法 被引量:1
14
作者 沈文旭 张继军 毛重 《吉林大学学报(理学版)》 CAS 北大核心 2023年第3期641-650,共10页
针对有效保护用户隐私数据的问题,提出一个基于两方安全计算的隐私保护逻辑回归训练方案,以完成多个数据方共同进行联合建模的工作.该方案首先优化了乘法三元组的生成过程,减少离线阶段所需的时间;然后对在安全多方计算中难以计算的激... 针对有效保护用户隐私数据的问题,提出一个基于两方安全计算的隐私保护逻辑回归训练方案,以完成多个数据方共同进行联合建模的工作.该方案首先优化了乘法三元组的生成过程,减少离线阶段所需的时间;然后对在安全多方计算中难以计算的激活函数,使用近似函数进行代替;最后将提出的协议向量化,并对本地的矩阵计算采用CUDA(compute unified device architecture)加速.使用不同的数据集测试在局域网和广域网中该隐私保护逻辑回归性能的实验结果表明,该方案能使模型在较短的时间内收敛,并增加了在实际场景中解决隐私保护机器学习相关问题的可能性. 展开更多
关键词 安全多方计算 隐私保护机器学习 混淆电路 不经意传输
下载PDF
废弃电路板环氧树脂真空热解及产物分析 被引量:19
15
作者 丘克强 吴倩 湛志华 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2009年第5期1209-1215,共7页
在真空条件下,应用程序升温的管式炉反应器对废弃电路板中环氧树脂热解规律进行研究,考察不同的热解终温、升温速率、真空度(压力)及保温时间等各种因素对产物产率的影响。此外,利用傅里叶红外(FT-IR)和气质联用(GC/MS)技术对热解油产... 在真空条件下,应用程序升温的管式炉反应器对废弃电路板中环氧树脂热解规律进行研究,考察不同的热解终温、升温速率、真空度(压力)及保温时间等各种因素对产物产率的影响。此外,利用傅里叶红外(FT-IR)和气质联用(GC/MS)技术对热解油产物进行表征分析。实验结果表明:温度对产物产率的影响最大,升温速率、真空度及保温时间对热解产物产率也有重要影响。选择适当的热解温度(400~550℃)、升温速率(15~20℃/min)、真空度(压力15kPa)及保温时间(30min)有利于提高热解液体产品的产率;热解油的主要成分是酚类物质,其总含量为84.08%,其中,含溴化合物含量为15.34%。 展开更多
关键词 真空热解 废弃电路板 环氧树脂 气相色谱-质谱 红外光谱
下载PDF
微型气相色谱仪热导检测器放大电路设计 被引量:7
16
作者 刘鸿飞 陈忠 《色谱》 CAS CSCD 北大核心 2010年第8期737-742,共6页
Agilent公司生产的Agilent3000+系列色谱仪是微型气相色谱仪(micro GC)的典型代表,其热导检测器的信号放大电路和模数转换器(analog-to-digital convertor,ADC)存在功耗大、工作温度过高等不足。文中分析了microGC电路的功能需求,从选... Agilent公司生产的Agilent3000+系列色谱仪是微型气相色谱仪(micro GC)的典型代表,其热导检测器的信号放大电路和模数转换器(analog-to-digital convertor,ADC)存在功耗大、工作温度过高等不足。文中分析了microGC电路的功能需求,从选用低噪声的24bitΔ-ΣADC ADS1255入手,设计了高共模电压容限、低噪声的全差分放大电路及其他外围电路,并且对全差分放大电路建立了噪声模型,计算了其噪声理论值,优化了系统设计参数。另外,还设计了一个测试平台,对所设计的全差分放大电路和ADC的性能进行了全面的测试评估,结果表明新设计的热导检测器放大电路与ADC的总噪声(以美国材料与试验协会(ASTM)标准值计)仅为1.25μV,总功耗降低了3.7W,满足micro GC的功能需求,而且可靠性高、体积小、结构简单,可用于新一代micro GC的研发和生产。 展开更多
关键词 微型气相色谱仪 热导检测器 低噪声 全差分放大电路 模数转换器
下载PDF
增强Zhong-Yang协议中执行者输入的私密性
17
作者 叶建伟 焦绪录 张永铮 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第10期82-85,168,共5页
为了进一步提高Zhong-Yang协议在恶意环境中对移动代码执行者输入的私密性保护,使其能抵御恶意发起者进行的错误线密钥探测攻击,提出了一种可验证的倍增子电路,并用它来扩展Zhong-Yang协议中的加密电路.扩展的协议利用倍增子电路来代替... 为了进一步提高Zhong-Yang协议在恶意环境中对移动代码执行者输入的私密性保护,使其能抵御恶意发起者进行的错误线密钥探测攻击,提出了一种可验证的倍增子电路,并用它来扩展Zhong-Yang协议中的加密电路.扩展的协议利用倍增子电路来代替执行者的输入线以抵御错误线秘钥探测攻击,并利用Jarecki和Shmatikov的带承诺加密电路构造技术和第三方质疑的零知识证明协议来保证子电路构造的正确性.分析表明:改进后的Zhong-Yang协议在多于2/3的服务器是诚实的情况下能同时抵御恶意服务器的篡改线密钥攻击和恶意发起者的错误线密钥探测攻击,仍然满足移动代码环境的非交互要求,且增加的通信和计算复杂度是多项式时间的.改进后协议能彻底保证恶意的移动代码环境中代码执行者输入的私密性. 展开更多
关键词 移动代码 加密电路 私密性 承诺 恶意环境
下载PDF
一种基于带承诺加密电路的移动代码保护协议
18
作者 叶建伟 张宏莉 张永铮 《计算机研究与发展》 EI CSCD 北大核心 2011年第5期862-868,共7页
基于Jarecki和Shmatikov的带承诺加密电路技术和Pedersen的可验证门限秘密共享方案,提出了一种新的适用于恶意环境的移动代码保护协议.新协议使用一组服务器来代理部分零知识证明过程并共享密钥.当诚实的服务器多于2?3时,新协议:1)能同... 基于Jarecki和Shmatikov的带承诺加密电路技术和Pedersen的可验证门限秘密共享方案,提出了一种新的适用于恶意环境的移动代码保护协议.新协议使用一组服务器来代理部分零知识证明过程并共享密钥.当诚实的服务器多于2?3时,新协议:1)能同时保护输入输出的安全,较现有协议有更高安全性;2)适用于无交互的移动代码环境;3)使得发起者无需和执行者交互就能验证移动代码的正确性,从而避免恶意发起者使用恶意代码来破坏执行者的安全性;4)使得发起者和执行者能公平地得到正确的输出. 展开更多
关键词 移动代码 安全 加密电路 承诺 门限秘密共享
下载PDF
基于防篡改Token和加密电路的指纹认证方案
19
作者 赵建 冯全 +2 位作者 杨梅 贺康 刘娟 《计算机工程与应用》 CSCD 2013年第17期94-97,共4页
针对基于加密电路的指纹认证方案运用于移动设备时所面临的带宽受限问题,提出了一种基于防篡改Token和加密电路的安全函数计算协议,该协议的使用能够明显减轻服务器与移动设备之间的通讯压力。在此基础上设计了指纹认证方案。分析和实... 针对基于加密电路的指纹认证方案运用于移动设备时所面临的带宽受限问题,提出了一种基于防篡改Token和加密电路的安全函数计算协议,该协议的使用能够明显减轻服务器与移动设备之间的通讯压力。在此基础上设计了指纹认证方案。分析和实验结果表明,该方案可以解决上述困难,并使得移动设备在指纹认证时的个人隐私得以保护。 展开更多
关键词 加密电路 移动设备 指纹认证 带宽受限 防篡改Token
下载PDF
K次程序的定义和构造
20
作者 马国峻 裴庆祺 +1 位作者 陈原 姜晓鸿 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2012年第1期111-114,127,共5页
在一次程序研究的基础上,针对K次程序的特性和构造理论研究不足问题,以形式化的定义阐明了K次程序的特性,并研究了K次程序的构造条件和构造方法.给出了不可以构造为K次程序的程序特性,为K次程序的构造提供了必要条件;描述了一类可以构造... 在一次程序研究的基础上,针对K次程序的特性和构造理论研究不足问题,以形式化的定义阐明了K次程序的特性,并研究了K次程序的构造条件和构造方法.给出了不可以构造为K次程序的程序特性,为K次程序的构造提供了必要条件;描述了一类可以构造为K次程序的程序特性,以及这类程序的基于一次程序的K次程序构造方法和证明,从而为K次程序的构造提供了理论基础. 展开更多
关键词 一次程序 K次程序 加密电路 一次内存
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部