论文部分内容阅读
Cachin在1990年的ACM计算机和通信安全会议上提出了一个电子竞价和拍卖协议,并给出了协议的安全性证明.我们分析发现Cachin的协议证明中存在一个错误,并纠正了这个错误.
关于一个数值比较协议的安全性证明
【摘 要】
：
Cachin在1990年的ACM计算机和通信安全会议上提出了一个电子竞价和拍卖协议,并给出了协议的安全性证明.我们分析发现Cachin的协议证明中存在一个错误,并纠正了这个错误.
【机 构】
：
北京城市学院人工智能研究所,中国科学院研究生院信息安全国家重点实验室
【出 处】
：
中国科学院研究生院学报
【发表日期】
：
2011年2期
其他文献
用钇、钡、铜的硝酸盐水溶液喷涂在氧化锆单晶基片上,已制备了零电阻温度为83.4K 的 YBa_2Cu_3O_(7-δ)超导薄膜。文中给出了 XRD、SEM 图和电阻温度曲线,并对结果进行了讨论
强度折减法应用于有限元计算，与极限平衡法计算安全系数的结果存在一定的偏差，这种偏差主要体现在滑动面形式的差异、强度折减法与极限平衡法分别求得到安全系数的物理意义的差
针对某型杀爆弹弹体材料热处理（调质）过程中存在大量的弹体硬度检测压痕直径超出工艺范围，导致该热处理批的硬度值不合格率过高这一问题，对该型产品的生产状态进行了分析与验证，通
利用同源序列克隆技术在印度芥菜幼苗中分离出2个重金属ATP酶cDNA片段BjHMA3和BjHMA4;实时荧光定量PCR表明BjHMA3和BjHMA4在所有的组织器官中均有表达,其中在根中表达量最高,
拉伸成形是飞机钣金的基本成形方法。由于飞机蒙皮种类繁琐、生产批量小,在拉形的过程中需要频繁的更换模具,而现有国内蒙皮拉形机换模仍为传统换模方式,换模时间长,换模过程
现在,网上有很多盗号木马生成工具,只要设置好E-mail的用户名及该E-mail的密码,就可以盗号了.可你是否知道这个木马是包含后门的?在你用它来帮你盗号的同时,盗取的用户名及密
根据色散条纹传感技术的基本原理,从物理光学的角度对色散条纹传感器(DFS)进行了模拟研究,仿真出理论干涉图形,并从中采集能量信号,拟合光强分布曲线,得出测量结果.通过比较在不同波段的采样,提出在CCD上开出窗口采集有效信号的2种方法,借以提高检测精度.色散条纹传感器的检测范围为±50μm,检测精度可以达到几十nm.
唐五代小说中许许多多的藩镇使主，在成为使主之前，汲汲于官禄；成为使主后，又惟恐禄位不保。因此，他们的命运，与道士、术士、隐者亦或神鬼有了关联。于是，相命、占卜、祥瑞、感应、神
本文采用化学分析、x射线衍射、光学显微镜、扫描电镜等分析方法,对美国广泛应用的八种氧化铝陶瓷的显微结构作了初步的研究,并对显微结构与化学成分之关系,以及对性能的影响