제Ⅰ편 공개키 암호 시스템 ... 1 제1장 암호화 방식 ... 3 1.1 대칭키 암호 시스템 - 전통적 방식 ... 3 1.2 공개키 암호 시스템 - 현대적 방식 ... 6 제2장 RSA 공개키 암호 시스템 ... 9 2.1 RSA 공개키 암호 시스템의 구조 ... 9 2.2 RSA 시스템의 안전성 ... 13 제3장 ElGamal 공개키 암호 시스템 ... 19 3.1 ElGamal 암호 시스템 ... 19 3.2 ElGamal을 이용한 재암호화 ... 20 제4장 공개키 암호의 응용 ... 21 4.1 비밀 분산 방식(Secret Sharing Scheme) ... 21 4.2 이차 잉여 문제(Quadratic Residuosity Problem) ... 24 4.3 전자 서명과 은닉 서명(Digital and Blind Signature) ... 25 4.4 비트 위임(Bit Commitment) ... 27 제Ⅱ편 전자 투표의 소개 및 현황 분석 ... 31 제5장 전자 투표의 개요 ... 33 5.1 전통적인 선거의 특성 ... 33 5.2 전자 투표의 도입 배경 ... 33 제6장 전자 투표 시스템의 기본 설계 ... 35 6.1 전자 투표의 정의 ... 35 6.2 전자 투표의 구성요소 ... 35 6.3 전자 투표의 단계 ... 41 6.4 전자 투표 설계의 요구사항 ... 41 6.5 전자 투표의 안전성 ... 43 제7장 전자 투표 시스템의 투표 형식 ... 49 7.1 투표 형식의 변화 ... 49 7.2 투표 형식의 발전 과정 ... 53 제8장 전자 투표 시스템의 진행 ... 57 8.1 전자 투표의 진행 과정 ... 58 8.2 프로토콜을 통해 본 전자 투표 시스템의 과정 ... 59 8.3 유효성의 증명 ... 64 8.4 투표 기술에 대한 새로운 방식 ... 66 8.5 투표 시스템에 관한 논의 ... 72 8.6 투표 시스템의 표준과 테스트 ... 75 8.7 전자투표 시스템의 투명성 ... 81 제9장 전자 투표 시스템의 현재와 미래 ... 85 9.1 미국의 투표 시스템의 문제상황 ... 86 9.2 현재의 문제상황 ... 92 9.3 개혁을 위한 과정 ... 97 9.4 향후 방향 제시 ... 104 9.5 결론 ... 106 제Ⅲ편 전자 투표 시스템의 구현을 위한 프로토콜 ... 109 제10장 전자 투표 과정에 쓰이는 암호 프로토콜 ... 111 10.1 믹스 넷(Mix Nets) ... 111 10.2 비밀 분산(Secret Sharing) ... 112 10.3 상호 증명(Interactive Proofs) ... 114 제11장 검증 가능한 비밀 ballot 선거 ... 125 11.1 개요 ... 125 11.2 선거의 암호화 함수와 그 함수의 특성 ... 126 11.3 상호 증명과 암호 캡슐 ... 149 11.4 비밀 분산 준동형성 ... 164 11.5 비밀 ballot선거 ... 170 11.6 결론 ... 195 제12장 다양한 전자 투표 설계의 비교 분석 ... 199 12.1 최초의 투표 방식 ... 199 12.2 주요 설계 방식 ... 199 12.3 현재의 투표 방식 ... 204 제13장 은닉 서명과 익명 채널에 기반한 방식 ... 207 13.1 FOO방식 ... 208 13.2 Radwin의 방식 ... 212 13.3 JL방식 ... 217 제14장 준동형 암호를 이용한 방식 ... 221 14.1 Benaloh의 방식 ... 221 14.2 Schoenmakers의 방식 ... 224 14.3 CGS 방식 ... 226 제15장 HS방식 ... 233 15.1 L개에서 1개를 선택하는 투표 방식 ... 233 15.2 만족하는 특성 ... 235 15.3 응용 ... 236 제16장 도청할 수 없는 채널의 구현 - 부인할 수 없는 암호 ... 239 16.1 이차 잉여에 기반을 둔 부인할 수 없는 암호 ... 240 16.2 일반화된 패러티 방식 ... 242 제17장 추천 방식 ... 245 17.1 투표 프로토콜을 위한 요구사항 ... 245 17.2 방식 소개 ... 248 17.3 비강제성을 향상시킨 수정안 ... 252 참고 문헌 ... 255 찾아 보기 ... 265