Luận văn nghiên cứu một số bài toán an toàn thông tin trong giai đoạn đăng kí bỏ phiếu điện tử

MỤC LỤC MỤC LỤC LỜI CẢM ƠN DANH MỤC HÌNH VẼ BẢNG CHỮ VIẾT TẮT MỞ ĐẦU Chương MỘT SỐ KHÁI NIỆM CƠ BẢN 1.1 MỘT SỐ KHÁI NIỆM TOÁN HỌC 1.1.1 Số nguyên tố nguyên tố 1.1.2 Đồng dƣ 1.1.3 Không gian Zn 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 thuật toán 12 1.1.9 Hàm phía hàm cửa sập 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 Mangh■■ng Luôn 123doc Th■a thu■n l■icam s■ tr■ h■u k■t s■ nghi■m t■im■t d■ng s■website mang kho m■i th■ m■ l■i d■n CH■P vi■n nh■ng cho ■■u kh■ng ng■■i NH■N quy■n chia dùng, l■ CÁC s■l■i v■i và■I■U t■t công h■n mua nh■t 2.000.000 ngh■ bán KHO■N cho tàihi■n ng■■i li■u TH■A tài th■ hàng li■u dùng hi■n THU■N ■■u ■ t■t Khi ■■i, Vi■t c■ khách b■n l■nh Nam Chào online hàng v■c: Tác m■ng tr■ khơng tài phong thành b■n khác chun ■■n thành tíngì d■ng, v■i so nghi■p, viên 123doc v■i cơng c■a b■n hồn ngh■ 123doc g■c h■o, thơng B■n và■■ n■p có tin, cao th■ ti■n ngo■i tính phóng vào ng■, Khách trách tài to,kho■n nhi■m thu nh■ c■a ■■i hàng tùy123doc, v■i ý cót■ng th■b■n d■ ng■■i dàng s■ dùng ■■■c tra c■u M■c h■■ng tàitiêu li■u nh■ng hàng m■t■■u quy■n cáchc■a l■i123doc.net sau xác,n■p nhanh ti■n tr■ chóng thành website th■ vi■n tài li■u online l■n nh■t Vi■t Nam, cung c■p nh■ng tài li■u ■■c không th■ tìm th■y th■ tr■■ng ngo■i tr■ 123doc.net Nhi■u event thú v■, event ki■m ti■n thi■t th■c 123doc luôn t■o c■ h■i gia t■ng thu nh■p online cho t■t c■ thành viên c■a website Mangh■n Luôn Th■a Xu■t Sau Nhi■u 123doc h■■ng phát thu■n l■i event cam s■ nh■n m■t tr■ t■ h■u k■t s■ thú nghi■m t■i ýxác n■m t■■ng m■t d■ng v■, s■ nh■n website mang event kho m■i ■■i, t■o t■ th■ m■ l■i c■ng ki■m ■■ng d■n 123doc CH■P vi■n nh■ng cho ■■u ■■ng ti■n h■ kh■ng ng■■i NH■N ■ã quy■n th■ng thi■t chia t■ng ki■m dùng, l■ CÁC s■ th■c s■ l■i b■■c v■i ti■n vàchuy■n ■I■U t■t công h■n mua 123doc online kh■ng nh■t 2.000.000 ngh■ bán KHO■N sang b■ng cho tài ■■nh hi■n ng■■i li■u ph■n tài TH■A tài v■ th■ li■u hàng t■o li■u thơng dùng tríhi■n THU■N hi■u c■ c■a ■■u ■ tin t■t h■i Khi ■■i, qu■ Vi■t xác c■ khách gia b■n nh■t, minh l■nh Nam t■ng Chào online hàng uy tài v■c: l■nh thu Tác m■ng tín kho■n tr■ nh■p không tài phong v■c cao thành b■n email nh■t tài online khác chuyên ■■n li■u thành tínb■n Mong cho d■ng, v■i so nghi■p, viên kinh ■ã t■t 123doc 123doc.net! v■i mu■n công ■■ng c■a c■ doanh b■n hoàn mang ngh■ 123doc ký g■c online thành v■i h■o, Chúng l■i thông B■n 123doc.netLink cho viên Tính ■■ n■p có tơi tin, c■ng c■a cao th■ ■■n cung ti■n ngo■i tính website phóng ■■ng th■i vào c■p ng■, Khách trách xác tài ■i■m D■ch xã to,kho■n th■c nhi■m h■i thutháng V■ nh■ m■t s■ c■a (nh■ ■■i hàng ■■■c tùy ngu■n 5/2014; 123doc, v■i ■■■c ý cóg■i t■ng th■ tài 123doc v■ mơ ngun b■n d■ ng■■i ■■a t■ dàng s■ v■■t d■■i tri dùng ■■■c ch■ tra th■c m■c ■ây) email c■u M■c h■■ng quý 100.000 cho tài b■n tiêu báu, li■u b■n, nh■ng ■ã hàng phong m■t l■■t tùy ■■ng ■■u quy■n cách truy thu■c phú, ky, c■a c■p ■a l■i b■n vào 123doc.net m■i d■ng, sau xác, vuingày, n■p lòng “■i■u nhanh giàu ti■n s■ ■■ng tr■ giá Kho■n chóng h■u thành tr■ nh■p 2.000.000 website ■■ng Th■a th■ email vi■n th■i Thu■n c■a thành mong tài v■ li■u viên mu■n S■ online ■■ng D■ng click t■o l■n ký, D■ch ■i■u vào nh■t l■t link ki■n V■” vào Vi■t 123doc top sau cho Nam, 200 ■ây cho ■ã cung các (sau g■iwebsite c■p users ■âynh■ng ■■■c cóph■ thêm tài bi■n g■i thu li■u t■t nh■t nh■p ■■c T■it■i khơng t■ng Chính Vi■tth■i th■ Nam, v■y ■i■m, tìm t■123doc.net th■y l■chúng tìm ki■m tơi th■ racóthu■c ■■i tr■■ng th■nh■m c■p top ngo■i 3nh■t ■áp Google tr■ ■KTTSDDV ■ng 123doc.net Nh■n nhu c■u ■■■c theo chiaquy■t danh s■ tài hi■u li■udo ch■t c■ng l■■ng ■■ng vàbình ki■mch■n ti■n online website ki■m ti■n online hi■u qu■ uy tín nh■t Lnh■n 123doc Sau Th■a Xu■t h■■ng phát thu■n cam nh■n m■t t■k■t s■ t■i ýxác n■m t■■ng d■ng s■ nh■n website mang ■■i, t■o t■l■i c■ng ■■ng d■n 123doc CH■P nh■ng ■■u ■■ng h■ NH■N ■ã quy■n th■ng chia t■ng ki■m CÁC s■s■ l■i b■■c ti■n vàchuy■n ■I■U t■t mua online kh■ng nh■t bán KHO■N sang b■ng cho tài ■■nh ng■■i li■u ph■n tài TH■A v■ li■u hàng thơng dùng tríTHU■N hi■u c■a ■■u tin Khi qu■ Vi■t xác khách nh■t, minh Nam Chào hàng uy tài l■nh Tác m■ng tín kho■n tr■ phong v■c cao thành b■n email nh■t tàichuyên ■■n li■u thành b■n Mong v■i nghi■p, viên kinh ■ã 123doc 123doc.net! mu■n ■■ng c■a doanh hoàn mang 123doc kýonline v■i h■o, Chúng l■ivà 123doc.netLink cho Tính ■■ n■p tơi c■ng cao ■■n cung ti■n tính ■■ng th■i vào c■p trách xác tài ■i■m D■ch xãkho■n th■c nhi■m h■itháng V■ m■t s■ c■a (nh■ ■■i ■■■c ngu■n 5/2014; 123doc, v■i ■■■c g■i t■ng tài 123doc v■ mô nguyên b■n ng■■i ■■a t■s■ v■■t d■■i tri dùng ■■■c ch■ th■c m■c ■ây) email M■c h■■ng quý 100.000 cho b■n tiêu báu, b■n, nh■ng ■ã hàng phong l■■t tùy ■■ng ■■u quy■n truy thu■c phú, ky, c■a c■p ■a l■i b■n vào 123doc.net m■i d■ng, sau vuingày, n■p lòng “■i■u giàu ti■n s■ ■■ng tr■ giá Kho■n h■u thành tr■ nh■p 2.000.000 website ■■ng Th■a th■ email vi■n th■i Thu■n c■a thành mong tài v■ li■u viên mu■n S■ online ■■ng D■ng click t■o l■n ký, D■ch ■i■u vào nh■t l■t link ki■n V■” vào Vi■t 123doc top sau cho Nam, 200 ■ây cho ■ã cung các (sau g■iwebsite c■p users ■âynh■ng ■■■c cóph■ thêm tài bi■n g■i thu li■u t■t nh■t nh■p ■■c T■it■i khơng t■ng Chính Vi■tth■i th■ Nam, v■y ■i■m, tìm t■123doc.net th■y l■chúng tìm ki■m tơi th■ racóthu■c ■■i tr■■ng th■nh■m c■p top ngo■i 3nh■t ■áp Google tr■ ■KTTSDDV ■ng 123doc.net Nh■n nhu c■u ■■■c theo chiaquy■t danh s■ tài hi■u li■udo ch■t c■ng l■■ng ■■ng vàbình ki■mch■n ti■n online website ki■m ti■n online hi■u qu■ uy tín nh■t Lnh■n Th■a Xu■t Sau Nhi■u 123doc Mang h■■ng phát thu■n l■i event cam s■ nh■n m■t tr■ t■ h■u k■t s■ thú nghi■m t■i ýxác n■m t■■ng m■t d■ng v■, s■ nh■n website mang event kho m■i ■■i, t■o t■ th■ m■ l■i c■ng ki■m ■■ng d■n 123doc CH■P vi■n nh■ng cho ■■u ■■ng ti■n h■ kh■ng ng■■i NH■N ■ã quy■n th■ng thi■t chia t■ng ki■m dùng, l■ CÁC s■ th■c s■ l■i b■■c v■i ti■n vàchuy■n ■I■U t■t công h■n mua 123doc online kh■ng nh■t 2.000.000 ngh■ bán KHO■N sang b■ng cho tài ■■nh hi■n ng■■i li■u ph■n tài TH■A tài v■ th■ li■u hàng t■o li■u thơng dùng tríhi■n THU■N hi■u c■ c■a ■■u ■ tin t■t h■i Khi ■■i, qu■ Vi■t xác c■ khách gia b■n nh■t, minh l■nh Nam t■ng Chào online hàng uy tài v■c: l■nh thu Tác m■ng tín kho■n tr■ nh■p khơng tài phong v■c cao thành b■n email nh■t tài online khác chun ■■n li■u thành tínb■n Mong cho d■ng, v■i so nghi■p, viên kinh ■ã t■t 123doc 123doc.net! v■i mu■n công ■■ng c■a c■ doanh b■n hoàn mang ngh■ 123doc ký g■c online thành v■i h■o, Chúng l■i thơng B■n 123doc.netLink cho viên Tính ■■ n■p có tơi tin, c■ng c■a cao th■ ■■n cung ti■n ngo■i tính website phóng ■■ng th■i vào c■p ng■, Khách trách xác tài ■i■m D■ch xã to,kho■n th■c nhi■m h■i thutháng V■ nh■ m■t s■ c■a (nh■ ■■i hàng ■■■c tùy ngu■n 5/2014; 123doc, v■i ■■■c ý cóg■i t■ng th■ tài 123doc v■ mô nguyên b■n d■ ng■■i ■■a t■ dàng s■ v■■t d■■i tri dùng ■■■c ch■ tra th■c m■c ■ây) email c■u M■c h■■ng quý 100.000 cho tài b■n tiêu báu, li■u b■n, nh■ng ■ã hàng phong m■t l■■t tùy ■■ng ■■u quy■n cách truy thu■c phú, ky, c■a c■p ■a l■i b■n vào 123doc.net m■i d■ng, sau xác, vuingày, n■p lòng “■i■u nhanh giàu ti■n s■ ■■ng tr■ giá Kho■n chóng h■u thành tr■ nh■p 2.000.000 website ■■ng Th■a th■ email vi■n th■i Thu■n c■a thành mong tài v■ li■u viên mu■n S■ online ■■ng D■ng click t■o l■n ký, D■ch ■i■u vào nh■t l■t link ki■n V■” vào Vi■t 123doc top sau cho Nam, 200 ■ây cho ■ã cung các (sau g■iwebsite c■p users ■âynh■ng ■■■c cóph■ thêm tài bi■n g■i thu li■u t■t nh■t nh■p ■■c T■it■i không t■ng Chính Vi■tth■i th■ Nam, v■y ■i■m, tìm t■123doc.net th■y l■chúng tìm ki■m tơi th■ racóthu■c ■■i tr■■ng th■nh■m c■p top ngo■i 3nh■t ■áp Google tr■ ■KTTSDDV ■ng 123doc.net Nh■n nhu c■u ■■■c theo chiaquy■t danh s■ tài hi■u li■udo ch■t c■ng l■■ng ■■ng vàbình ki■mch■n ti■n online website ki■m ti■n online hi■u qu■ uy tín nh■t u■t phát Nhi■u Mang Luôn 123doc Th■a Xu■t Sau h■n h■■ng phát thu■n l■i event s■ cam nh■n t■ m■t tr■ t■ h■u ýk■t s■ thú nghi■m t■i ýt■■ng xác n■m t■■ng m■t d■ng v■, s■ nh■n website mang event t■o kho m■i ■■i, t■o t■ c■ng th■ m■ l■i c■ng ki■m ■■ng d■n 123doc CH■P vi■n nh■ng cho ■■ng ■■u ■■ng ti■n h■ kh■ng ng■■i NH■N ■ã quy■n th■ng thi■t chia ki■m t■ng ki■m dùng, l■ CÁC s■ th■c ti■n s■ l■i b■■c v■i ti■n vàchuy■n ■I■U t■t công online h■n mua 123doc online kh■ng nh■t 2.000.000 ngh■ bán KHO■N b■ng sang b■ng cho tài ■■nh hi■n tài ng■■i li■u ph■n tài TH■A li■u tài v■ th■ li■u hàng t■o li■u thông dùng trí hi■u hi■n THU■N hi■u c■ c■a ■■u ■ tin qu■ t■t h■i Khi ■■i, qu■ Vi■t xác c■ khách gia nh■t, b■n nh■t, minh l■nh Nam t■ng Chào online uy hàng uy tài v■c: l■nh thu Tác tín m■ng tín kho■n tr■ cao nh■p khơng tài phong v■c cao thành b■n nh■t email nh■t tài online khác chuyên ■■n li■u thành tín Mong b■n Mong cho d■ng, v■i so nghi■p, viên kinh ■ã mu■n t■t 123doc 123doc.net! v■i mu■n công ■■ng c■a c■ doanh b■n mang hoàn mang ngh■ 123doc ký g■c online thành v■i l■i h■o, Chúng l■i thông B■n cho 123doc.netLink cho viên Tính ■■ n■p có c■ng tơi tin, c■ng c■a cao th■ ■■n cung ti■n ngo■i ■■ng tính website phóng ■■ng th■i vào c■p ng■, Khách trách xác xã tài ■i■m D■ch xã to,h■i kho■n th■c nhi■m h■i thum■t tháng V■ nh■ m■t s■ c■a (nh■ ■■i hàng ngu■n ■■■c tùy ngu■n 5/2014; 123doc, v■i ■■■c ý cótài g■i t■ng th■ tài 123doc ngun v■ mơ ngun b■n d■ ng■■i ■■a t■ dàng s■ v■■t tri d■■i tri dùng ■■■c ch■ th■c tra th■c m■c ■ây) email c■u quý M■c h■■ng quý 100.000 cho tài báu, b■n tiêu báu, li■u b■n, nh■ng phong ■ã hàng phong m■t l■■t tùy ■■ng ■■u phú, quy■n cách truy thu■c phú, ky, c■a c■p ■a ■a l■i b■n vào d■ng, 123doc.net m■i d■ng, sau xác, vuingày, n■p giàu lòng “■i■u nhanh giàu ti■n giá s■ ■■ng tr■ giá Kho■n chóng h■u tr■ thành tr■ nh■p ■■ng 2.000.000 website ■■ng Th■a th■ email th■i vi■n th■i Thu■n mong c■a thành mong tài v■ li■u mu■n viên mu■n S■ online ■■ng D■ng t■o click t■o l■n ■i■u ký, D■ch ■i■u vào nh■t l■t link ki■n ki■n V■” vào Vi■t 123doc cho top sau cho Nam, cho 200 ■ây cho ■ã cung các (sau g■i users website c■p users ■âynh■ng có ■■■c cóph■ thêm thêm tài bi■n g■i thu thu li■u t■t nh■p nh■t nh■p ■■c T■it■i Chính khơng t■ng Chính Vi■tth■i vìth■ Nam, vìv■y v■y ■i■m, tìm 123doc.net t■123doc.net th■y l■chúng tìm ki■m tơi th■ racó ■■i thu■c ■■i tr■■ng th■ nh■m nh■m c■p top ngo■i ■áp 3nh■t ■áp Google ■ng tr■ ■KTTSDDV ■ng 123doc.net nhu Nh■n nhuc■u c■u ■■■c chia theo chias■ quy■t danh s■tàitài hi■u li■u li■uch■t ch■t c■ng l■■ng l■■ng ■■ng vàvàki■m bình ki■mch■n ti■n ti■nonline online website ki■m ti■n online hi■u qu■ uy tín nh■t Nhi■u Mang Luôn 123doc Th■a Xu■t Sau h■n h■■ng phát thu■n l■i event s■ cam nh■n m■t tr■ t■ h■u k■t s■ thú nghi■m t■i ýxác n■m t■■ng m■t d■ng v■, s■ nh■n website mang event kho m■i ■■i, t■o t■ th■ m■ l■i c■ng ki■m ■■ng d■n 123doc CH■P vi■n nh■ng cho ■■u ■■ng ti■n h■ kh■ng ng■■i NH■N ■ã quy■n th■ng thi■t chia t■ng ki■m dùng, l■ CÁC s■ th■c s■ l■i b■■c v■i ti■n vàchuy■n ■I■U t■t công h■n mua 123doc online kh■ng nh■t 2.000.000 ngh■ bán KHO■N sang b■ng cho tài ■■nh hi■n ng■■i li■u ph■n tài TH■A tài v■ th■ li■u hàng t■o li■u thơng dùng tríhi■n THU■N hi■u c■ c■a ■■u ■ tin t■t h■i Khi ■■i, qu■ Vi■t xác c■ khách gia b■n nh■t, minh l■nh Nam t■ng Chào online hàng uy tài v■c: l■nh thu Tác m■ng tín kho■n tr■ nh■p khơng tài phong v■c cao thành b■n email nh■t tài online khác chuyên ■■n li■u thành tínb■n Mong cho d■ng, v■i so nghi■p, viên kinh ■ã t■t 123doc 123doc.net! v■i mu■n công ■■ng c■a c■ doanh b■n hoàn mang ngh■ 123doc ký g■c online thành v■i h■o, Chúng l■i thông B■n 123doc.netLink cho viên Tính ■■ n■p có tơi tin, c■ng c■a cao th■ ■■n cung ti■n ngo■i tính website phóng ■■ng th■i vào c■p ng■, Khách trách xác tài ■i■m D■ch xã to,kho■n th■c nhi■m h■i thutháng V■ nh■ m■t s■ c■a (nh■ ■■i hàng ■■■c tùy ngu■n 5/2014; 123doc, v■i ■■■c ý cóg■i t■ng th■ tài 123doc v■ mô nguyên b■n d■ ng■■i ■■a t■ dàng s■ v■■t d■■i tri dùng ■■■c ch■ tra th■c m■c ■ây) email c■u M■c h■■ng quý 100.000 cho tài b■n tiêu báu, li■u b■n, nh■ng ■ã hàng phong m■t l■■t tùy ■■ng ■■u quy■n cách truy thu■c phú, ky, c■a c■p ■a l■i b■n vào 123doc.net m■i d■ng, sau xác, vuingày, n■p lòng “■i■u nhanh giàu ti■n s■ ■■ng tr■ giá Kho■n chóng h■u thành tr■ nh■p 2.000.000 website ■■ng Th■a th■ email vi■n th■i Thu■n c■a thành mong tài v■ li■u viên mu■n S■ online ■■ng D■ng click t■o l■n ký, D■ch ■i■u vào nh■t l■t link ki■n V■” vào Vi■t 123doc top sau cho Nam, 200 ■ây cho ■ã cung các (sau g■iwebsite c■p users ■âynh■ng ■■■c cóph■ thêm tài bi■n g■i thu li■u t■t nh■t nh■p ■■c T■it■i khơng t■ng Chính Vi■tth■i th■ Nam, v■y ■i■m, tìm t■123doc.net th■y l■chúng tìm ki■m tơi th■ racóthu■c ■■i tr■■ng th■nh■m c■p top ngo■i 3nh■t ■áp Google tr■ ■KTTSDDV ■ng 123doc.net Nh■n nhu c■u ■■■c theo chiaquy■t danh s■ tài hi■u li■udo ch■t c■ng l■■ng ■■ng vàbình ki■mch■n ti■n online website ki■m ti■n online hi■u qu■ uy tín nh■t 1.4 VẤN ĐỀ VỀ AN TỒ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ử 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 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 phiếu 30 2.1.3 Bài toán phòng tránh liên kết nhân viên Ban bầu cử 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 phiếu 33 2.2.3 Bài toán phòng tránh liên kết nhân viên Ban bầu cử Cử tri 34 Chương 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 42 3.2.3 Các hồ sơ sử dụng 45 3.2.4 Ma trận thực thể chức 46 3.2.5 Biểu đồ luồng liệu mức 47 3.2.6 Biểu đồ liệu logic mức 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 khách 59 4.3.2 Chức 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 khách 64 4.4.3.1 Hướng dẫn trình làm mù 64 4.4.3.2 Hướng dẫn trình đăng ký 65 4.4.3.3 Hướng dẫn q trình xóa mù 66 4.4.3.4 Hướng dẫn trình kiểm tra chữ ký 67 4.4.4 Hƣớng dẫn chức ngƣời sử dụng 68 4.4.4.1 Hướng dẫn trình xác nhận ký 68 4.4.4.2 Hướng dẫn q trình chia sẻ khóa 69 4.4.4.3 Hướng dẫn q 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 LỜI CẢM ƠN Trƣớc hết em xin đƣợc bày tỏ trân trọng lòng biết ơn thầy giáo PGS.TS Trịnh Nhật Tiến Trong suốt q trình làm khóa luận tốt nghiệp em, thầy dành nhiều thời gian q báu đê tận tình bảo, hƣớng dân, định hƣớng cho em việc nghiên cứu Em xin chân thành cảm ơn dạy bảo giúp đỡ thầy giáo, cô giáo Khoa Công Nghệ Thông Tin – Trƣờng Đại Học Dân Lập Hải Phòng trang bị cho em kiến thức để em hồn thành tốt báo cáo tốt nghiệp DANH MỤC HÌNH VẼ Hình 1.1 Sơ đồ Quy trình bỏ phiếu điện tử 25 Hình 1.2 Sơ đồ giai đoạn đăng ký bỏ phiếu 27 Hình 1.3 Sơ đồ giai đoạn bỏ phiếu .28 Hình 1.4 Sơ đồ giai đoạn kiểm phiếu 29 Hình 3.1 Biểu đồ ngữ cảnh 41 Hình 3.2 Biểu đồ phân rã chức 42 Hình 3.3 Ma trận thực thể chức 46 Hình 3.4 Biểu đồ luồng liệu mức hệ thống bỏ phiếu 47 Hình 3.5 Biểu đồ luồng liệu mức tiến trình đăng ký bỏ phiếu 48 Hình 3.6 Biểu đồ luồng liệu mức tiến trình bỏ phiếu 49 Hình 3.7 Biểu đồ luồng liệu mức tiến trình kiểm phiếu 50 Hình 3.8 Biểu đồ ER hệ thống bỏ phiếu 53 Hình 4.1 Giao diện chương trình .58 Hình 4.2 Giao diện bắt đầu trình cài đặt .60 Hình 4.3 Thiết lập cài đặt .60 Hình 4.4 Gán (attach) sở liệu .61 Hình 4.5 Chọn đƣờng dẫn đến sở liệu .61 Hình 4.6 Tạo tài khoản SQL server 2005 62 Hình 4.7 Tạo tài khoản truy cập SQL server 2005 62 Hình 4.8 Đăng nhập .63 Hình 4.9 Các bƣớc làm mù định danh 64 Hình 4.10 Thao tác đăng ký bỏ phiếu 65 Hình 4.11 Thao tác nhận kết đăng ký 65 Hình 4.12 Thao tác xóa mù 66 Hình 4.13 Kiểm tra chữ ký 67 Hình 4.14 Q trình xác nhận thơng tin ký 68 Hình 4.15 Chia sẻ khóa ký cho thành viên 69 Hình 16 Thiết lập khóa cho hệ thống .69 BẢNG CHỮ VIẾT TẮT BDK: Ban đăng ký BKP: Ban kiểm phiếu CA: Certificate Authority – tổ chức chứng thực số CMT: Chứng minh thƣ CPU: Central Processing Unit – đơn vị xử lý trung tâm CT: cử tri GHz: Gigahertz – đơn vị đo tần số HDD: Hard Disk Driver – thiết bị lƣu trữ liệu MB: Megabyte – đơn vị đo dung lƣợng MHz: Megahertz - đơn vị đo tần số RAM: Random Access Memmory – Bộ nhớ truy cập ngẫu nhiên RSA: tên hệ mã hóa khóa cơng khai đƣợc đặt tên tên ngƣời sáng tạo hệ mã hóa Ron Rivest, Adi Shamir Len Adleman USB: Univeral Serial Bus – chuẩn kết nối máy tính với thiết bị ngoại vi MỞ ĐẦU Trong suốt nhiều kỉ qua giới, bầu cử giữ vai trò quan trọng việc xác lập thể chế trị quốc gia Và xu hƣớng phát triển khoa học công nghệ ngày nay, công nghệ thông tin ngày phổ biến đƣợc áp dụng lĩnh vực đời sống Các bầu cử ngoại lệ Ngƣời ta bỏ nhiều công sức để nghiên cứu cải tiến phƣơng thức bầu cử để ngày trở nên tốt tiện lợi Các phƣơng thức thay đổi theo thời kỳ, theo tiến xã hội Và với tiến xã hội ngày dự án phủ điện tử để giúp nhà nƣớc điều hành đất nƣớc điều tất yếu, kèm theo phát triển bỏ phiếu điện tử để thay cho bỏ phiếu thông thƣờng điều diễn tƣơng lai Nắm đƣợc tầm quan trọng tính tất yếu bỏ phiếu điện tử, nƣớc, tổ chức xây dựng giải pháp cho bỏ phiếu điện tử Khóa luận sâu tốn an tồn thơng tin bỏ phiếu điện tử, đặc biệt giai đoạn đăng ký bỏ phiếu Sau phân tích thiết kế thử nghiệm ứng dụng nhỏ bỏ phiếu điện tử Chương MỘT SỐ KHÁI NIỆM CƠ BẢN 1.1 MỘT SỐ KHÁI NIỆM TOÁN HỌC 1.1.1 Số nguyên tố nguyên tố 1/ Khái niệm + Số nguyên tố số chia hết cho + Hai số nguyên tố m n đƣợc gọi nguyên tố ƣớc số chung lớn chúng Ký hiệu: UCLN(m, n) = Số nguyên tố thƣờng đƣợc sử dụng hệ mã hóa (thƣờng số lớn 10150) 2/ Ví dụ: + Các số 2, 3, số nguyên tố + Hai số 14 nguyên tố 1.1.2 Đồng dƣ 1/ Khái niệm Cho số nguyên a, b, n (n > 0), a đƣợc gọi đồng dƣ với b theo modulo n, chia a b cho n có số dƣ Số nguyên n đƣợc gọi modulo đồng dƣ Ký hiệu: a b (mod n) 2/ Ví dụ: ≡ mod mod = mod = 3/ Tính chất đồng dƣ: Cho a, a1, b, b1, c Z Ta có tính chất sau: + a ≡ b mod n nếu a b có số dƣ chia cho n + Tính phản xạ: a ≡ a mod n + Tính đối xứng: Nếu a ≡ b mod n b ≡ a mod n + Tính giao hốn: Nếu a ≡ b mod n b ≡ c mod n a ≡ c mod n + Nếu a ≡ a1 mod n, b ≡ b1 mod n a + b ≡ a1 + b1 mod n ab ≡ a1b1 mod n 1.1.3 Không gian Zn Zn* 1/ Khái niệm Không gian số nguyên theo modulo n: Z tập hợp số nguyên không âm nhỏ n Tức : Zn = {0, 1, 2, , n-1} Tất phép toán Zn đƣợc thực modulo n Không gian Zn* tập hợp số nguyên p thuộc Zn cho ƣớc chung lớn p n Tức Zn* = {p thuộc Zn | UCLN(n, p) = 1} 2/ Ví dụ: Z6 = {0, 1, 2, 3, 4, 5}, Z6* = {1, 5} 1.1.4 Khái niệm nhóm, nhóm con, nhóm Cyclic 1/ Khái niệm a) Nhóm phần tử (G, *) thỏa mãn tính chất sau: + Tính chất kết hợp: ( x * y ) * z = x * ( y * z ) + Tính chất tồn phần tử trung gian e G: e * x = x * e = x, x + Tính chất tồn phần tử nghịch đảo x’ b) Nhóm G tập S G, S G G: x’ * x = x * x’ = e , thỏa mãn tính chất sau: + Phần tử trung lập e G nằm S + S khép kín phép tính (*) trong, tức x * y S với x, y + S khép kín phép lấy nghịch đảo G, tức x-1 S với x S S c) Nhóm cyclic: (G, *) nhóm đƣợc sinh phần tử Tức có phần tử g G mà với a G, tồn số n N để gn = a Khi g phần tử sinh hay phần tử nguyên thủy nhóm G 2/ Ví dụ: (Z+, *) gồm số nguyên dƣơng nhóm cyclic có phần tử sinh 10 4.4 HƢỚNG DẪN SỬ DỤNG CHƢƠNG TRÌNH 4.4.1 Hƣớng dẫn cài đặt chƣơng trình 1/ Cài đặt chƣơng trình Chạy tệp setup.exe để bắt đầu trình cài đặt Bấm [next] Hình 4.2 Giao diện bắt đầu q trình cài đặt Sau lựa chọn đƣờng dẫn để cài chƣơng trình (hình 4.3) Bấm [next] Hình 4.3 Thiết lập cài đặt 60 2/ Gán sở liệu (attach database) + Khởi động SQL Management Studio Express Trong cửa sổ đối tƣợng (Object Explorer), nhấn chuột phải lên Database chọn Attach… Hình 4.4 Gán (attach) sở liệu + Trong cửa sổ Attach Database (hình 4.3), bấm [Add], chọn đƣờng dẫn (Evoting.mdf nằm thƣ mục Data chƣơng trình vừa cài đặt) Sau bấm [OK] để hồn tất q trình Hình 4.5 Chọn đƣờng dẫn đến sở liệu 61 3/ Tạo tài khoản truy cập sở liệu + Trong cửa sổ đối tƣợng chuột phải lên Security, lựa chọn Login… Hình 4.6 Tạo tài khoản SQL server 2005 + Trong cửa sổ tạo mới(Login - New) nhập thông tin tên, mật thẻ General Sau chuyển sang thẻ User Mapping, lựa chọn sở liệu vừa gán bƣớc 1, chọn db_owner Rồi bấm OK Ví dụ: Tạo tài khoản tên test, mật 123 Hình 4.7 Tạo tài khoản truy cập SQL server 2005 62 4.4.2 Hƣớng dẫn chạy chƣơng trình + Khởi động tệp Evoting Register.exe để vào chƣơng trình + Nhập thơng tin kết nối sở liệu: tên máy chủ, tên sở liệu, tên ngƣời dùng mật vừa tạo Sau bấm [đăng nhập] Ví dụ: Tên SQL server máy chủ “HOANGTRUNG\SQLEXPRESS” (có thể xem cách mở SQL server managerment studio express), sở liệu “Evoting”, tên tài khoản tạo (mục 4.4.1) “test”, mật “123” Hình 4.8 Đăng nhập + Nếu đăng nhập thành cơng mở giao diện (Hình 4.1) Trong giao diện thơng tin bỏ phiếu, cặp khóa cơng khai chƣơng trình, nút chức 63 4.4.3 Hƣớng dẫn chức khách 4.4.3.1 Hướng dẫn trình làm mù Hình 4.9 Các bƣớc làm mù định danh + Bƣớc 1: Nhập định danh + Bƣớc 2: Chọn tham số làm mù, bấm [thực hiện] nhận đƣợc tham số xóa mù (yêu cầu tham số làm mù phải có nghịch đảo modulo n) Sau bấm [Tiếp] + Bƣớc 3: Bấm [thực hiện] để nhận bí danh Ví dụ : chọn định danh 5, tham số làm mù r Ta có Tham số xóa mù: r-1 = 17 * 17 = mod 33, bí danh: 5* 27 mod 33 = 13 64 4.4.3.2 Hướng dẫn trình đăng ký + Nhập thông tin đầy đủ để đăng ký( bƣớc yêu cầu cử tri phải có tên danh sách cử tri có quyền đăng ký) bấm [thực hiện] để đăng ký Hình 4.10 Thao tác đăng ký bỏ phiếu + Nhập số chứng minh thƣ điện tử, họ tên bấm [Tiếp] Chƣơng trình gửi trả bí danh sau ký cử tri nhƣ ban đăng ký ký Hình 4.11 Thao tác nhận kết đăng ký Ví dụ: số chứng minh thƣ “1234567” cử tri “Nguyễn Văn A” đƣợc chấp nhận cho phép đăng ký Sau thực trình ký (trình bày mục 4.4.4.1) ta đƣợc kết bí danh sau ký 133 mod 33 = 19 65 4.4.3.3 Hướng dẫn q trình xóa mù Nhập lại bí danh tham số bí mật nhận đƣợc làm mù để xóa mù nhận định danh sau xóa mù Hình 4.12 Thao tác xóa mù Ví dụ: Với bí danh nhận đƣợc = 19 (trong mục 4.4.3.2) tham số xóa mù = 17 (trong mục 4.4.3.1) Ta có định danh = 19 * 17 mod 33 = 26 66 4.4.3.4 Hướng dẫn trình kiểm tra chữ ký Nhập định danh, định danh sau ký để chƣơng trình kiểm tra chữ ký Nếu nhƣ chữ ký thơng báo xác nhận chữ ký ban đăng ký (hình 4.11) Hình 4.13 Kiểm tra chữ ký Ví dụ: nhập định danh ban đầu (mục 4.4.3.1) định danh lấy đƣợc sau xóa mù (mục 4.4.3.3) Ta có hàm kiểm tra theo khóa cơng khai b Ver(x, y) = true = 267 mod 33 67 4.4.4 Hƣớng dẫn chức ngƣời sử dụng 4.4.4.1 Hướng dẫn trình xác nhận ký Khi đăng nhập, chƣơng trình kiểm tra quyền hạn ngƣời đăng nhập thành viên ban đăng ký, ngƣời xem đƣợc thơng tin cử tri đăng ký, có quyền đồng ý không đồng ý cử tri (là q trình xác nhận lại thơng tin cử tri thành viên ban đăng ký) Thành viên phải chọn vào đồng ý ký, nhập mảnh khóa mình, bấm [thực hiện] Bấm [Ký] có đồng ý tất thành viên Hình 4.14 Q trình xác nhận thơng tin ký Ví dụ: Hiện hệ thống có thành viên lần lƣợt có tên tài khoản “member1”, “member2”, “member3” (mật trùng với tên tài khoản) Trong ví dụ ta đăng nhập vào tài khoản xác nhận đồng ý Sau bấm [Ký] xác nhận tài khoản 68 4.4.4.2 Hướng dẫn trình chia sẻ khóa Đăng nhập tài khoản “admin”, mật “admin” Vào phân phối khóa ( hình 4.15), bấm [Phân phối], hệ thống tự động kiểm tra số lƣợng thành viên ban đăng ký khóa bí mật đợt bỏ phiếu đƣợc thiết lập hệ thống để thực chia sẻ khóa Hình 4.15 Chia sẻ khóa ký cho thành viên 4.4.4.3 Hướng dẫn trình thiết lập khóa Đăng nhập: tài khoản “admin”, mật “admin” Nhập số nguyên tố (p, q) lựa chọn khóa cơng khai b Sau bấm [thực hiện] chƣơng trình tính n khóa bí mật a Sau bấm [thiết lập] Hình 4.16 Thiết lập khóa cho hệ thống Ví dụ: p = 3, q = 11, b = n = p * q = 33, (n) = ( 11 – ) * ( – ) = 20, a = * = mod 20 69 KẾT LUẬN Khóa luận gồm hai kết : 1/ Tìm hiểu nghiên cứu qua tài liệu để hệ thống lại vấn đề sau: + Tổng quan bỏ phiếu điện tử, an tồn thơng tin Nhƣ trình bày trên, việc nghiên cứu xây dựng hệ thống bỏ phiếu điện tử để đáp ứng yêu cầu bỏ phiểu hƣớng nghiên cứu cần thiết Ƣu điểm bỏ phiếu điện tử cử tri tham gia bỏ phiếu nơi góp phần làm tăng số cử tri tham gia bỏ phiếu Nhờ đặc điểm này, bầu cử diễn thƣờng xuyên cho phép công dân chuyển nhanh ý kiến họ lúc Nhƣng bỏ phiếu điện tử có nhiều hạn chế, việc xây dựng hạ tầng sở cho việc bỏ phiếu vấn đề khó khăn đặc biệt vùng sâu vùng xa Bên cạnh đó, nay, chƣa có giải pháp hồn thiện đƣợc tìm thấy để đảm bảo tính an tồn tuyệt đối bỏ phiếu Ở phạm vi nhỏ, bỏ phiếu điện tử đơn giản lấy ý kiến bỏ qua số giai đoạn nhằm giảm phức tạp công việc triển khai Tuy nhiên, bầu cử có quy mô lớn, đặc biệt bầu cử cấp quốc gia hệ thống bỏ phiếu cần phải đặt việc bảo mật lên hàng đầu bỏ qua đƣợc giai đoạn + Một số toán ATTT giai đoạn đăng ký Bỏ phiếu: Qua tốn đăng ký bỏ phiếu, ta thấy đƣợc vấn đề mà hệ thống mắc phải thƣờng bảo mật, xác thực, + Phƣơng pháp giải tốn: Nhƣ trình bày khóa luận với vấn đề an tồn thơng tin có nhiều cách khắc phục, nhiên để tìm cách tồn vẹn cịn giai đoạn nghiên cứu Ta thấy đƣợc số cách sau : mã hóa, ký số, chia sẻ khóa bí mật, chứng thực số, hàm băm, 70 2/ Thử nghiệm xây dựng chƣơng trình đăng ký bỏ phiếu dựa hệ mã hóa RSA phạm vi nhỏ Chƣơng trình mơ bƣớc giai đoạn đăng ký bỏ phiếu giải đƣợc số tốn an tồn thơng tin ký mù, chia sẻ khóa, mã hóa RSA Bỏ phiếu điện tử cịn hình thức mẻ chƣa đƣợc áp dụng thực tế Việt Nam Nên q trình nghiên cứu làm khóa luận này, khơng thể tránh khỏi thiếu sót Kính mong đƣợc bổ khuyết quý thầy cô ngƣời quan tâm, khóa luận trở nên hoàn chỉnh 71 TÀI LIỆU THAM KHẢO Tiếng Việt [1] Trịnh Nhật Tiến, Trƣơng Thị Thu Hiền, “Về quy trình bỏ phiếu từ xa”, Đại học cơng nghệ, đại học quốc gia Hà Nội [2] PGS.TS Trịnh Nhật Tiến, “Giáo trình an tồn liệu”, Đại học cơng nghệ, đại học quốc gia Hà Nội Tiếng Anh [1] Ivan Damgard, Jens Groth and Gorm Salomonsen, “The theory and implenmentation of an Electronic Voting Sytem” 72 PHỤ LỤC Các phụ lục sau đƣợc bổ sung vào khóa luận : 1) Hàm tìm nghịch đảo thuật tốn euclid mở rộng Đầu vào: số a, m Đầu ra: nghịch đảo a modulo m Protected Function euclidextend(ByVal a As Integer, ByVal m As Integer) Dim y0 = 0, y1 = 1, y = 0, m2 = m, a2 = a Dim r, q While a > r = m Mod a If r = Then Exit While End If q=m\a y = y0 - y1 * q m=a:a=r y0 = y1 : y1 = y End While If a > Then Return a2 & " không khả nghịch theo modulo " & m2 Else If y < Then y = m2 + y End If Return y End If End Function (Ngơn ngữ lập trình vb.net) 73 2) Hàm lấy ghép khóa ký phép khử gauss Sử dụng phép khử Gauss áp dụng ma trận mở rộng (Đã trình bày mục 2.2.3 tiểu mục “hợp khóa”) Đầu vào: ma trận mt(n-1, n) chứa giá tham số hệ phƣơng trình, với n số hệ phƣơng trình Đầu ra: khóa bí mật Protected Function gauss(ByVal mt(,) As Integer, ByVal n As Integer) Dim i, j, k, tg For k = To n - For i = k + To n - tg = mt(i, k) / mt(k, k) For j = k To n - mt(i, j) = mt(i, j) - tg * mt(k, j) Next mt(i, n) = mt(i, n) - tg * mt(k, n) Next Next Return mt(n - 1, n) End Function (Ngôn ngữ lập trình vb.net) 74 ... giai đoạn kiểm phiếu 29 Chương GIẢI QUYẾT MỘT SỐ BÀI TOÁN TRONG GIAI ĐOẠN ĐĂNG KÝ BỎ PHIẾU ĐIỆN TỬ 2.1 MỘT SỐ BÀI TOÁN TRONG GIAI ĐOẠN ĐĂNG KÝ BỎ PHIẾU 2.1.1 Bài toán xác thực cử tri bỏ phiếu Trong. .. 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. .. 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ử bỏ phiếu thông thƣờng 24 1.5.3 Các giai đoạn bỏ phiếu điện tử