论文部分内容阅读
Cachin在1990年的ACM计算机和通信安全会议上提出了一个电子竞价和拍卖协议,并给出了协议的安全性证明.我们分析发现Cachin的协议证明中存在一个错误,并纠正了这个错误.
关于一个数值比较协议的安全性证明
【摘 要】
：
Cachin在1990年的ACM计算机和通信安全会议上提出了一个电子竞价和拍卖协议,并给出了协议的安全性证明.我们分析发现Cachin的协议证明中存在一个错误,并纠正了这个错误.
【机 构】
：
北京城市学院人工智能研究所,中国科学院研究生院信息安全国家重点实验室
【出 处】
：
中国科学院研究生院学报
【发表日期】
：
2011年2期
其他文献
强度折减法应用于有限元计算，与极限平衡法计算安全系数的结果存在一定的偏差，这种偏差主要体现在滑动面形式的差异、强度折减法与极限平衡法分别求得到安全系数的物理意义的差
针对某型杀爆弹弹体材料热处理（调质）过程中存在大量的弹体硬度检测压痕直径超出工艺范围，导致该热处理批的硬度值不合格率过高这一问题，对该型产品的生产状态进行了分析与验证，通
利用同源序列克隆技术在印度芥菜幼苗中分离出2个重金属ATP酶cDNA片段BjHMA3和BjHMA4;实时荧光定量PCR表明BjHMA3和BjHMA4在所有的组织器官中均有表达,其中在根中表达量最高,
拉伸成形是飞机钣金的基本成形方法。由于飞机蒙皮种类繁琐、生产批量小,在拉形的过程中需要频繁的更换模具,而现有国内蒙皮拉形机换模仍为传统换模方式,换模时间长,换模过程
现在,网上有很多盗号木马生成工具,只要设置好E-mail的用户名及该E-mail的密码,就可以盗号了.可你是否知道这个木马是包含后门的?在你用它来帮你盗号的同时,盗取的用户名及密
唐五代小说中许许多多的藩镇使主，在成为使主之前，汲汲于官禄；成为使主后，又惟恐禄位不保。因此，他们的命运，与道士、术士、隐者亦或神鬼有了关联。于是，相命、占卜、祥瑞、感应、神