Luận văn phương pháp chứng minh không tiết lộ thông tin và ứng dụng

LỜI CẢM ƠN Trƣớc hết em xin gửi lời cảm ơn đến PGS TS Trịnh Nhật Tiến, ngƣời thầy hƣớng dẫn em nhiều 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 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 tiếp em sau tốt nghiệp Đồng thời em xin chân thành cảm ơn thầy cô môn nhƣ thầy cô trƣờng trang bị cho em kiến thức cần thiết để em hồ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 CT1001, 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 năm 2010 Sinh viên thực LÂM THỊ THANH TUYỀN Th■ah■■ng Mang Luôn 123doc 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 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 Luônh■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ô 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 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 Ln 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ơ 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 MỤC LỤC LỜI NĨI ĐẦU Chương CÁC KHÁI NIỆM CƠ BẢN 1.1 MỘT SỐ KHÁI NIỆM TOÁN HỌC .2 1.1.1 Các khái niệm số học .2 1.1.1.1 Ƣớc chung lớn .2 1.1.1.2 Số nguyên tố 1.1.1.3 Hàm  Euler .4 1.1.1.4 Đồng dƣ thức .4 1.1.2 Các khái niệm đại số 1.1.2.1 Không gian Zn .5 1.1.2.2 Nhóm nhân Zn* 10 1.1.2.3 Phần tử sinh .11 1.1.2.4 Thặng dƣ 11 1.1.3 Khái miệm độ phức tạp thuật toán 12 1.1.3.1 Khái niệm thuật toán 12 1.1.3.2 Khái niệm độ phức tạp thuật toán .12 1.1.3.3 Lớp toán P, NP NP – complete .14 1.2 VẤN ĐỀ MÃ HÓA 16 1.2.1 Một số khái niệm .16 1.2.2 Mã hóa khóa đối xứng .17 1.2.3 Mã hóa khóa bất đối xứng .18 1.3 VẤN ĐỀ CHỮ KÝ SỐ (digital signature) .20 1.3.1 Khái niệm 20 1.3.2 Quá trình tạo chữ ký điện tử 21 1.3.3 Hàm băm sử dụng ký điện tử 21 Chương PHƢƠNG PHÁP CHỨNG MINH KHÔNG TIẾT LỘ THÔNG TIN 22 2.1 KHÁI NIỆM CHỨNG MINH KHÔNG TIẾT LỘ THƠNG TIN 22 2.1.1 Khái niệm chứng khơng tiết lộ thông tin (CM KTLTT) 22 2.1.2 Khái niệm chứng minh tƣơng hỗ 23 2.2 HỆ THỐNG CM KTLTT CHO TÍNH ĐẲNG CẤU CỦA ĐỒ THỊ .25 2.2.1 Khái niệm đồ thị đẳng cấu .25 2.2.2 Định nghĩa hệ thống CM KTLTT hoàn thiện 28 2.2.3 Định nghĩa hệ thống CM KTLTT hoàn thiện không điều kiện .31 2.2.4 Định lý hệ thống chứng minh tƣơng hỗ cho đồ thị đẳng cấu .33 2.3 HỆ THỐNG CM KTLTT CHO BÀI TOÁN THẶNG DƢ BẬC HAI 35 2.3.1 Sơ đồ chứng minh 35 2.3.2 Tính chất sơ đồ 35 2.3.3 Chứng minh sơ đồ có tính đầy đủ 36 Chương ỨNG DỤNG CHỨNG MINH KHÔNG TIẾT LỘ THÔNG TIN 37 3.1 ỨNG DỤNG CM KTLTT TRONG BỎ PHIẾU ĐIỆN TỬ 37 3.1.1 Sơ đồ bỏ phiếu truyền thống 37 3.1.2 Một số khái niệm .39 3.1.3 Chứng minh tính hợp lệ phiếu (x, y) (Giao thức 1) 41 3.1.4 Chứng minh quyền sở hữu giá trị bí mật β (Giao thức 2) .45 3.1.5 Giai đoạn cử tri chuyển phiếu đến ban kiểm phiếu (phƣơng án 2) .47 3.2 ỨNG DỤNG CM KTLTT TRONG SỬ DỤNG TIỀN ĐIỆN TỬ 49 3.2.1 Khái niệm toán điện tử 49 3.2.2 Khái niệm tiền điện tử .49 3.2.3 Mơ hình giao dịch mua bán tiền điện tử 50 3.2.4 Vấn đề “tiền điện tử” .53 3.2.5 Lƣợc đồ tiền điện tử Brand 56 Chương THỬ NGHIỆM CHƢƠNG TRÌNH .63 4.1 MƠ TẢ CHƢƠNG TRÌNH 63 4.1.1 Giới thiệu 63 4.1.2 Các chức 64 4.2.1 Cử tri chứng minh tính hợp lệ phiếu .68 4.2.2 Ngƣời xác minh trung thực chứng minh có giữ tham số bí mật  76 TÀI LIỆU THAM KHẢO 80 DANH MỤC TỪ VIẾT TẮT Ký hiệu viết tắt Giải thích CT Cử tri ƢCLN Ƣớc chung lớn gcd(m, n) Ƣớc chung lớn m n KP Kiểm phiếu TT Ngƣời trung thực CM KTLTT Chứng minh không tiết lộ thông tin TMĐT Thƣơng mại điện tử TTĐT Thanh toán điện tử Prover Ngƣời chứng minh Verifier Ngƣời xác minh 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 thiếu sống hàng ngày hoạt động trao đổi thông tin, mua bán,…trê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ố 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 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 Ước chung lớn 1/ Ƣớc số Khái niệm: Cho hai số nguyên a, b  Z, b ≠ Nếu có số nguyên q cho a = b*q, ta nói a chia hết cho b, kí hiệu b|a Ta nói b ƣớc a, a bội b Ví dụ: Cho a = 6, b = 2, ta có = 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  Z + a|b, b|a  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, ƣớ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) Khái niệm nguyên tố nhau: Nếu gcd(a1,a2,…, an) = 1, số a1, a2,…, an đƣợc gọi nguyên tố Ví dụ: Cho a = 12, b = 15, gcd(12, 15) = Hai số 13 nguyên tố gcd(8, 13) = 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 tố  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  0) + 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 tốn: * Dữ liệu vào: Cho hai số nguyên không âm a, b, a  b * Kết quả: gcd(a, b) Thuật tốn: (Mơ ngôn ngữ Pascal) Readln(a, b); While b>0 Begin r := a mod b; a := b; b := r; end; Writeln(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 * + 12 18 12 18 = 12 * + 12 12 = * + 1.1.1.2 Số nguyên tố Khái niệm: Số nguyên tố số tự nhiên lớn có hai ƣớc Ví dụ: Các số 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37 số nguyên tố Số số nguyên tố chẵn Tính chất: + Nếu p số ngun tố p|a.b ta có a|p b|p a b chia hết cho p + Có vơ số số ngun tố 1.1.1.3 Hàm  Euler Định nghĩa: Cho n ≥ 1, đặt  (n) số số nguyên khoảng [1, n] nguyên tố với n Hàm  nhƣ đƣợc gọi hàm phi-Euler Tính chất: + Nếu n số nguyên tố  (n) = n-1 + Nếu gcd(n, m) = 1,  (n.m) =  (n)  (m) + Nếu n  p1e p2e pke , thừa số nguyên tố n thì:  (n)  n(1  k 1 )(1  ) (1  ) p1 p2 pk 1.1.1.4 Đồ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) n chia hết (a - b) Số nguyên n đƣợc gọi modulus đồng dƣ 2/.Ví dụ: 24 ≡ (mod 5) 24 − = 3*5 −11 ≡ 17 (mod 7) −11 − 17 = −4*7 3/ Một số tính chất đồng dƣ thức: Cho a, a1, b, b1, c  Z Ta có tính chất sau: + a ≡ b (mod n), a b có số dƣ chia cho n (1) + a ≡ a (mod n) (tính phản xạ) (2) + Nếu a ≡ b (mod n) b ≡ a (mod n) (tính đối xứng) (3) + Nếu a ≡ b (mod n) b ≡ c (mod n) a ≡ c (mod n) (tính bắc cầu).(4) + Nếu a ≡ a1 (mod n) b ≡ b1 (mod n) a + b ≡ a1 + b1 (mod n) (5) a.b ≡ a1b1 (mod n) Lớp tƣơng đƣơng số nguyên a tập hợp số nguyên đồng dƣ với a theo modulo n Theo tính chất (2), (3), (4) ta thấy: cho n cố định đồng dƣ với n không gian Z vào lớp tƣơng đƣơng (phân hoạch) Nếu a  qn  r ,  r  n a  r (mod n) Vì vậy, số nguyên a đồng dƣ theo modulo n với số nguyên tập hợp Zn = {0, 1, 2,…, n-1} đƣợc gọi thặng dƣ nhỏ theo modulo n Cũng vậy, a r thuộc lớp tƣơng đƣơng Do đó, r đơn giản đƣợc sử dụng để thể lớp tƣơng đƣơng 1.1.2 Các khái niệm đại số 1.1.2.1 Không gian Zn 1/ Định nghĩa: Các số nguyên theo modulo n, đƣợc ký hiệu Zn, tập (lớp tƣơng đƣơng của) số nguyên {0, 1, 2, , n-1} Tập Zn đƣợc coi tập hợp tất lớp tƣơng đƣơng theo modulo n Trên tập Zn xác định phép cộng, trừ, nhân theo modulo n 2/ Ví dụ: Z25= {0, 1, 2, …, 24} Trong Z25: 13 + 16 = 4, 13 + 16 = 29 ≡ (mod 25) Tƣơng tự: 13*16 = Z25 3/ Các phép tốn khơng gian modulo: Cho n số nguyên dƣơng Nhƣ trƣớc, phần tử Zn đƣợc thể số nguyên {0, 1, 2,…, n-1} Nhận xét rằng: a, b  Zn thì:  a  b nêú a  b  n a  b  n nêú a  b  n  a  b  mod n   Vì vậy, phép cộng modulo (và phép trừ modulo) đƣợc thực mà không cần thực phép chia dài Phép nhân modulo a b đƣợc thực phép nhân thông thƣờng a với b nhƣ số nguyên bình thƣờng, sau lấy phần dƣ kết sau chia cho n Phép tính nghịch đảo Zn đƣợc thực nhờ sử dụng thuật toán Euclidean mở rộng 4/ Định lý phần dƣ China CRT Giả sử số nguyên n1 , n2 , , nk số nguyên tố cặp hệ phƣơng trình đồng dƣ:  x1  a1 (mod n1 )  x  a (mod n )  2 có nghiệm theo modulo n Với n  n1.n2 .nk    xk  ak (mod nk ) 5/ Thuật tốn Gausse Nghiệm có hệ phƣơng trình đồng dƣ định lý phần dƣ China đƣợc cho biểu thức: k x   Ni M i mod n i 1 Trong đó, Ni = n/ni; Mi = M i  Ni1 mod n ; (có Mi Ni ni nguyên tố với nhau) * Ví dụ: Cặp phƣơng trình đồng dƣ x  (mod 7) x  (mod13) có nghiệm x  59 (mod91) * Tính chất: Nếu gcd(n1, n2) = cặp đồng dƣ x  a (mod n1 ) x  a (mod n2 ) có nghiệm x  a (mod n1n2 ) 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 66 Bƣớc : 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 : Ban KP kiểm tra lại kết nhận đƣợc, phiếu làm mù lần hoàn toàn hợp lệ, không đúng, Ban KP không chấp nhận Ban KP kiểm tra lại kết 67 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); 68 // 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