XÂY DỰNG ỨNG DỤNG MÔ PHỎNG BỎ PHIẾU ĐIỆN TỬ

MỤC LỤC LỜI CẢM ƠN DANH MỤC CÁC HÌNH VẼ, SƠ ĐỒ MỞ ĐẦU Chương 1: CÁC KHÁI NIỆM CƠ SỞ 1.1 MỘT SỐ KHÁI NIỆM TOÁN HỌC 1.1.1 Ký hiệu chia hết 1.1.2 Ước số chung lớn 1.1.3 Hai số nguyên tố 1.1.4 Đồng dư modulo 1.1.5 Một số ký hiệu toán học 1.1.6 Hàm phía hàm cửa sập phía .2 1.1.7 Vấn đề thặng dư bậc hai 1.2 CÁC KHÁI NIỆM VỀ MÃ HOÁ 1.2.1 Khái niệm mã hóa 1.2.2 Các phương pháp mã hóa 1.2.3 Một số loại mã hoá 1.3 KHÁI NIỆM VỀ KÝ ĐIỆN TỬ 1.3.1.Định nghĩa 1.3.2 Phân loại sơ đồ chữ ký điện tử 1.3.3 Một số sơ đồ ký số .7 1.4 CHIA SẺ BÍ MẬT 1.5 KHÁI NIỆM XÁC THỰC ĐIỆN TỬ 1.5.1 Xác thực dựa mật 1.5.2 Xác thực định danh 1.5.3 Xác thực dựa chứng số 10 Chương 2: BỎ PHIẾU ĐIỆN TỬ 11 2.1 QUI TRÌNH BỎ PHIẾU TỪ XA .11 2.2 QUI TRÌNH TỔNG QUÁT 12 2.2.1 Giai đoạn đăng ký .12 2.2.2.Giai đoạn bỏ phiếu .13 2.2.3 Giai đoạn kiểm tra .15 2.2.4 Giai đoạn kiểm phiếu 15 2.2.5 Yêu cầu 16 Chương 3: XÂY DỰNG ỨNG DỤNG MÔ PHỎNG BỎ PHIẾU ĐIỆN TỬ 17 KẾT LUẬN 23 TÀI LIỆU THAM KHẢO 24 LỜI CẢM ƠN Tôi xin chân thành cảm ơn Th.s Trần Ngọc Thái – người thầy ln ân cần bảo, nhiệt tình hướng dẫn, cung cấp tài liệu, giúp đỡ q trình học tập hồn thành luận văn Tôi xin cảm ơn thầy cô giáo khoa Công Nghệ Thông Tin Ban giám hiệu nhà trường Đại Học Dân Lập Hải Phòng tạo điều kiện cho tơi làm đồ án hồn thành luận văn Tơi xin cảm ơn tập thể bạn lớp CT1002 trao đổi giúp đỡ trình học việc tìm tài liệu hồn thành luận văn Hải Phòng ngày tháng Sinh viên năm DANH MỤC CÁC HÌNH VẼ, SƠ ĐỒ Hình 1.1 Chứng số chứng thực cho máy khách kết nối tới máy dịch vụ 10 Hình 2.1 Sơ đồ giai đoạn đăng ký 13 Hình 2.2 Sơ đồ giai đoạn bỏ phiếu kiểm tra 14 Hình 2.3: Sơ đồ giai đoạn kiểm phiếu .16 MỞ ĐẦU Trong năm gần đây, giới chứng kiến cách mạng mạnh mẽ, toàn diện sâu sắc làm thay đổi hoạt động lĩnh vực kinh tế, văn hố, trị, xã hội; thay đổi phương thức làm việc, học tập, giải trí, giao tiếp quan hệ xã hội Một nội dung cách mạng ứng dụng công nghệ cao, đại với công nghệ thơng tin cơng cụ có ý nghĩa định, mang tính đột phá, góp phần rút ngắn q trình cơng nghiệp hố, đại hóa Trong mạng máy tính giúp cho người tiếp cận, trao đổi thơng tin cách nhanh chóng, thuận tiện mang lại cho người lợi ích khơng thể phủ nhận Một xã hội dân chủ có nhiều việc phải cần đến "bỏ phiếu"; người ta "bỏ phiếu" để thăm dò kế hoạch, sách để bầu cử chức vụ, chức danh Hiện có loại bỏ phiếu bỏ phiếu trực tiếp hịm phiếu phiếu in giấy ("bỏ phiếu truyền thống") bỏ phiếu từ xa phiếu "số hoá" tạm gọi phiếu điện tử từ máy tính cá nhân mạng, điện thoại di động ("bỏ phiếu điện tử" "bầu cử điện tử") Ngày nay, quĩ thời gian cá nhân khơng nhiều, mặt khác người làm việc nhiều nơi, người ta khó thực nhiều bỏ phiếu theo phương pháp truyền thống Rõ ràng "bỏ phiếu từ xa" nhu cầu cấp thiết, vấn đề thời gian kỹ thuật cho phép Trên giới, bầu cử tổng thống Pháp bầu luật năm 2002, có 1500 cử tri Pháp mở đầu việc bầu cử điện tử Sự kiện bước khởi đầu q trình hồn thiện cơng cụ bầu cử, cách mạng hố cách bầu cử châu Âu Các nước châu Âu Bỉ, Hà Lan, Đức, Ba Lan hoàn thành số thử nghiệm Ở Italia, nước thành viên dự án "France telecom R&D,một thử nghiệm hoàn thành trưng cầu ý kiến Vương Thị Huyền Trang – CT1002 nhân dân vấn đề tự trị vùng quốc gia có 94% số cử tri bày tỏ tán thành việc áp dụng bầu cử điện tử Tính đến năm 2005,sẽ có khoảng 300 triệu cử tri Châu Âu tham gia bỏ phiếu điện tử Nhờ ưu điểm thuận tiện, bỏ phiếu điện tử không làm gia tăng số cử tri tham gia mà thể tính dân chủ Ở Việt Nam, có người nghiên cứu vấn đề Cũng bỏ phiếu truyền thống, bỏ phiếu thăm dò từ xa phải đảm bảo u cầu "bí mật", "tồn vẹn" "xác thực" phiếu Kỹ thuật bỏ phiếu thăm dò từ xa dựa lý luận sâu sắc an toàn bảo mật liệu đường truyền tin Mặt khác phiếu phải bảo đảm hợp pháp: phiếu người phép bầu cử, cử tri gửi phiếu u cầu "bí mật" phiếu là: ngồi cử tri, có ban kiểm phiếu biết nội dung phiếu họ chủ nhân u cầu "tồn vẹn" phiếu: đường truyền tin, nội dung phiếu bị thay đổi, tất phiếu chuyển đến hịm phiếu an tồn, thời hạn kiểm phiếu đầy đủ Yêu cầu "xác thực" phiếu: gửi tới hòm phiếu phải hợp lệ, người có quyền bỏ phiếu, cử tri nhận phiếu họ Trải qua nhiều kỷ, có nhiều cơng nghệ bỏ phiếu khác với phương pháp hình thức khác Từ đá mảnh vỡ bỏ vào lọ thời Hy lạp thay phiếu bỏ vào hộp gắn niêm phong Ngày nay, công nghệ phát triển việc bỏ phiếu, tự động hoá Việc bỏ phiếu tự động cần phải bảo mật an toàn bầu cử truyền thống (đặc biệt bí mật riêng phiếu) Phòng bỏ phiếu "cơ học" phiếu đục lỗ thay phiếu "điện tử" để kiểm phiếu nhanh Bỏ phiếu điện tử trực tuyến qua Internet có lợi nhiều Các cử tri bỏ phiếu từ nơi đâu Việc bỏ phiếu thuận tiện làm gia tăng số lượng cử tri Nhanh chóng, rẻ tiện lợi q trình bỏ phiếu tác động lớn Vương Thị Huyền Trang – CT1002 xã hội dân chủ Ví dụ bầu cử cho phép cơng dân bỏ phiếu vào thời gian Những phương pháp bỏ phiếu hiệu phân loại cách tiếp cận chính: sơ đồ sử dụng chữ ký mù sơ đồ sử dụng mã hoá đồng cấu Luận văn gồm chương Chương 1: CÁC KHÁI NIỆM CƠ SỞ Chương 2: BỎ PHIẾU ĐIỆN TỬ Chương 3: XÂY DỰNG ỨNG DỤNG MÔ PHỎNG BỎ PHIẾU ĐIỆN TỬ Vương Thị Huyền Trang – CT1002 Chương 1: CÁC KHÁI NIỆM CƠ SỞ 1.1 MỘT SỐ KHÁI NIỆM TOÁN HỌC 1.1.1 Ký hiệu chia hết Cho a b hai số nguyên dương, số a chia hết cho số b ký hiệu a : b Tồn n N cho a=b*n Khii người ta nói b ước a ky kiệu b|a 1.1.2 Ước số chung lớn Cho a b hai số nguyên dương USCLN a b số tự nhiên m lớn cho m | a m | b Khii ký hiệu UCLN(a,b) = m 1.1.3 Hai số nguyên tố Cho a b hai số nguyên dương Số a b gọi hai nguyên tố UCLN(a,b) = 1.1.4 Đồng dư modulo Cho n i, n a,b Zn Ký hiệu i b (mod n) nghĩa a đồng dư b theo mod n tồn số nguyên b Zn* cho a= b + k * n Tức (i-b)=k*n, nhu n | ( a-b) 1.1.5 Một số ký hiệu toán học N: Số người kiểm phiếu A1, A2,…, An: N người kiểm phiếu t: Số lớn người hiểm độc khơng trung thực A: tập ( t + ) người M: Số cử tri đủ tư cách m: Số cử tri tham gia bầu cử, m ≤ M V1, V2,…, VM: M người đủ tư cách v1, v2,…, vM: độ quan tâm cử tri Zp: trường số nguyên dương modulo p, p nguyên tố Vương Thị Huyền Trang – CT1002 Zn: tập số nguyên modulo n, { 0, 1,…., n-1 } Z*n: tập số nguyên Zn nguyên tố với n a / b: số nguyên a ước số nguyên b gcd (a, b): ước số chung lớn a b a \\ b: phép ghép xâu a b x R X: X x phần tử ngẫu nhiên ( tùy ý ) X ( phân bố ) R Y: X tập tùy ý Y ( phân bố ) x = y: kiểm tra xem x = y hay khơng 1.1.6 Hàm phía hàm cửa sập phía Hàm f(x) gọi hàm phía y = f(x) ‘dễ’ , tính x = f1 (y) lại ‘khó’ Ví dụ : Hàm f(x) = x( mod p ), với p số nguyên tố lớn, ( phần tử nguyên thủy) hàm phía Hàm f(x) gọi hàm cửa sập phía tính y = f(x) ‘dễ’, tính x = f-1(y) lại ‘khó’ Tuy nhiên có cửa sập z để tính x = f-1(y) ‘dễ’ 1.1.7 Vấn đề thặng dư bậc hai Cho n số nguyên, y Z n* gọi thặng dư bậc hai modulo n tồn x Zn cho y = x2 (modulo n) Tập hợp thặng dư bậc hai modulo n ký hiệu Qn Nếu n = p số nguyên tố ký hiệu lagrange xác định sau: a n if p| a 0, 1, if a if a Qpi Qp e1 e2 ek Nếu n hợp số n = p1 p2 pk phân tích thành thừa số nguyên tố, ký hiệu Jacobi xác định sau: Vương Thị Huyền Trang – CT1002 a n a p e a p e k k Có tồn loga hiệu nghiệm cho tính tốn (a/n ) với a, n tuỳ ý Rõ ràng, a thặng dư bậc hai (a/n) = Nhưng từ (a/n)=1 khơng suy a thặng dư bậc hai Nếu a không thặng dư bậc hai thoả mãn (a/n) = a gọi giả bình phương Tập giả bình phương ký hiệu Qn Nếu n = pq,ở p,q ngun tố phân biệt /Q n/ = /Qn/ = (p-1)(q-1)/4 Bài toán thặng dư bậc hai đặt sau: Cho n hợp số lẻ a Zn* cho ( a/n) = 1, xác định xem a có thặng dư bậc hai modulo n hay không Nếu n = p số nguyên tố dễ dàng xác định a Z n thặng dư bậc hai modulo p hay khơng Khi theo xác định kí hiệu Legendre (a/p) tính tốn cách hiệu nghiệm Nếu n = p1e1…pkek hợp số a thặng dư bậc hai modulo n a thặng dư bậc hai modulo pi với i= 1,…, k Do ta biết phân tích thành nhân tử n tốn thặng dư bậc hai giải cách kiểm tra xem (a/pi) = hay không i=1,…,k Trong trường hợp khơng biết phân tích thành nhân tử n khơng có phương pháp hữu nghiệm để giải toán Vương Thị Huyền Trang – CT1002 - Tính bí mật: bí mật cử tri bảo đảm sơ đồ mã hố Bất kỳ nhóm (t+1) người kiểm phiếu khơng có thơng tin phiếu cử tri - Tính xác minh phổ thơng: người xác minh tính hợp lệ phiếu gửi, nhận mã hoá tương ứng với người kiểm phiếu xác minh xem người kiểm phiếu có giải mã tổng phần tương ứng hay khơng, từ tính tốn kết cuối 2.2.4 Qui trình bỏ phiếu Schoenmaker Tương tự qui trình Benaloh, cử tri chia sẻ phiếu với người kiểm phiếu nhờ sơ đồ chia sẻ bí mật Việc tính tốn cuối dựa tính chất đồng cấu q trình chia sẻ bí mật (tổng bí mật xây dựng lại từ tích phần chia) Giai đoạn mở đầu: theo sơ đồ chia sẻ bí mật kiểm tra lại cách công khai (tạo phần tử sinh g, g Z p , khố cơng khai hj= gzj người kiểm phiếu đưa cho) Giai đoạn bỏ phiếu: Cử tri Vi chọn phiếu vi mình, vi {0,1} chọn ngẫu nhiên si Zp Cử tri dùng cách thức phân phối để chia sẻ bí mật g si cơng bố giá trị Ui= gsi + vi Ngồi để vi {0,1}, cử tri đưa chứng minh: logGC0=loggUi v logG(GC0) = loggUi Bất kỳ người kiểm tra phiếu bảng thơng báo tính xác minh cơng khai sơ đồ chia sẻ bí mật đưa việc chứng minh vi {0,1} Giai đoạn kiểm phiếu: Giả sử cử tri Vi (i=1, ,m) bỏ phiếu thành công hợp lệ ; tất phần chia mã hoá người tích luỹ lại: H *j Vương Thị Huyền Trang – CT1002 H p (j) ij i i hj i hj i pi ( j ) 38 Sau đó, người kiểm phiếu Aj áp dụng chia sẻ có xác minh; để đạt gi g i vi p (0) i g si i , nhờ tính đồng cấu Kết hợp với i Uig i si vi ta có gT Và tổng cuối T tính tốn sơ đồ CGS Những tính chất đạt được: - Tính hợp pháp: cử tri hợp lệ viết lên bảng thông báo Cử tri bỏ phiếu khơng hợp lệ phiếu đơi, cử tri bị địi hỏi phải chứng minh tính hợp lệ phiếu - Tính bí mật: bất ký nhóm (t+1) người kiểm phiếu biết phiếu cử tri Tính bí mật đảm bảo sơ đồ chia sẻ bí mật xác minh cơng khai - Tính xác minh phổ thơng: xác minh tính hợp lệ phiếu bầu Sơ đồ chia sẻ bí mật có xác minh cơng khai ngăn cản tượng cử tri phân phối sai phần bí mật tới người kiểm phiếu Ai nhân phần bí mật mã hố người kiểm phiếu thứ j xác minh xem người kiểm phiếu thứ j có giải mã hay khơng Ai tính tốn tổng cuối từ tổng phần chia cơng bố 2.2.5 Qui trình bỏ phiếu CGS Qui trình hiệu thoả mãn tất yêu cầu đặt qui trình bầu cử Qui trình dựa giả định loga rời rạc, điều chỉnh với giả định thặng dư thứ q Giai đoạn mở đầu: hệ mật mã ngưỡng ElGamal tạo lập; ban kiểm phiếu chia sẻ khố giải mã s, khố cơng khai (p,g,h), h j =gsi hàm sinh cố định G Gq công khai Giai đoạn bỏ phiếu: Cử tri Vi chọn phiếu m0= G phiếu Yes, m1= 1/G với phiếu No Lá phiếu mã hố có dạng (x,y)=g k, hkmb (trong k số ngẫu nhiên, b {0, 1} Cử tri phải chứng minh phiếu dạng Lá phiếu mã hố với chứng minh tính hợp lệ đưa bảng thơng báo Vương Thị Huyền Trang – CT1002 39 Giai đoạn kiểm phiếu: Ban kiểm phiếu kiểm tra chứng minh tính hợp lệ phiếu tích phiếu mã hoá hợp lệ: (X,Y) ( xi , i yi ) i Sau ban kiểm phiếu hợp tác thực cách thức giải mã (X,Y) để đạt giá trị W=Y/Xs Mỗi người kiểm phiếu công khai chứng minh không tương tác (từ cách giải mã) người kiểm phiếu sử dụng phần khố chia sẻ Từ đó, ta có W=GT, T sai khác số phiếu YES NO; -M T M; M số cử tri đủ tư cách ; suy T=logGW, nói chung giá trị khó tính tốn T xác định cách thực phép nhân modulo 0(M) nhờ tính tốn lặp: G-M, G-M+1, tìm W Những tính chất đạt được: - Tính hợp lệ: phiếu không cử tri không chấp nhận nhờ kiểm tra chứng minh tính hợp lệ - Tính trung thực: Qui trình chống lại t người kiểm phiếu không trung thực - Tính bí mật: phiếu riêng lẻ đảm bảo an tồn hệ thống bí mật Elgamal Bất kỳ nhóm t người kiểm phiếu khơng biết rõ phiếu - Tính xác minh phổ thơng: người kiểm tra phần chứng minh tính hợp lệ phiếu, tính tích phiếu hợp lệ xác minh tính đắn việc giải mã cách kiểm tra phần chứng minh người kiểm phiếu việc sử dụng phần bí mật 2.2.6 Qui trình bỏ phiếu HS Trong qui trình HS, phiếu thích hợp mã hố hoán vị ban kiểm phiếu Một hoán vị phiếu mã hoá gửi tới cử tri thông qua kênh chống đột nhập đường truyền Cử tri phiếu Vương Thị Huyền Trang – CT1002 40 chọn Qui trình thiết kế theo cách mà có cử tri biết hốn vị cuối cử tri nói dối phiếu chọn với * Sơ đồ bầu cử - L: Các phiếu mã hoá sử dụng hệ mã hoá Elgamal: lựa chọn thứ i mã hoá thành (gk mod p, hkGi mod p) Trong (p,g, h) khố Elgamal công khai k số ngẫu nhiên - Giai đoạn mở đầu: N người kiểm phiếu thiết lập hệ mật mã Elgamal ngưỡng mạnh Các hàm sinh G1, , GL đại diện cho lựa chọn cơng khai Ban kiểm phiếu tạo danh sách công khai phiếu hợp lệ mã hoá chuẩn e1(0), e2(0), , eL(0), e1(0) mã hố lựa chọn Gi, số ngẫu nhiên k=0; e1(0)= (1, Gi) - Giai đoạn bỏ phiếu: cử tri V, người kiểm phiếu tạo danh sách mã hoá phiếu Từ cử tri V lựa chọn để đại diện cho định Ngược lại, với người kiểm phiếu Ai (j=1, ,N): nhập danh sách e1(j-1), , eL(j-1), mã hoá lại phần danh sách hốn vị danh sách theo trật tự ngẫu nhiên Với cách này, A j tạo danh sách e1(j), , eL(j) Hơn nữa, Aj bị yêu cầu chứng minh danh sách vừa tạo xây dựng Nếu A j thất bại cách cử tri (j) phản đối Aj Aj coi khơng có loại bỏ A j đặt e = e (j-1) Người kiểm phiếu nhận danh sách mẫu e1(0) , , eL(0) Sau mơ tả chi tiết phương thức này: + Aj tính toán danh sách đưa e1(j), ,eL(j) theo cách sau: Aj lựa chọn phép hoán vị ngẫu nhiên j: {1, ,L} {1, ,L} số ngẫu nhiên k1, , kL RZp Thứ tự (i) danh sách cuối có cách mã hố lại thứ tự i (là ei (j-1)) từ danh sách đầu vào với số ngẫu nhiên ki + Không tiết lộ phép hoán vị j số ngẫu nhiên k1, , kL; người kiểm phiếu Aj danh sách đầu e1 Vương Thị Huyền Trang – CT1002 (j) , ,eL(j) xây dựng 41 đúng: với i = 1, ,L Aj chứng minh tồn mã hoá lại thứ tự thứ i (ei(j-1)) danh sách đầu vào danh sách đầu e1(j), ,eL(j) + Aj trao đổi với cách bí mật phép hốn vị j chứng minh bí mật tính đắn phép hốn vị đó, thơng qua kênh chống đột nhập đường truyền tới cử tri V Một cách cụ thể hơn: Aj chứng minh với i, e (j) j (i) mã hoá lại ei (j-1) + Nếu cử tri không chấp nhận chứng minh, cử tri phản ánh cách công khai người kiểm phiếu Sau đó, danh sách tương ứng quay lại giai đoạn trước e1(j-1), , eL(j-1) người kiểm phiếu thứ j bị lờ Cử tri khiếu nại nhiều (N - t -1) người kiểm phiếu Cử tri thơng báo cơng khai vị trí thứ i phiếu mong muốn danh sách cuối e(N) -Giai đoạn kiểm phiếu: cử tri chọn phiếu từ danh sách cuối mà ban kiểm phiếu tạo cho cử tri Các phiếu mã hoá nhân lên để mã hoá tổng phiếu Ban kiểm phiếu liên kết giải mã tổng cơng bố chứng minh giải mã Những tính chất đạt được: Tính hợp pháp: cử tri bỏ phiếu hợp lệ bỏ phiếu - nhiếu lần theo ý Tính bí mật cao: phiếu mã hố khơng thể giải mã người ngồi - nhóm (t+1) người kiểm phiếu Một nhóm (t+1) người kiểm phiếu liên minh lại khơng thể tìm trật tự cũ danh sách - Tính xác minh phổ thơng: Bất kỳ người kiểm tra xem người kiểm phiếu Aj có hốn vị danh sách cách xác hay khơng Cũng với cách này, người xem xác minh xem danh sách cuối e(N) có danh sách mã hố phiếu hay khơng Người xem tính tốn tích phiếu mã hoá mà cử tri chọn, xác minh xem Ban kiểm phiếu có giải mã tổng cuối hay không Vương Thị Huyền Trang – CT1002 42 Chương 3: XÂY DỰNG ỨNG DỤNG MÔ PHỎNG BỎ PHIẾU ĐIỆN TỬ 3.1 MƠ TẢ BÀI TỐN : Bước 1: Chuẩn bị: Ban tổ chức bầu cử cần chuẩn bị hệ mã RSA với : số nguyên tố lớn (p,q) n = p.q ; (n)=(p-1)(q-1) Chọn b nguyên tố (n) Chọn a nghịch đảo với b; a=b-1 mod (n) Trong đó, a khóa bí mật b khóa cơng khai - Ký x: Sig (x) = xa mod n - Kiểm tra chữ ký: Ver (x,y)= True x yb mod n Ban tổ chức cấp cho thành viên mảnh khóa riêng Sau xét duyệt hồ sơ xin chữ ký cử tri thành viên Ban tổ chức trí cho ký họ khớp mảnh khóa riêng để nhận khóa ký Bước 2: Đăng ký : Cử tri chọn bí mật số định danh x (tiêu biểu cho ứng cử viên), giấy chứng minh thư điện tử (CMT), thông tin nhận dạng làm mù x thành y=Blind(x) gửi tất thơng tin cho Ban tổ chức Ban tổ chức xác minh ghi lại nhận dạng chứng minh thư điện tử Cử tri xem có khớp hợp lệ với danh sách cử tri hay không chưa bỏ phiếu lần Sau Ban kiểm phiếu ký lên y Đó chữ ký z=sign(y) chuyển lại cho Cử tri Cử tri sau khi nhận chữ ký mù bắt đầu xóa mù z, họ nhận chữ ký sign(y) xóa mù x phiếu có chữ ký Ban tổ chức coi hợp lệ để Cử tri ghi ý kiến Vương Thị Huyền Trang – CT1002 43 Cử tri kiểm tra chữ ký có phải thật hay không cách sử dụng hàm kiểm tra chữ ký khóa cơng khai mà Ban tổ chức cấp cho Bước 3: Bỏ phiếu : Sau phiếu có chữ ký Ban tổ chức, cử tri ghi ý kiến (lựa chọn) phiếu cách đánh dấu lên phiếu gạch tên ứng cử viên Cử tri mã hóa phiếu khóa cơng khai Ban tổ chức gửi tới Ban tổ chức phiếu bị mã hóa, đinh danh thật ( không bị làm mù) họ, chữ ký Ban tổ chức cho Ban tổ chức Trước kiểm phiếu, phiếu cử tri phải kiểm tra chữ ký cấp quyền bỏ phiếu có bị giả mạo khơng để xác minh tính hợp lệ phiếu mã hóa lại gửi hòm phiếu Khi kiểm phiếu, thành viên Ban tổ chức dùng mảnh khóa riêng để khơi phục khóa bí mật Ban tổ chức dùng khóa bí mật để tính kết bầu cử Ban tổ chức thông báo kết lên Bảng niêm yết công khai Vương Thị Huyền Trang – CT1002 44 Sơ đồ mô bỏ phiếu điện tử : Các bước Cử tri ( CT ) thực Đăng ký - Chọn bí mật bí danh x x làm mù,CMT,nhận dạng - Kiểm tra ghi lại thông tin cử tri - Mã hóa phiếu - Nếu hợp lệ ký -Xóa mù để thu chữ x làm mù ký x Bỏ phiếu Ban tổ chức (BTC) - Chọn ý kiến cho phiếu có chữ ký BTC Chữ ký x làm mù Lá phiếu mã hóa khóa cơng khai BTC CT gửi - Kiểm tra chữ ký tính hợp lệ phiếu - Mã hóa lại phiếu gửi hịm phiếu - Khơi phục khóa bí mật - Tính kết bầu cử - Thơng báo niêm yết công khai Vương Thị Huyền Trang – CT1002 45 3.2 MÔ PHỎNG BỎ PHIẾU ĐIỆN TỬ : Giao diện chương trình Bước : Chuẩn bị : Vương Thị Huyền Trang – CT1002 46 Nếu kết đúng: Nếu kết sai: Hoặc : Vương Thị Huyền Trang – CT1002 47 Bước : Đăng ký : Nếu đăng ký thành công : Vương Thị Huyền Trang – CT1002 48 Trường hợp bị trùng số CMT cử tri gian lận bỏ phiếu nhiều lần : Hoặc : Bước : Bỏ phiếu : Mã hóa phiếu Lá phiếu gửi tới ban kiểm phiếu : Vương Thị Huyền Trang – CT1002 49 Kiểm tra cử tri : Nếu giả mạo : Nếu cử tri hợp lệ : Kiểm phiếu : Vương Thị Huyền Trang – CT1002 50 Và kết kiểm phiếu : Nếu mảnh khóa khơng hợp lệ : Vương Thị Huyền Trang – CT1002 51 KẾT LUẬN Trên qui trình bỏ phiếu tổng qt tóm tắt số qui trình bỏ phiếu "điện tử" tồn đặc trưng chúng Những qui trình bỏ phiếu giới thiệu có tính an tồn khác đạt yêu cầu: hợp pháp, riêng tư, rõ ràng, trung thực Bầu cử điện tử vấn đề có ý nghĩa phát triển xã hội ứng dụng mật mã học Chúng ta hy vọng rằng, với tương lai gần bầu cử điện tử có mặt Việt Nam, đóng góp cho tiến xã hội dân chủ Vương Thị Huyền Trang – CT1002 52 ... riêng phiếu) Phịng bỏ phiếu "cơ học" phiếu đục lỗ thay phiếu "điện tử" để kiểm phiếu nhanh Bỏ phiếu điện tử trực tuyến qua Internet có lợi nhiều Các cử tri bỏ phiếu từ nơi đâu Việc bỏ phiếu thuận... sơ đồ sử dụng chữ ký mù sơ đồ sử dụng mã hoá đồng cấu Luận văn gồm chương Chương 1: CÁC KHÁI NIỆM CƠ SỞ Chương 2: BỎ PHIẾU ĐIỆN TỬ Chương 3: XÂY DỰNG ỨNG DỤNG MÔ PHỎNG BỎ PHIẾU ĐIỆN TỬ Vương... đến "bỏ phiếu" ; người ta "bỏ phiếu" để thăm dị kế hoạch, sách để bầu cử chức vụ, chức danh Hiện có loại bỏ phiếu bỏ phiếu trực tiếp hòm phiếu phiếu in giấy ( "bỏ phiếu truyền thống") bỏ phiếu