MỤC LỤC

MỤC LỤC . 1

LỜI CẢM ƠN . 5

DANH MỤC HÌNH VẼ . . 6

BẢNG CHỮ VIẾT TẮT . . 7

MỞ ĐẦU . . 8

Chương 1. MỘT SỐ KHÁI NIỆM CƠ BẢN . . 9

1.1. MỘT SỐ KHÁI NIỆM TOÁN HỌC . 9

1.1.1. Số nguyên tố và nguyên tố cùng nhau . 9

1.1.2. Đồng dư . . 9

1.1.3. Không gian Zn và Zn* . 10

1.1.4. Khái niệm nhóm, nhóm con, nhóm Cyclic . 10

1.1.5. Hàm Euler . . 11

1.1.6. Phần tử nghịch đảo . 11

1.1.8. Độ phức tạp của thuật toán . 12

1.1.9. Hàm một phía và hàm cửa sập một phía . 13

1.2. KHÁI NIỆM MÃ HÓA . 14

1.2.1. Giới thiệu . 14

1.2.2. Hệ mã hóa khóa đối xứng . . 15

1.2.3. Hệ mã hóa khóa bất đối xứng . . 16

1.3. KHÁI NIỆM CHỮ KÝ SỐ . . 17

1.3.1. Giới thiệu . 17

1.3.2. Một số loại chữ ký số . . 18

1.3.2.1. Chữ ký RSA . . 18

1.3.2.2. Chữ ký Elgamal . . 19

1.3.2.3. Chữ ký Mù . 20

1.4. VẤN ĐỀ VỀ AN TOÀN THÔNG TIN . . 22

1.4.1. Bảo đảm bí mật (Bảo mật) . 22

1.4.2. Bảo đảm toàn vẹn (Bảo toàn) . . 22

1.4.3. Bảo đảm xác thực (Chứng thực) . 22

1.4.4. Bảo đảm sẵn sàng . . 22

1.5. VẤN ĐỀ BỎ PHIẾU ĐIỆN TỬ . . 23

1.5.1. Khái niệm bỏ phiếu điện tử . . 23

1.5.2. So sánh bỏ phiếu điện tử và bỏ phiếu thông thường . 24

1.5.3. Các giai đoạn bỏ phiếu điện tử . 25

Chương 2. GIẢI QUYẾT MỘT SỐ BÀI TOÁN

TRONG GIAI ĐOẠN ĐĂNG KÝ BỎ PHIẾU ĐIỆN TỬ . . 30

2.1. MỘT SỐ BÀI TOÁN TRONG GIAI ĐOẠN ĐĂNG KÝ BỎ PHIẾU . 30

2.1.1. Bài toán xác thực cử tri bỏ phiếu . 30

2.1.2. Bài toán ẩn danh lá phiếu . . 30

2.1.3. Bài toán phòng tránh sự liên kết của nhân viên Ban bầu cử và Cử tri . . 31

2.2. GIẢI QUYẾT CÁC BÀI TOÁN TRÊN . . 32

2.2.1. Bài toán xác thực cử tri bỏ phiếu . 32

2.2.2. Bài toán ẩn danh lá phiếu . . 33

2.2.3. Bài toán phòng tránh sự liên kết của nhân viên Ban bầu cử và Cử tri . . 34

Chương 3. THỬ NGHIỆM XÂY DỰNG

HỆ THỐNG ĐĂNG KÝ BỎ PHIẾU . . 38

3.1. BÀI TOÁN. . 38

3.2. PHÂN TÍCH THIẾT KẾ HỆ THỐNG . . 40

3.2.1. Bảng phân tích . . 40

3.2.2. Biểu đồ ngữ cảnh . 41

3.2.3. Biểu đồ phân rã chức năng . 42

3.2.3. Các hồ sơ sử dụng . . 45

3.2.4. Ma trận thực thể chức năng . . 46

3.2.5. Biểu đồ luồng dữ liệu mức 0 . 47

3.2.6. Biểu đồ dữ liệu logic mức 1 . . 48

3.2.7. Mô hình quan hệ thực thể . . 51

3.2.8. Mô hình quan hệ . . 54

Chương 4: THỬ NGHIỆM XÂY DỰNG

CHƯƠNG TRÌNH ĐĂNG KÝ BỎ PHIẾU (RSA) . . 57

4.1. CẤU HÌNH HỆ THỐNG . . 57

4.1.1. Phần cứng . . 57

4.1.2. Phần mềm . . 57

4.2. CÁC THÀNH PHẦN CỦA CHƯƠNG TRÌNH . . 58

4.2.1. Phần kết nối . . 58

4.2.2. Phần giao diện . . 58

4.2.3. Phần thuật toán áp dụng . . 58

4.3. CHƯƠNG TRÌNH . . 59

4.3.1. Chức năng khách . 59

4.3.2. Chức năng người sử dụng. . 59

4.4. HƯỚNG DẪN SỬ DỤNG CHƯƠNG TRÌNH . . 60

4.4.1. Hướng dẫn cài đặt chương trình . . 60

4.4.2. Hướng dẫn chạy chương trình . . 63

4.4.3. Hướng dẫn chức năng khách . 64

4.4.3.1. Hướng dẫn quá trình làm mù . . 64

4.4.3.2. Hướng dẫn quá trình đăng ký . 65

4.4.3.3. Hướng dẫn quá trình xóa mù . . 66

4.4.3.4. Hướng dẫn quá trình kiểm tra chữ ký . 67

4.4.4. Hướng dẫn chức năng người sử dụng . . 68

4.4.4.1. Hướng dẫn quá trình xác nhận ký . 68

4.4.4.2. Hướng dẫn quá trình chia sẻ khóa . . 69

4.4.4.3. Hướng dẫn quá trình thiết lập khóa . 69

KẾT LUẬN . . 70

TÀI LIỆU THAM KHẢO . . 72

PHỤ LỤC . . 73

MỞ ĐẦU

Trong suốt nhiều thế kỉ qua trên thế giới, các cuộc bầu cử đã giữ một vai trò

quan trọng trong việc xác lập thể chế chính trị của các quốc gia.

Và trong xu hướng phát triển của khoa học công nghệ ngày nay, công nghệ

thông tin đã ngày càng phổ biến và được áp dụng trong mọi lĩnh vực đời sống.

Các cuộc bầu cử cũng không phải là ngoại lệ. Người ta đã bỏ rất nhiều công sức để

nghiên cứu cải tiến các phương thức bầu cử để nó ngày càng trở nên tốt và tiện lợi

hơn. Các phương thức thay đổi theo từng thời kỳ, theo sự tiến bộ của xã hội. Và với

sự tiến bộ của xã hội ngày nay thì các dự án chính phủ điện tử để giúp nhà nước

điều hành đất nước là một điều tất yếu, kèm theo đó thì sự phát triển của bỏ phiếu

điện tử để thay thế cho bỏ phiếu thông thường là điều sẽ diễn ra trong tương lai.

Nắm được tầm quan trọng và tính tất yếu của bỏ phiếu điện tử, các nước, các

tổ chức đã và đang xây dựng giải pháp cho bỏ phiếu điện tử.

Khóa luận sẽ đi sâu về các bài toán về an toàn thông tin trong một cuộc bỏ

phiếu điện tử, đặc biệt là trong giai đoạn đăng ký bỏ phiếu. Sau đó phân tích thiết kế

thử nghiệm một ứng dụng nhỏ về bỏ phiếu điện tử