Luận văn tìm hiểu nghiên cứu vấn đề chứng minh không tiết lộ thông tin và ứng dụng

MỤC LỤC LỜI NÓI ĐẦU…………………………………………………………………….5 Chương CÁC KHÁI NIỆM CƠ BẢN…………………………………………6 1.1 MỘT SỐ KHÁI NIỆM TOÁN HỌC…………………………………… 1.1.1 Các khái niệm số học………………………………………… 1.1.1.1 Số nguyên tố…………………………………………………… 1.1.1.2 Nguyên tố nhau…………………………………………… 1.1.1.3 Ƣớc chung lớn nhất………………………………………………6 1.1.1.4 Hàm Euler…………………………………………………… 1.1.1.5 Đồng dƣ thức…………………………………………………… 1.1.2 Các khái niệm đại số………………………………………… 10 1.1.2.1 Khơng gian Zn………………………………………………… 10 1.1.2.2 Nhóm nhân Zn* ……………………………………………… 12 1.1.2.3.Phần tử sinh…………………………………………………… 13 1.1.2.4.Thặng dƣ……………………………………………………… 14 1.1.2.5 Khái niệm nhóm, nhóm con, nhóm Cyclic…………………… 15 1.1.3.Khái niệm độ phức tạp thuật toán……………………………… 16 1.1.3.1.Khái niệm thuật toán…………………………………………… 16 1.1.3.2.Khái niệm độ phức tạp thuật toán………………………… 16 1.1.3.3 Lớp toán P, NP NP – complete………………………… 18 1.2 VẤN ĐỀ VỀ MÃ HÓA………………………………………………… 20 1.2.1 Một số khái niệm………………………………………………… 20 1.2.2 Mã hóa khóa đối xứng…………………………………………… 21 1.2.3 Mã hóa khóa bất đối xứng………………………………………… 22 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ô 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 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 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 u■t phát Nhi■u Mang Ln 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 nguyên v■ mô nguyên 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 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 hồ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.3 VẤN ĐỀ VỀ CHỮ KÝ SỐ (digital signature)…………………………25 1.3.1 Khái niệm………………………………………………………… 25 1.3.2.Quá trình tạo chữ ký điện tử…………………………………… 26 1.3.3 Hàm băm sử dụng chữ ký điện tử………………………… 26 Chương PHƢƠNG PHÁP CHỨNG MINH KHÔNG TIẾT LỘ THÔNG TIN………………………………………………………………… 28 2.1 KHÁI NIỆM CHỨNG MINH KHÔNG TIẾT LỘ THÔNG TIN…… 28 2.1.1 Khái niệm chứng minh không tiết lộ thông tin (CM KTLTT)…… 28 2.1.2 Khái niệm chứng minh tƣơng hỗ……………………………… 30 2.2 HỆ THỐNG CM KTLTT CHO TÍNH ĐẲNG CẤU CỦA ĐỒ THỊ… 31 2.2.1 Khái niệm đồ thị đẳng cấu………………………………………… 31 2.2.2 Định nghĩa hệ thống CM KTLTT hoàn thiện…………………… 31 2.2.3 Định nghĩa hệ thống CM KTLTT hoàn thiện không điều kiện…… 37 2.2.4 Định lý hệ thống chứng minh tƣơng hỗ cho đồ thị đẳng cấu… 39 2.3 HỆ THỐNG CM KTLTT CHO BÀI TOÁN THẶNG DƢ BẬC HAI 41 2.3.1 Sơ đồ chƣng minh………………………………………………… 41 2.3.2 Tính chất sơ đồ……………………………………………… 42 2.3.3 Chứng minh sơ đồ có tính đầy đủ………………………………… 42 Chương ỨNG DỤNG CHỨNG MINH KHÔNG TIẾT LỘ THÔNG TIN… 43 3.1 ỨNG DỤNG CM KTLTT TRONG BỎ PHIẾU ĐIỆN TỬ………… 43 3.1.1 Sơ đồ bỏ phiếu truyền thống……………………………………… 43 3.1.2 Một số khái niệm………………………………………………… 44 3.1.3 Chứng minh tính hợp lệ phiếu (x, y) (Giao thức 1)……… 47 3.1.4 Chứng minh quyền sở hữu giá trị bí mật (Giao thức 2)…………52 3.1.5 Giai đoạn cử tri chuyển phiếu tới ban kiểm phiếu (phương án 2).54 3.2 ỨNG DỤNG CM KTLTT TRONG SỬ DỤNG TIỀN ĐIỆN TỬ…… 56 3.2.1 Khái niệm toán điện tử…………………………………… 56 3.2.2 Khái niệm tiền điện tử…………………………………………… 56 3.2.3 Mơ hình giao dịch mua bán tiền điện tử…………………… 57 3.2.4 Vấn đề “tiền điện tử”……………………………………………… 60 3.2.5 Lƣợc đồ tiền điện tử Brand……………………………………… 63 Chương THỬ NGHIỆM CHƢƠNG TRÌNH……………………………… 71 4.1 MƠ TẢ CHƢƠNG TRÌNH…………………………………………… 71 4.1.1 Giới thiệu………………………………………………………… 71 4.1.2 Các chức chính……………………………………………… 72 4.2 MÃ NGUỒN CỦA CHƢƠNG TRÌNH……………………………… 76 4.2.1 Cử tri chứng minh tính hợp lệ phiếu……………………… 76 4.2.2 Ngƣời xác minh trung thực chứng minh có giữ tham số bí mật 85 TÀI LIỆU THAM KHẢO……………………………………………………… 87 LỜI CẢM ƠN Trƣớc hết em xin chân thành cảm ơn đến PGS.TS Trịnh Nhật Tiến, ngƣời thầy hƣớng dẫn em suốt trình tìm hiểu nghiên cứu hồn thành khóa luận từ lý thuyết đến ứng dụng vào thực tiễn Sự hƣớng dẫn thầy giúp em có thêm đƣợc hiểu biết số vấn đề liên quan đến bảo mật thông tin Qua đó, lý thuyết bảo mật lơi em trở thành hƣớng nghiên cứu em sau tốt nghiệp Đồng thời em xin chân thành cảm ơn đến thầy, cô khoa Công Nghệ Thông Tin thầy cô trƣờng Đại học Dân Lập Hải Phịng dìu dắt, giảng dạy em, giúp em có kiến thức quý báu năm học qua, để em hoàn thành tốt khóa luận Em xin gửi lời cảm ơn đến thành viên lớp CT1201, ngƣời bạn bên cạnh động viên, tạo điều kiện thuận lợi em tìm hiểu, hồn thành tốt khóa luận Sau cùng, em xin gửi lời cảm ơn đến gia đình, bạn bè tạo điều kiện để em xây dựng thành cơng khóa luận Hải Phịng, Tháng 12 năm 2012 Sinh viên thực BÙI TUẤN ANH LỜI NĨI ĐẦU Ngày nay, cơng nghệ thơng tin phát triển mạnh mẽ, Internet trở thành phần khơng thể thiếu sống hàng ngày hoạt động trao đổi thông tin, mua bán,… mạng Internet diễn thƣờng xuyên ngày phổ biến Chính mà việc bảo mật, đảm bảo an tồn thơng tin nhu cầu cấp thiết Trƣớc nhu cầu cấp thiết đó, lý thuyết mật mã thông tin đời nhằm đảm bảo tính an tồn liệu nơi lƣu trữ nhƣ liệu đƣợc truyền mạng Khóa luận gồm có chƣơng với nội dung: Chƣơng CÁC KHÁI NIỆM CƠ BẢN Chƣơng PHƢƠNG PHÁP CHỨNG MINH KHÔNG TIẾT LỘ THÔNG TIN Chƣơng ỨNG DỤNG CHỨNG MINH KHÔNG TIẾT LỘ THÔNG TIN Chƣơng THỬ NGHIỆM CHƢƠNG TRÌNH “Chứng minh khơng tiết lộ thơng tin”, phƣơng pháp chứng minh khơng có nghĩa “không để lộ thông tin” mà “để lộ thơng tin mức nhất” vật, việc cần chứng minh Với việc “không để lộ” ngƣời xác minh khơng có nhiều hiểu biết vật việc, họ thu đƣợc chút thơng tin (coi nhƣ khơng) đặc điểm tính chất Ngành mật mã học ln phát triển khơng ngừng, phạm vi khóa luận này, chúng tơi trình bày vấn đề nhỏ phƣơng pháp “chứng minh khơng tiết lộ thơng tin” đồng thời tìm hiểu mộ số ứng dụng thực tế sở lý thuyết Chương CÁC KHÁI NIỆM CƠ BẢN 1.1 MỘT SỐ KHÁI NIỆM TOÁN HỌC 1.1.1 Các khái niệm số học 1.1.1.1 Số nguyên tố Khái niệm: Số nguyên tố số nguyên dƣơng chia hết cho Ví dụ: Các số 2, 3, 5, 7, 11, 13, 17, 19, 23 số nguyên tố Số số nguyên tố chẵn Tính chất: + Nếu p số nguyên tố p|ab ta có a|p b|p a b chia hết cho p + Có vơ số, số nguyên tố 1.1.1.2 Nguyên tố Hai số m n đƣợc gọi nguyên tố nhau, ƣớc số chung lớn chúng Ký hiệu: (m,n)=1 Ví dụ: 14 1.1.1.3 Ước chung lớn 1/ Ƣớc số Khái niệm: Cho hai số nguyên a, b Z, b Nếu có số ngun q cho a=b*q, ta nói a chia hết cho b, ký hiệu b|a Ta nói b la ƣớc a, a bội b Ví dụ: + Cho a=6, b=2, ta có 6=2*3, ký hiệu 2|6 Ở ƣớc bội Tính chất: Cho a, b, c Z + a|a + a|b, b|c a|c + a|b, a|c a|(bx+cy) x, y + a|b, b|a Z a= b 2/ Ƣớc chung lớn Khái niệm ước chung lớn nhất: Số nguyên d đƣợc gọi ƣớc chung số nguyên a1, a2,…,an,nếu ƣớc tất số Một ƣớc chung d > số nguyên a1,a2,…,an, ƣớc chung a1, a2,…,an, ƣớc d, d đƣợc gọi ƣớc chung lớn (ƢCLN) a1, a2,…,an Ký hiệu d = gcd(a1, a2,…,an) hay d = ƢCLN(a1, a2,…,an) Ví dụ: Cho a = 12, b = 15, gcd(12,15) = Tính chất: + d = gcd(a1, a2,…,an) tồn số x1, x2,…,xn cho: d = a1x1 + a2x2+ ….+ anxn Đặc biệt: a1, a2,…,an nguyên số tồn số x1, x2,…,xn cho: = a1x1 + a2x2+ ….+ anxn + d = gcd(a1, a2,…,an) gcd(a1/d, a2/d,…,an/d) = + gcd(m.a1, m.a2,…, m.an) = m* gcd(a1, a2,…,an) (với m + Nếu b > 0, a= b.q + r gcd(a,b) = gcd(b,r) ) 3/.Thuật tốn Euclide tìm ƣớc chung lớn Bài toán : * Dữ liệu vào: Cho hai số nguyên không âm a,b, a b * Kết gcd(a,b) Thuật toán : input(a,b); While b>0 r = a mod b; a = b; b = r; output(a); Ví dụ : a= 30, b= 18 gcd(30,18) = gcd(18,12) = gcd(12,6) = gcd(6,0) = Bảng 1: Mơ tả bước tính gcd(30,18) a b r a = b.q + r 30 18 12 30 = 18*1 + 12 18 12 18 = 12*1 + 12 12 = 6*2 + 1.1.1.4 Hàm Euler Định nghĩa : Cho n 1, đặt (n) số nguyên khoảng [1,n] nguyên tố với n Hàm nhƣ đƣợc gọi hàm phi-Euler Ví dụ : = (1, 3, 7, 9) = 10 11 số nguyên tố nên = n-1 Tính chất : + Nếu n số nguyên tố (n) = n-1 + Nếu gcd(n,m) = (n,m) = (n) (m) + Nếu n = p1e1 p2e2 …pkek thừa số nguyên tố n : (n) = n(1 - )(1 - )…(1 - ) Ví dụ : )= = = 6.4=24 1.1.1.5.Đồng dư thức 1/.Định nghĩa Nếu a b số nguyên, a đƣợc gọi đồng dƣ với b theo modulo n, đƣợc viết a b (mod n) a, b chia cho n có số dƣ (a-b)|n Số nguyên n đƣợc gọi modulo đồng dƣ 2/.Ví dụ 29 7(mod 2) vì: mod = mod = (mod 25) vì: 29-4 = 25 |25 Bƣớc 2: Tính di ri sau gửi (D,R) cho ngƣời xác minh TT: Các thông số trả từ người xác minh TT tính tốn Cử tri Bƣớc 3: Ngƣời xác minh TT kiểm tra: tham số không thỏa mãn loại phiếu, chấp nhận tiếp tục mã hóa phiếu lần gửi cho Ban KP: Lá phiếu người xác minh TT kiểm tra lại 73 2/ Giao thức Ngƣời xác minh trung thực TT chứng minh phiếu làm mù gửi tới Ban KP hoàn toàn hợp lệ: Bƣớc 1: Ngƣời xác minh trung thực TT điền tham số đầu vào tính tốn, sau ngƣời xác minh trung thực TT gửi beta w thông qua (a,b) cho Ban KP: Người xác minh trung thực TT chọn beta w 74 Bƣớc 2: Ban KP trả lại giá trị c ngƣời xác minh trung thực TT tính tốn r gửi r cho Ban KP: Người xác minh trung thực TT tính r Bƣớc 3: Ban KP kiểm tra lại kết nhận đƣợc, phiếu làm mù lần hồn tồn hợp lệ, không đúng, Ban KP không chấp nhận: Ban KP kiểm tra lại kết 75 4.2 MÃ NGUỒN CỦA CHƢƠNG TRÌNH 4.2.1 Cử tri chứng minh tính hợp lệ phiếu #include #include #include #include #include struct ARRAY { long A[10]; int chiso; }; ARRAY getArrayAj(int g,ARRAY d,ARRAY r,int Gi,int w,long x,int k); ARRAY getArrayBj(long h,ARRAY d,ARRAY r,int Gi,int w,long y,int k); int check(int g,long h,ARRAY a,ARRAY b,ARRAY d,ARRAY r,long x,long y,int c,int Gi); long getAi(int g,int w); long getBi(long h,int w); int getDi(ARRAY &d,int c,int Gi,int k); int getRi(int w,int alpha,int di); void addDi(ARRAY &d,int Gi,int di); void addRi(ARRAY &r,int Gi,int ri); void nhapARRAYd(ARRAY &d,int k,int Gi); void nhapARRAYr(ARRAY &r,int k,int Gi); 76 // Lấy mảng a ARRAY getArrayAj(int g,ARRAY d,ARRAY r,int Gi,int w,long x,int k) { ARRAY a; a.chiso=d.chiso=r.chiso=k; for(int i=1;i