欢迎访问中国科学院大学学报,今天是

中国科学院大学学报 ›› 2002, Vol. 19 ›› Issue (3): 295-305.DOI: 10.7523/j.issn.2095-6134.2002.3.012

• 论文 • 上一篇    下一篇

电子选举中的安全协议(英文)

孟江涛, 冯登国, 胡振宇   

  1. 中国科学院软件研究所信息安全国家重点实验室, 北京 100080
  • 收稿日期:2002-06-06 发布日期:2002-05-18
  • 作者简介:MENC: Jiang-Tao, male, born in Mar. 1978, master
  • 基金资助:

    973 Project(G1999035802);National Natural Science Foundation of China (60025205)

On the Improvement of BAN Logic Analysis

MENG Jiang-Tao, FENG Deng-Guo, HU Zheng-Yu   

  1. State Key Laboratory of Information Security, Institute of Software, Chinese Academy of Science, Beijing 100080
  • Received:2002-06-06 Published:2002-05-18

摘要:

随着因特网上出现的一些小范围的电子选举,电子选举开始引起人们的关注.而电子选举中的关键技术之一是电子选举协议的设计,特别是在多种投票方式下大规模电子选举协议的安全性问题.讨论了优秀的电子投票系统应该具备的特点,及如何通过密码协议来实现这些特点;对电子选举协议提出了新的分类方法,并考察了其优缺点;并对已有的许多电子选举协议进行了分类整理,有助于人们更好地理解这一领域内所面临的挑战和问题;同时对电子选举系统的设计也给出了一些建议.

关键词: 电子选举, 密码学, 协议

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

Key words: cryptographic protocol, logic analysis, send again attack

中图分类号: