Nghiên cứu một số giao thức bảo vệ thông tin trong thỏa thuận hợp đồng điện tử

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ LÊ THỊ THU NGHIÊN CỨU MỘT SỐ GIAO THỨC BẢO VỆ THÔNG TIN TRONG THỎA THUẬN HỢP ĐỒNG ĐIỆN TỬ LUẬN VĂN THẠC SĨ HÀ NỘI - 2011 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ LÊ THỊ THU NGHIÊN CỨU MỘT SỐ GIAO THỨC BẢO VỆ THÔNG TIN TRONG THỎA THUẬN HỢP ĐỒNG ĐIỆN TỬ Ngành: Công nghệ thông tin Chuyên ngành: Hệ thống thông tin Mã số: 60 48 05 LUẬN VĂN THẠC SĨ Người hướng dẫn khoa học: PGS.TS Trịnh Nhật Tiến HÀ NỘI - 2011 MỤC LỤC LỜI CAM ĐOAN MỤC LỤC DANH MỤC CÁC TỪ VIẾT TẮT DANH MỤC BẢNG BIỂU, HÌNH VẼ LỜI NÓI ĐẦU 10 Chương NHU CẦU BẢO VỆ HỢP ĐỒNG TRONG GIAO DỊCH TRỰC TUYẾN 13 1.1 HỢP ĐỒNG TRONG GIAO DỊCH TRỰC TUYẾN 13 1.1.1 Hợp đồng điện tử ? 13 1.1.2 Quy trình ký kết hợp đồng điện tử 13 1.1.3 Nguyên tắc pháp lý 14 1.1.4 Yêu cầu bảo mật 15 1.2 THỰC TRẠNG AN TỒN THƠNG TIN TRONG CÁC HỢP ĐỒNG ĐIỆN TỬ 17 1.3 PHƢƠNG PHÁP BẢO VỆ THÔNG TIN TRONG HỢP ĐỒNG ĐIỆN TỬ 19 1.4 PHÂN LOẠI HỢP ĐỒNG ĐIỆN TỬ 20 1.4.1 Ký kết hợp đồng sử dụng email 20 1.4.2 Ký kết hợp đồng điện tử sử dụng bấm vào nút 'đồng ý' (chấp nhận) 20 1.4.3 Hình thành hợp đồng sử dụng XML 21 1.4.4 Ký kết hợp đồng sử dụng hệ thống hợp tác dựa web 22 1.5 NGUYÊN TẮC PHÁP LÝ CHUNG VỀ VIỆC LƢU GIỮ TÀI LIỆU ĐIỆN TỬ 24 Chương PHƢƠNG PHÁP BẢO VỆ THÔNG TIN TRONG HỢP ĐỒNG ĐIỆN TỬ 25 2.1 TỔNG QUAN VỀ CÁC PHƢƠNG PHÁP BẢO VỆ THƠNG TIN 25 2.2 MÃ HĨA 27 2.2.1 Mã hóa khóa đối xứng 27 2.2.2 Mã hóa khóa cơng khai 29 2.2.3 Một số hệ mã hóa tiêu biểu 30 2.3 CHỮ KÝ SỐ 38 2.4 HÀM BĂM 40 2.5 CÔNG CỤ XÁC THỰC THÔNG ĐIỆP MAC 45 Chương MỘT SỐ GIAO THỨC ĐẢM BẢO AN TỒN THƠNG TIN TRONG HỢP ĐỒNG ĐIỆN TỬ 47 3.1 KÝ HỢP ĐỒNG VÀ CÁC GIAO THỨC SỬ DỤNG 47 3.1.1 Ký kết hợp đồng điện tử 47 3.1.2 Thách thức liên quan đến ký điện tử 48 3.1.3 Đặc tính giao thức ký hợp đồng 49 3.1.4 Một số giao thức sử dụng ký hợp đồng điện tử 52 3.2 GIAO THỨC GIAO TIẾP AN TOÀN TRONG THỎA THUẬN HỢP ĐỒNG ĐIỆN TỬ 61 3.2.1 Ứng dụng hàm băm 62 3.2.2 Giao thức đảm bảo an toàn hợp đồng đấu thầu điện tử 63 3.3 ĐỀ XUẤT CẢI TIẾN GIAO THỨC 73 Chương CHƢƠNG TRÌNH THỬ NGHIỆM 76 4.1 GIỚI THIỆU CHƢƠNG TRÌNH 76 4.2 CẤU HÌNH HỆ THỐNG 76 4.3 HƢỚNG DẪN SỬ DỤNG 77 4.3.1 Chƣơng trình ký 77 4.3.2 Chƣơng trình mã hóa 79 KẾT LUẬN 88 TÀI LIỆU THAM KHẢO 89 DANH MỤC CÁC TỪ VIẾT TẮT Chữ viết tắt Tên đầy đủ CNTT Công nghệ thông tin HĐĐT Hợp đồng điện tử TMĐT Thƣơng mại điện tử TTP Trusted Third Party Bên thứ ba tin cậy SSL Secure Socket Layer TLS Transport Layer Security Giao thức an ninh tầng giao vận DES Data Encryption Standard Chuẩn mã hóa liệu AES Advance Encryption Standard Chuẩn mã hóa nâng cao RSA Rivest, Shamir, Adleman Thuật tốn mã hóa khóa cơng khai SHA Secure Hash Algorithm Thuật tốn hàm băm an tồn MAC Message Authentication Code Mã xác thực thông điệp XML Extensible Markup Language Ngôn ngữ đánh dấu mở rộng DANH MỤC BẢNG BIỂU, HÌNH VẼ Hình 2.1 Biểu diễn dạng ma trận trạng thái (Nb = 6) mã khóa (Nk = 4) 34 Hình 2.2: Thao tác AddRoundKey tác động lên cột trạng thái 35 Hình 2.3: Thao tác SubBytes tác động byte trạng thái 35 Hình 2.4: Thao tác MixColumns tác động lên cột trạng thái 35 Hình 2.5: Thao tác ShiftRows tác động dòng trạng thái 36 Hình 2.6: Nhiều thơng điệp nguồn cho kết đích sau ký số 40 Hình 2.7a: Băm thông điệp 41 Hình 2.7b: Ký đại diện thông điệp 42 Hình 2.7c: Truyền liệu thông tin cần gửi 42 Hình 2.7: Sơ đồ mơ tả công đoạn ngƣời gửi A thực trƣớc gửi thông điệp cho ngƣời B (sử dụng hàm băm ký số) 42 Hình 2.8a: Xác minh chữ ký 43 Hình 2.8b: Tiến hành băm thơng điệp x kèm 43 Hình 2.8c: Kiểm tra tính tồn vẹn thông điệp 43 Hình2 8: Sơ đồ mơ tả công đoạn sau ngƣời B nhận đƣợc thông điệp 43 Hình 2.9 : Tạo mã xác thực 45 Hình 3.1: Ký hợp đồng dạng đơn giản có tham gia TTP 53 Hình 3.2: Ký hợp đồng sử dụng hàm băm 53 Hình 3.3: Ký hợp đồng sử dụng giao thức Optimistic 54 Hình 3.4: Các bƣớc thực bên thứ thực thi hợp đồng 55 Hình 3.5: Các bƣớc thực bên thứ hủy bỏ hợp đồng 56 Hình 3.6: Hình thức công 57 Hình 3.7: Cách thức giải 57 Hình 3.8: Giao thức ký đảm bảo khơng lộ kết hợp đồng 58 Hình 3.9: Qui trình bên thứ hủy bỏ trình ký hợp đồng 59 Hình 3.10: Qui trình bên thứ thực thi ký hợp đồng 59 Hình 3.11: Kẻ giả mạo trình ký hợp đồng 60 Hình 3.12: Giải việc giả mạo bên tham gia 60 Hình 3.13: Sơ đồ giao thức 64 Hình 3.14: Giao thức con: giai đoạn đầu 65 Hình 3.15: Giao thức con: giai đoạn đàm phán 66 Hình 3.16: Giao thức con: giai đoạn cuối 67 Hình 3.17: Giao thức con: Tranh chấp I 68 Hình 3.18: Giao thức con: tranh chấp II 70 Hình 3.19: Giao thức con: kết thúc (chấm dứt) 71 Hình 3.20: Giao thức con: TTP tham gia 72 Hình 3.21: Cải tiến giao thức con: giai đoạn đầu 73 Hình 3.22: Cải tiến giao thức con: giai đoạn đàm phán 74 Hình 3.22: Cải tiến giao thức con: giai đoạn cuối 75 10 LỜI NĨI ĐẦU Tính cấp thiết đề tài Từ trƣớc đến nay, việc thỏa thuận ký kết hợp đồng vấn đề đƣợc bên tham gia quan tâm trọng Bởi lẽ, hợp đồng chứng quan trọng để mang lại lợi ích nhƣ làm chứng cho hai bên có tranh chấp xảy Hợp đồng đƣợc thực thi theo khuôn khổ pháp lý đƣợc pháp luật cơng nhận Vì thế, việc bảo vệ thông tin hợp đồng để hợp đồng đƣợc ký kết cách công yêu cầu cấp thiết Với phƣơng thức truyền thống, bên tham gia gặp gỡ nhau, bàn bạc đến kết luận, sau ký vào hợp đồng Tuy nhiên, nay, với phát triển nhanh chóng mạng máy tính cơng nghệ thơng tin (CNTT) kéo theo nhiều hình thức đời để phù hợp với yêu cầu ngƣời nhƣ giảm bớt thời gian thực công việc mà mang lại hiệu cao Với xu phát triển đó, việc gặp gỡ trực tiếp để bàn bạc, thỏa thuận cơng việc bên đi, thay vào sử dụng CNTT để hỗ trợ cho việc thỏa thuận hợp đồng Các bên tham gia sử dụng phần mềm web để tìm hiểu, gửi thơng tin cho nhau, bàn bạc, thỏa thuận đƣa hợp đồng cuối cùng, ký vào Những hợp đồng ký kết nhƣ gọi hợp đồng điện tử (HĐĐT) Tuy nhiên, với cách thức này, có gian lận xảy lý bên không gặp trực tiếp Tính cơng bằng, tính xác thực tính tồn vẹn thơng tin bị xâm phạm Hiện nay, để đẩy nhanh tiến trình gia nhập WTO Việt Nam, năm 2005, hàng loạt văn pháp luật đƣợc ban hành nhằm tạo sở pháp lý phù hợp để Việt Nam thực cam kết quốc tế, có cam kết thúc đẩy phát triển thƣơng mại điện tử Tiêu biểu số Luật Giao dịch điện tử, Luật thƣơng mại Luật công nghệ thông tin… Các văn pháp luật tạo môi trƣờng pháp lý quan trọng cho việc ký kết thực hợp đồng điện tử Đặc biệt, Luật Giao dịch điện tử dành hẳn chƣơng IV với điều khoản (từ điều 33 đến điều 38) để hƣớng dẫn việc ký kết thực hợp đồng điện tử [3] Mặc dù vậy, thực tế, việc ký kết thực hợp đồng điện tử Việt Nam phát triển chƣa mạnh mẽ nhƣ mong muốn Sự phức tạp mặt công nghệ, đầu tƣ thiếu đồng sở hạ tầng, thiếu chuyên nghiệp đội ngũ nguồn nhân lực… rào cản làm cho việc ký kết thực hợp đồng điện tử gặp nhiều khó khăn Các quy định văn pháp luật ký kết thực hợp đồng điện tử chung chung, quy trình ký kết thực hợp đồng điện tử cịn chƣa đƣợc chuẩn hóa cịn phức tạp; Nhiều cá nhân, tổ chức, chí nhiều doanh nghiệp xa lạ với việc ký kết hợp đồng điện tử 11 Để giải đƣợc vấn đề phải thực nhiều cơng việc khác từ phía nhà nƣớc, phía doanh nghiệp, phía xã hội Tuy nhiên luận văn tập trung nghiên cứu vấn đề mang tính kỹ thuật ký kết hợp đồng điện tử Đây vấn đề cần thiết thiết thực bối cảnh nay, tác giả lựa chọn đề tài “Nghiên cứu số giao thức bảo vệ thông tin thỏa thuận hợp đồng điện tử” làm đề tài nghiên cứu Tình hình nghiên cứu 2.1 Ở nƣớc Ở nƣớc có số cơng trình nghiên cứu, viết vấn đề hợp đồng điện tử vấn đề kỹ thuật cho hợp đồng điện tử Tiêu biểu số cơng trình tác giả: Jens T Werner, 2000, “Legal Issues Raised by Online Contracting”, London School of Economics; Thomas J Smedinghoff, 2006, Online Transactions: The Rules for Ensuring Enforceability in a Global Environment, The Computer & Internet Lawyer Volume 23, Number 4, 4/2006; Ruth Orpwoode, 2008, “Electronic Contracts: Where We’ve Come From, Where We Are, and Where We Should Be Going”; Rong Du, Ernest Foo, Colin Boyd, Brian Fitzgerald, ISRC Queensland University of Technology, “Secure Communication Protocol For Preserving E-Tendering Integrity”; John Mitchell, Stanford University, “Contract-Signing Protocols”; Juan A.Garay, Markus Jakobsson, Philip MacKenzie, Bell Laboratories, “Abus-Free Optimistic Contract Signing” Nội dung cơng trình đề cập đến số khía cạnh hợp đồng điện tử nhƣ: vấn đề kỹ thuật pháp lý hợp đồng điện tử, số tình hợp đồng điện tử… Đây tài liệu tham khảo bổ ích trình làm luận văn 2.2 Ở Việt Nam Có số cơng trình nghiên cứu thƣơng mại điện tử vấn đề liên quan, tìm hiểu riêng hợp đồng điện tử có luận văn tiến sĩ tác giả Nguyễn Văn Thoan, ĐH Ngoại Thƣơng, “Ký kết thực hợp đồng điện tử điều kiện Việt Nam hội nhập kinh tế quốc tế” Tuy nhiên, luận án chủ yếu tập trung vấn đề pháp lý nhƣ thực trạng giải pháp mặt xã hội nhiều vấn đề kỹ thuật Vì thế, tác giả nhận thấy đề tài lựa chọn cần thiết phù hợp với nhu cầu Mục đích nghiên cứu Trên sở làm rõ vấn đề kỹ thuật ký kết thực hợp đồng điện tử; sau phân tích thực trạng ký kết thực hợp đồng điện tử nay, luận văn tập trung phân tích giao thức sử dụng thỏa thuận hợp đồng, giúp bảo vệ thông tin hợp đồng Và đề xuất vài cải tiến nhỏ cho giao thức trình bày, nhƣ thử nghiệm chƣơng trình thực số bƣớc trình thực hợp đồng điện tử 12 Nhiệm vụ nghiên cứu Để thực mục đích nghiên cứu nêu trên, luận văn phải giải nhiệm vụ cụ thể sau đây: - Nêu rõ khái niệm, đặc điểm, lợi ích nhƣ vấn đề gặp phải thực HĐĐT - Phân tích số hình thức ký kết thực hợp đồng điện tử - Tìm hiểu cơng cụ sử dụng bảo vệ thông tin hợp đồng - Tìm hiểu, nghiên cứu số giao thức đảm bảo an tồn thơng tin đƣợc sử dụng thỏa thuận hợp đồng, đề xuất số cải tiến - Xây dựng chƣơng trình thử nghiệm số bƣớc thực thi HĐĐT Đối tƣợng phạm vi nghiên cứu 5.1 Đối tƣợng nghiên cứu đề tài vấn đề liên quan đến việc ký kết thực hợp đồng điện tử, đặc biệt trọng đến vấn đề kỹ thuật số vấn đề pháp lý liên quan đến việc thực HĐĐT 5.2 Phạm vi nghiên cứu Về mặt nội dung, phạm vi nghiên cứu luận án vấn đề kỹ thuật, số vấn đề pháp lý liên quan đến việc ký kết thực HĐĐT Đó vấn đề quy trình thủ tục ký kết HĐĐT, chữ ký điện tử; chứng thực chữ ký điện tử biện pháp phòng tránh rủi ro mặt kỹ thuật liên quan đến ký kết thực HĐĐT Đề tài giới hạn phạm vi nghiên cứu ký kết thực hợp đồng điện tử lĩnh vực thƣơng mại Phƣơng pháp nghiên cứu Tác giả sử dụng phƣơng pháp nghiên cứu tổng hợp nhƣ: phƣơng pháp phân tích, phƣơng pháp thống kê, phƣơng pháp hệ thống hóa phƣơng pháp diễn giải Kết cấu luận văn Luận văn gồm chƣơng (không bao gồm phần mở đầu, kết luận, phụ lục, bảng biểu ): Chƣơng Nhu cầu bảo vệ hợp đồng giao dịch trực tuyến Chƣơng Phƣơng pháp bảo vệ thông tin hợp đồng điện tử Chƣơng Một số giao thức đảm bảo an tồn thơng tin hợp đồng điện tử Chƣơng Thử nghiệm chƣơng trình 75  Giai đoạn cuối A B TTP σfA = Sig K-1A(Lf) σfB = Sig K-1B(Lf) βfA=EKTTP(KfdxA) βfB=EKTTP(KfdxB) MfA = EKfdxA(σfA||B)|| βfA||CA MfB = EKfdxB(σfB||A)|| βfB||CB MfA MfB KfdxB = D K-1TTP (βnB) KfdxA = D K-1TTP (βnA) σnB = DKfdxB(MfB) σnA = DKfdxA(MfA) L‟f = VKA (σfA) L‟‟f = VKB (σfB) Nếu L’f = L’’f σTTP = Sig K-1TTP(σfA || σfB || mcf) βfTTPA=EKA(KTTP) βfTTPB=EKB(KTTP) MfTTPA=EKTTP(σTTP)|| βfTTPA||CTTP MfTTPB=EKTTP(σTTP)|| βfTTPB||CTTP MfTTPA MfTTPB Nếu L’f ≠ L’’f σTTP = Sig K-1TTP(σfA || σfB || mer) βfTTPA=EKA(KTTP) βfTTPB=EKB(KTTP) MfTTPA=EKTTP(σTTP)|| βfTTPA||CTTP MfTTPB=EKTTP(σTTP)|| βfTTPB||CTTP MfTTPA MfTTPB Bất kỳ bên bắt đầu giao thức tranh chấp Hình 3.22: Cải tiến giao thức con: giai đoạn cuối 76 Chương CHƢƠNG TRÌNH THỬ NGHIỆM 4.1 GIỚI THIỆU CHƢƠNG TRÌNH Trong chƣơng này, tác giả thử nghiệm số bƣớc trình thực hợp đồng điện tử bao gồm ký số, mã hóa hợp đồng tạo kênh giao tiếp an toàn để gửi nhận tài liệu trình thỏa thuận hợp đồng Chƣơng trình ký: Dựa hệ mã hóa khóa cơng khai RSA để ký xác nhận chữ ký Chƣơng trình đƣợc viết dựa chƣơng trình mã nguồn mở OpenSSL Thơng điệp đƣợc ký trƣớc, sau chuyển sang bƣớc mã hóa gửi Chƣơng trình mã hóa: Dựa hệ mã hóa khóa cơng khai RSA để mã hóa khóa (đƣợc tạo ngẫu nhiên dựa hệ mã hóa khóa đối xứng AES) sử dụng khóa để mã hóa thông theo lƣợc đồ nhƣ giao thức chƣơng trình bày Chƣơng trình viết theo mơ hình Client/Server, coi nhƣ hai bên tham gia thỏa thuận hợp đồng, bên Client (bên tham gia đấu thầu), bên Server (bên mở thầu) Các bƣớc thực chƣơng trình: 1/ Server bắt đầu, cặp khóa RSA đƣợc sinh (hoặc load từ ổ đĩa – Tạo trƣớc từ chƣơng trình OpenSSL) 2/ Client bắt đầu, họ yêu cầu máy chủ gửi khóa cơng khai từ cặp khóa vừa sinh bên server 3/ Client chuẩn bị thông điệp yêu cầu (Request) - khóa ngẫu nhiên AES đƣợc tạo (gồm phần: khóa (key) vecto khởi tạo (IV)) - Thơng điệp đƣợc mã hóa khóa AES tạo - Khóa AES đƣợc mã hóa khóa cơng khai RSA máy chủ thêm vào thơng điệp mã hóa 4/ Server nhận đƣợc thơng điệp - Dùng khóa riêng RSA Server giải mã khóa AES - Giải mã thơng điệp khóa AES Client 5/ Server trả lời (Response) Thông báo nhận đƣợc thông điệp giải mã thành công 6/ Client nhận thơng điệp trả lời 4.2 CẤU HÌNH HỆ THỐNG Hệ điều hành: Windows XP/Vista/2007 Ngôn ngữ phát triển: C++ (chương trình ký số) C# (chương trình mã hóa) (sử 77 dụng cơng cụ Visual Studio 2010 ) Yêu cầu môi trƣờng: Cài đặt môi trƣờng Net FrameWork 4.0 4.3 HƢỚNG DẪN SỬ DỤNG 4.3.1 Chƣơng trình ký Sau sử dụng chƣơng trình OpenSSL sinh khóa cơng khai (publickey.crt) khóa bí mật (privatekey.pem), ta sử dụng khóa cho chƣơng trình ký xác nhận chữ ký Vào chƣơng trình 1/ Ký: Nhập thông tin vào ô: file văn bản, file chứa khóa cơng khai, file chứa khóa bí mật (dùng để ký), file chứa băm file chứa chữ ký (Vì chữ ký đƣợc ký đại diện thơng điệp) Chọn khóa 1024 bit (vì lúc sinh khóa chọn khóa 1024 bit), nhấn vào nút “Ký” 78 2/ Xác nhận: Chọn sang Tab: “Xác thực”, nhập thông tin file văn bản, file chữ ký khóa cơng khai Nhấn vào nút “Xác thực”, kết xác thực thơng báo chữ ký có hay khơng 79 4.3.2 Chƣơng trình mã hóa Sau thực ký vào thông điệp, bên tham gia tiếp tục mã hóa thơng điệp để gửi Chƣơng trình chia làm phần chính, áp dụng cho Text (những thông báo ngắn) File (thông điệp dài) 4.3.2.1 Làm việc với Text Vào chƣơng trình Nhập địa Server thông báo cần gửi 80 u cầu khóa cơng khai RSA từ Server 81 Tạo ngẫu nhiên khóa bí mật AES (gồm phần: Key IV) Mã hóa khóa AES khóa cơng khai RSA 82 Mã hóa thơng điệp khóa AES Thiết lập kết nối với Server 83 Khi kết nối thành công, nút bấm “Gửi thông điệp” lên, thực gửi thơng điệp đƣợc mã hóa kèm với khóa (đƣợc mã hóa khóa cơng khai RSA) Nếu Server nhận đƣợc giải mã thành cơng Server thơng báo cho Client nhận thông điệp 84 4.3.2.2 Làm việc với File Cũng tƣơng tự nhƣ với Text, nhập địa Server, nhận khóa cơng khai từ Server, sinh khóa ngẫu nhiên AES Đồng thời thực mã hóa khóa AES khóa cơng khai RSA Tiếp đó, chọn đến File đầu vào, tự động chƣơng trình sinh đƣờng dẫn đến file mã hóa có “.enc” file giải mã có “.enc.doc” 85 Bấm vào Browse 86 Chúng ta thực mã hóa giải mã để lƣu lại thông tin máy Client (nếu không không ảnh hƣởng gì, bƣớc gửi thơng điệp, Client thực mã hóa gửi thơng điệp đi) 87 Tiếp theo, thực kết nối đến Server Và gửi thông điệp 88 KẾT LUẬN Cùng với cách mạng công nghệ thông tin truyền thông diễn mạnh mẽ giới Việt Nam, thƣơng mại điện tử trở thành phần thiếu hoạt động kinh tế quốc gia, tổ chức, doanh nghiệp cá nhân Hợp đồng điện tử yếu tố trung tâm hoạt động thƣơng mại điện tử, đảm bảo thành công giao dịch điện tử tổ chức cá nhân Trong năm gần đây, nhiều sách, nhiều văn quy phạm pháp luật công nghệ thông tin, thƣơng mại điện tử giao dịch điện tử đƣợc ban hành Tuy nhiên, hợp đồng điện tử vấn đề mẻ phức tạp quản quản lý, doanh nghiệp cá nhân Mặc dù có lợi ích rõ ràng, phức tạp kỹ thuật, luật pháp quy trình kinh doanh hợp đồng điện tử đem lại nhiều khó khăn, thách thức quan, doanh nghiệp nhƣ cá nhân việc ký kết thực hợp đồng điện tử Chính vậy, việc nghiên cứu vấn đề kỹ thuật nhằm bảo vệ thông tin thỏa thuận thuận hợp đồng điện tử thực cần thiết Luận văn đạt đƣợc kết chính: Nghiên cứu lý thuyết thực tế để tổng hợp lại vấn đề sau:  Nhu cầu bảo vệ hợp đồng giao dịch trực tuyến  Phƣơng pháp bảo vệ thông tin hợp đồng điện tử  Một số giao thức đảm bảo an tồn thơng tin hợp đồng điện tử Trong có đề xuất số cải tiến nhỏ cho giao thức Thử nghiệm chƣơng trình mã hóa ký số để bảo vệ thông tin hợp đồng 89 TÀI LIỆU THAM KHẢO Tài liệu tiếng Việt [1] Dƣơng Anh Đức, Trần Minh Triết (2005), Thuật tốn mã hóa ứng dụng, ĐH Khoa học tự nhiên – ĐH Quốc Gia Thành phố Hồ Chí Minh [2] Trƣơng Thị Thu Hiền (2007), tài liệu nghiên cứu: Tóm lược thơng điệp (hàm băm), ĐH Công nghệ [3] Nguyễn Văn Thoan (2010), Luận án TS: Ký kết thực hợp đồng điện tử điều kiện Việt Nam hội nhập kinh tế quốc tế, ĐH Ngoại Thƣơng [4] Trịnh Nhật Tiến, Bài giảng: An tồn liệu , ĐH Cơng nghệ - ĐH Quốc gia Hà Nội Tài liệu tiếng Anh [5] Brian Fitzgerald, Rong Du, Ernest Foo, Colin Boyd (2004), Secure Communication Protocol For Preserving E-Tendering Integrity, ISRC Queensland University of Technology [6] John Mitchell (2005), Contract-Signing Protocols, Stanford University [7] Juan A.Garay, Markus Jakobsson, Philip MacKenzie, Abus-Free Optimistic Contract Signing, Bell Laboratories [8] William Stallings (2007), Cryptography and Network Security, Third Edition [9] Bruce Schneier (1999), Applied Cryptography, Second Edition [10] Vijayakrishnan Pasupathinathan, Josef Pieprzyk, HuaxiongWang (2008), A Fair ETendering Protocol, ACAC, Department of Computing, Macquarie University & Division of Mathematical Sciences, Nanyang Technological University ... ): Chƣơng Nhu cầu bảo vệ hợp đồng giao dịch trực tuyến Chƣơng Phƣơng pháp bảo vệ thông tin hợp đồng điện tử Chƣơng Một số giao thức đảm bảo an toàn thông tin hợp đồng điện tử Chƣơng Thử nghiệm... HỌC CÔNG NGHỆ LÊ THỊ THU NGHIÊN CỨU MỘT SỐ GIAO THỨC BẢO VỆ THÔNG TIN TRONG THỎA THUẬN HỢP ĐỒNG ĐIỆN TỬ Ngành: Công nghệ thông tin Chuyên ngành: Hệ thống thông tin Mã số: 60 48 05 LUẬN VĂN THẠC... Chương PHƢƠNG PHÁP BẢO VỆ THÔNG TIN TRONG HỢP ĐỒNG ĐIỆN TỬ 2.1 TỔNG QUAN VỀ CÁC PHƢƠNG PHÁP BẢO VỆ THÔNG TIN Trong trƣờng hợp bên thỏa thuận hợp đồng giao dịch thƣơng mại điện tử khơng có mặt diễn