K次程序的定义和构造

来源 :西安电子科技大学学报 | 被引量 : 0次 | 上传用户：ASky2009

【摘要】

：

在一次程序研究的基础上,针对K次程序的特性和构造理论研究不足问题,以形式化的定义阐明了K次程序的特性,并研究了K次程序的构造条件和构造方法.给出了不可以构造为K次程序的

【作者】

：

马国峻裴庆祺陈原姜晓鸿

【机构】

：

西安电子科技大学计算机学院,西安电子科技大学综合业务网理论及关键技术国家重点实验室

【出处】

：

西安电子科技大学学报

【发表日期】

：

2012年1期

【关键词】

：

一次程序 K次程序加密电路一次内存 one-time programs K-time programs garbled circuit one-time m

【基金项目】

：

国家自然科学基金资助项目（60803150,61172068,61003300）, 中央高校基本科研业务费资助项目（K50511010003）, 国家重点基础研究发展计划（973计划）资助项目（A001200907）, 航空基金资助项目（20101981015）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在一次程序研究的基础上,针对K次程序的特性和构造理论研究不足问题,以形式化的定义阐明了K次程序的特性,并研究了K次程序的构造条件和构造方法.给出了不可以构造为K次程序的程序特性,为K次程序的构造提供了必要条件;描述了一类可以构造为K次程序的程序特性,以及这类程序的基于一次程序的K次程序构造方法和证明,从而为K次程序的构造提供了理论基础.

其他文献

关于一种车辆安全防护装置的研究

本文旨在研究一种车辆安全防护装置,包括保险杠、防护板、壳体和防撞梁,所述壳体两侧的内壁上皆安装有第一张力弹簧,所述壳体的底部安装有两个第二张力弹簧,所述壳体正面的侧

期刊

车辆安全防护减震弹簧冲击力

传统的犯罪经济分析的批判和启示

犯罪问题一向是法学和社会学研究的对象。自20世纪60年代以来,以美国芝加哥大学经济学教授加里.贝克尔为代表,开创了用经济学的基本原理和分析工具、分析方法来研究犯罪问题

学位

故意犯罪犯罪成本和收益犯罪控制刑法效率

“最牛违建别墅”难抵“最牛舆论监督”——北京晨报首家披露 460家网站260多家纸媒跟进

<正>2013年8月,北京最受关注、追转最多的新闻,当属人济山庄那个"最牛违建别墅"了。按常人思路,会猜测以为,这条"爆炸新闻"又是哪个微博或网民爆料的吧?小记者独家采访引来众

期刊

北京晨报专业媒体

从单元质量分析中谈谈如何培养小学数学解决问题的能力

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

期刊

小学数学审题说题提出问题解决问题

探讨呼吸内科防止患者跌倒坠床中行预见性护理的效果

目的探讨呼吸内科防止患者跌倒坠床中行预见性护理的效果。方法选取我院2015年02月~2016年02月期间636例患者作为研究对象,同时选取2014年01月~2015年01月期间516例患者为对

期刊

呼吸内科预见性护理干预跌倒坠床效果

低阶层男性服刑人员财产型犯罪影响因素研究

财产型犯罪是主要的犯罪类型之一,但是关于财产型犯罪的影响因素的探讨比较缺乏。鉴于低阶层男性财产型犯罪的研究不足的的现状,本研究在自我控制理论、社会控制理论和社会支

学位

自我控制社会联系社会支持相对剥夺感财产型犯罪

三重脑震荡鼠脑色氨酸羟化酶及酪氨酸羟化酶变化研究

目的:建立三重脑震荡(multiple cerebral concussion,MCC)大鼠模型,观察MCC大鼠脑干色氨酸羟化酶(Tryptophan hydroxylase,TPH)与基底节和中隔区酪氨酸羟化酶(tyrosine hydro

学位

三重脑震荡大鼠色氨酸羟化酶酪氨酸羟化酶

AGS3蛋白及其与成瘾的关系

作为G蛋白信号传递激活因子（activators of G protein signaling,AGS）之一的AGS3蛋白在大鼠脑组织、睾丸、肝脏、肾脏、心脏和胰腺组织中有不等量的分布,并且有AGS1、AGS2、AGS

期刊

AGS3蛋白G蛋白信号转导

K次程序的定义和构造

其他学术论文