ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ VŨ THỊ QUYÊN NGHIÊN CỨU VÀ THỬ NGHIỆM MÔ HÌNH BỎ PHIẾU THĂM DÕ DƢ LUẬN LUẬN VĂN THẠC SĨ NGÀNH CÔNG NGHỆ THÔNG TIN Hà Nội - 2015 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ VŨ THỊ QUYÊN NGHIÊN CỨU VÀ THỬ NGHIỆM MÔ HÌNH BỎ PHIẾU THĂM DÕ DƢ LUẬN Ngành: Công nghệ Thông tin Chuyên ngành: Hệ thống Thông tin Mã số: 60.04 LUẬN VĂN THẠC SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƢỜI HƢỚNG DẪN KHOA HỌC: TS. LÊ PHÊ ĐÔ Hà Nội - 2015 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com LỜI CẢM ƠN Luận văn Thạc sĩ này đƣợc thực hiện tại Đại học Công nghệ - Đại học Quốc gia Hà Nội dƣới sự hƣớng dẫn của TS. Xin đƣợc gửi lời cảm ơn sâu sắc đến thầy về định hƣớng khoa học, liên tục quan tâm, tạo điều kiện thuận lợi trong suốt quá trình nghiên cứu hoàn thành luận văn này. Tôi xin đƣợc gửi lời cảm ơn đến các thầy, cô trong Bộ môn Hệ thống Thông tin cũng nhƣ Khoa Công nghệ Thông tin đã mang lại cho tôi những kiến thức vô cùng quý giá và bổ ích trong quá trình theo học tại trƣờng. Tôi cũng xin chân thành cảm ơn đến gia đình tôi, những sự quan tâm và động viên của bố, mẹ, anh trai và em gái đã giúp tôi có thêm nghị lực, cố gắng để hoàn thành luận văn này. Cuối cùng, xin gửi lời cảm ơn chân thành nhất đến các bạn cùng học K19, K20 cùng các bạn sinh viên K55 đã giúp đỡ tôi trong suốt 3 năm học tập. Do thời gian và kiến thức có hạn nên luận văn chắc không tránh khỏi những thiếu sót nhất định. Tôi rất mong nhận đƣợc những sự góp ý quý báu của thầy cô và các bạn. Hà Nội, ngày 1 tháng 7 năm 2015 Vũ Thị Quyên LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com TÓM TẮT Ngày nay với sự phát triển mạnh mẽ của Internet và World Wide Web khiến các nhà chức trách nghiên cứu và tận dụng nguồn lực mới này để nâng cao hiệu quả và tính chính xác của các cuộc bầu cử. Bỏ phiếu điện tử cho phép tiết kiệm chi phí về vật chất trong việc triển khai và hoạt động của các trạm bỏ phiếu. Các tính toán và thống kê của máy tính rõ ràng tỏ ra hiệu quả, nhanh và chính xác hơn nhiều so với việc kiểm phiếu trên giấy, hệ thống quét quang học, hay đục lỗ thẻ truyền thống. Tuy nhiên vấn đề an ninh hệ thống còn rất nhiều lỗ hổng cần khắc phục dẫn đến mô hình bỏ phiếu điện tử chƣa đƣợc ứng dụng rộng rãi trên thế giới. Hiện nay, mô hình bỏ phiếu điện tử còn đƣợc đón nhận dƣới dạng thăm dò dƣ luận, hay khảo sát ngƣời dân về sở thích hoặc thăm dò ý kiến của họ trƣớc cuộc tuyển cử… Các hệ thống bỏ phiếu từ xa trƣớc đây hầu nhƣ sử dụng các hệ mã hóa công khai nhƣ RSA, ElGamal hoặc phối hợp sử dụng các hệ mã hóa đó vào từng giai đoạn khác nhau. Tuy nhiên đó chƣa phải là cách tối ƣu do độ dài khóa và tốc độ xử lý chậm. Trong luận văn này, tôi đã thử nghiệm mô hình bỏ phiếu thăm dò dƣ luận sử dụng Hệ mật đƣờng cong Elliptic – Một hệ mã hóa công khai với độ dài khóa ngắn hơn và độ an toàn tƣơng đƣơng nhƣ RSA để áp dụng vào công tác thăm dò của một trƣờng THPT hoặc một trƣờng Đại học. Từ khóa: Bỏ phiếu điện tử, Thăm dò dƣ luận, EC-ElGamal, An toàn thông tin i LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com LỜI CAM ĐOAN Tôi xin cam đoan luận văn “Nghiên cứu và thử nghiệm mô hình bỏ phiếu thăm dò dƣ luận” là công trình nghiên cứu của cá nhân tôi dƣới sự hƣớng dẫn của TS. Lê Phê Đô, trung thực và không sao chép của tác giả khác. Trong toàn bộ nội dung nghiên cứu của luận văn, các vấn đề đƣợc trình bày đều là những tìm hiểu và nghiên cứu của chính cá nhân tôi hoặc là đƣợc trích dẫn từ các nguồn tài liệu có ghi tham khảo rõ ràng, hợp pháp. Tôi xin chịu mọi trách nhiệm và mọi hình thức kỷ luật theo quy định cho lời cam đoan này. Hà Nội, ngày 1 tháng 7 năm 2015 Vũ Thị Quyên ii LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com MỤC LỤC TÓM TẮT.i LỜI CAM ĐOAN . ii MỤC LỤC . iii DANH SÁCH CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT .vi DANH MỤC CÁC HÌNH VẼ, ĐỒ THỊ . vii DANH SÁCH BẢNG BIỂU . viii MỞ ĐẦU . TỔNG QUAN VỀ BỎ PHIẾU ĐIỆN TỬ. 3 Ở MỘT SỐ NƢỚC TRÊN THẾ GIỚI . Lịch sử máy bầu cử trên thế giới . Đục lỗ thẻ . Hệ thống quét quang học . Thiết bị điện tử ghi nhận trực tiếp (DRE – Direct-recording Electronic) . Bỏ phiếu điện tử . Hệ thống bầu cử điện tử Estonia . Cơ sở hệ thống . Đánh giá an ninh hệ thống . Nhận xét về hệ thống bầu cử ở Estonia . Hệ thống bầu cử điện tử Israel. Hệ thống RFID . Hệ thống bầu cử điện tử Israel . Các tính năng an ninh của hệ thống . Đánh giá hai hệ thống bầu cử Estonia và Israel . Hệ thống bỏ phiếu thăm dò dƣ luận trực tuyến . Hệ thống thăm dò dƣ luận trực tuyến . Ý tƣởng phần mềm cho bỏ phiếu nhiều lần và bỏ phiếu tự động . Kỹ thuật bảo vệ chống lại bỏ phiếu tự động. Giải pháp chống lại bỏ phiếu tự động . Tình hình bầu cử điện tử ở Việt Nam . Tổng quan về tình hình bỏ phiếu điện tử của nƣớc ta . Bỏ phiếu điện tử phục vụ công tác thi đua khen thƣởng tại Cơ quan EVNCPC . Bỏ phiếu điện tử tại kì họp đại hội cổ đông (ĐHCĐ) . CƠ SỞ TOÁN HỌC TRONG BẦU CỬ ĐIỆN TỬ . Lý thuyết toán học . Số nguyên tố. 25 iii LUAN VAN CHAT LUONG download : add luanvanchat@agmail. Trƣờng hữu hạn . Hàm một phía và cửa sập một phía . Chữ kí điện tử . Chữ ký mù RSA . Chia sẻ bí mật . Khái niệm chia sẻ bí mật . Giao thức “Chia sẻ bí mật” Sharmir . Logarit rời rạc .1 Các khái niệm cơ sở .2 Thuật toán bƣớc Baby và bƣớc Giant của Shank .3 Thuật toán Pollig – Hellman. CÁC THUẬT TOÁN NỀN TẢNG TRONG BỎ PHIẾU ĐIỆN TỬ . Hệ thống bầu cử . Khái niệm bầu cử điện tử . Mô hình bài toán bỏ phiếu điện tử. Yêu cầu của hệ thống bầu cử . Những vấn đề cần giải quyết . Hệ mã hóa đồng cấu . Phân loại mã hoá đồng cấu . Mô hình hệ mã hóa đồng cấu trong bầu cử điện tử . Hệ mã hóa EC-ElGamal . Đƣờng cong Elliptic trên trƣờng hữu hạn Fp . Hệ mã hóa EC-ElGamal . Hệ mật đƣờng cong Elliptic ứng dụng trong bầu cử điện tử . Ví dụ về trƣờng hợp thăm dò dƣ luận . Đánh giá độ an toàn của hệ thống . Mô hình bỏ phiếu điện tử dựa trên chữ kí vòng . 62 iv LUAN VAN CHAT LUONG download : add luanvanchat@agmail. Định nghĩa chữ kí vòng . Mô hình chữ kí vòng (RSA Version) . Ứng dụng của chữ kí vòng trong bầu cử điện tử . Các tính chất đạt đƣợc . CHƢƠNG TRÌNH THỬ NGHIỆM . Xây dựng chƣơng trình thử nghiệm mô hình bỏ phiếu thăm dò dƣ luận . Các đối tƣợng của hệ thống . Các chức năng chính . Thiết kế chƣơng trình . Thứ tự thực hiện chƣơng trình. Kết quả thực nghiệm . Các tính chất đạt đƣợc . 83 TÀI LIỆU THAM KHẢO . 84 v LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com DANH SÁCH CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT ID - Identification Định danh cử tri VFS/HES - Vote forwarding server Máy chủ chuyển tiếp lá phiếu VSS/HTS - Vote storage server Máy chủ lƣu trữ lá phiếu VCS/HLR - Vote counting server Máy kiểm phiếu RFID - Radio Frequency Công nghệ nhận dạng đối tƣợng bằng Identification sóng vô tuyến ĐHCĐ Đại hội cổ đông HĐQT Hội đồng quản trị GDCK Giao dịch Chứng khoán EzGSM ĐHCĐ trực tuyến – plaintext Tập các bản rõ – Ciphertext Tập các bản mã Đƣờng cong elliptic xác định trên trƣờng Fq # ( ) Tất cả số điểm trên Vi Cử tri i P Hệ thống khóa công khai X||Y Thông điệp X kết nối với thông điệp Y bit by bit KDC – Key Distribution Center Trung tâm phân phối khóa PK – Public key Khóa công khai SK – Secret key Khóa bí mật vi LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com DANH MỤC CÁC HÌNH VẼ, ĐỒ THỊ Hình 1. Chứng minh thƣ điện tử ở Estonia . Hệ thống bầu cử điện tử Estonia . Cử tri sử dụng điện thoại thông minh quét mã xác thực QR . Kết quả bầu cử . Thiết bị RFID . Hệ thống bỏ phiếu Israel. Các lựa chọn trong cuộc bình chọn bài hát Việt 2015 . Kết quả bình chọn . Thông báo lỗi bình chọn . Một cuộc thăm dò dƣ luận ở trang 24h. Kết quả bình chọn . Thăm dò ý kiến ngƣời dân về nguyên nhân tai nạn giao thông tăng cao . Giao diện chức năng bỏ phiếu của chƣơng trình CPC eVote . Tất cả thành viên đều có thể xem đƣợc dữ liệu tổng hợp kết quả . Cổ đông lựa chọn ý kiến biểu quyết . Phép cộng trên đƣờng cong Elliptic . Phép nhân đôi trên đƣờng cong Elliptic . Minh họa cho hàm hợp . Mô hình chữ kí vòng .1: Giao diện chính của chƣơng trình . Ban lƣu trữ khóa đăng nhập vào hệ thống . Ban lƣu trữ khóa đăng nhập sai . Ban lƣu trữ khóa đăng nhập thành công . Giao diện chính của ban lƣu trữ khóa . Tạo thành công CSDL cử tri . Tạo thành công CSDL ban kiểm phiếu . Cử tri đăng nhập vào hệ thống . Cử tri đăng nhập không thành công . Cử tri đăng nhập thành công . 75 vii LUAN VAN CHAT LUONG download : add luanvanchat@agmail. Thông báo nhắc nhở cử tri đổi mật khẩu . Quá trình bầu cử . Cử tri cập nhật thông tin . Cập nhật thông tin cử tri thành công . Thông báo nhắc nhở lựa chọn của cử tri . Thông báo xác nhận lựa chọn của cử tri. Thông báo bỏ phiếu thanh công . Ban kiểm phiếu đăng nhập vào hệ thống . Ban kiểm phiếu đăng nhập sai . Ban kiểm phiếu đăng nhập thành công . Mảnh khóa của ban kiểm phiếu . Ban kiểm phiếu cập nhật thông tin . Ban kiểm phiếu cập nhật thông tin thành công . Thông báo xác nhận quá trình gửi mảnh khóa . Gửi mảnh khóa thành công. Xác nhận ghéo mảnh khóa . Thông báo ghép mảnh khóa thành công . Kết quả bầu cử .
Nghiên cứu và thử nghiệm mô hình bỏ phiếu thăm dò dư luận tại Đại học Quốc gia Hà Nội
Luận văn thạc sĩ phân tích vnu uet nghiên cứu và thử nghiệm mô hình bỏ phiếu thăm dò dư luận 04, đánh giá thực trạng, chỉ ra hạn chế, đề xuất giải pháp khả thi cho thực tiễn.
Trường đại học
Trường Đại Học Công NghệChuyên ngành
Công nghệ Thông tinNgười đăng
Ẩn danhThể loại
Luận văn Thạc sĩPhí lưu trữ
35 PointMục lục chi tiết
THÔNG TIN CHI TIẾT
Tác giả: Vũ Thị Quyên
Người hướng dẫn: TS. Lê Phê Đô
Trường học: Trường Đại Học Công Nghệ
Chuyên ngành: Công nghệ Thông tin
Đề tài: Nghiên cứu và thử nghiệm mô hình bỏ phiếu thăm dò dư luận
Loại tài liệu: Luận văn Thạc sĩ
Năm xuất bản: 2015
Địa điểm: Hà Nội
Trích đoạn nội dung tài liệu
Nội dung được bảo vệ bản quyền — Tải xuống đầy đủ