| 电子选举中的安全协议(英文) |
| |
| 作者姓名： | 孟江涛 冯登国 胡振宇 |
| |
| 作者单位： | 中国科学院软件研究所信息安全国家重点实验室, 北京 100080 |
| |
| 基金项目： | 973 Project（G1999035802）;National Natural Science Foundation of China （60025205） |
| |
| 摘 要： | 随着因特网上出现的一些小范围的电子选举,电子选举开始引起人们的关注.而电子选举中的关键技术之一是电子选举协议的设计,特别是在多种投票方式下大规模电子选举协议的安全性问题.讨论了优秀的电子投票系统应该具备的特点,及如何通过密码协议来实现这些特点;对电子选举协议提出了新的分类方法,并考察了其优缺点;并对已有的许多电子选举协议进行了分类整理,有助于人们更好地理解这一领域内所面临的挑战和问题;同时对电子选举系统的设计也给出了一些建议.
|
| 关 键 词： | 电子选举 密码学 协议 |
| 收稿时间： | 2002-06-06 |
On the Improvement of BAN Logic Analysis |
| |
| Authors: | MENG Jiang-Tao FENG Deng-Guo HU Zheng-Yu |
| |
| Institution: | State Key Laboratory of Information Security, Institute of Software, Chinese Academy of Science, Beijing 100080 |
| |
| Abstract: | To solve the problems that BAN logic analysis tends to neglect the potential defect of "send again attack" for cryptographic protocols,is made some improvement to the new message judgement of logic postulate of BAN logic analysis, aiming at reducing the misleading probability of BAN logic |
| |
| Keywords: | cryptographic protocol logic analysis send again attack |
|
| 点击此处可从《》浏览原始摘要信息 |
| 点击此处可从《》下载免费的PDF全文 |
