ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ HÀ THỊ THANH HUYỀN NGHIÊN CỨU MỘT SỐ BÀI TOÁN TRONG HỆ THỐNG TIỀN ĐIỆN TỬ LUẬN VĂN THẠC SĨ Hà Nội - 2008... ĐẠI HỌC QUỐC GIA HÀ NỘI TR
Trang 1ĐẠI HỌC QUỐC GIA HÀ NỘI
TRƯỜNG ĐẠI HỌC CÔNG NGHỆ
HÀ THỊ THANH HUYỀN
NGHIÊN CỨU MỘT SỐ BÀI TOÁN TRONG HỆ THỐNG TIỀN ĐIỆN TỬ
LUẬN VĂN THẠC SĨ
Hà Nội - 2008
Trang 2ĐẠI HỌC QUỐC GIA HÀ NỘI
TRƯỜNG ĐẠI HỌC CÔNG NGHỆ
-
Hà Thị Thanh Huyền
NGHIÊN CỨU MỘT SỐ BÀI TOÁN TRONG HỆ THỐNG TIỀN ĐIỆN TỬ
Ngành: Công nghệ thông tin
LUẬN VĂN THẠC SĨ
Hà Nội - 2008
NGƯỜI HƯỚNG DẪN KHOA HỌC:
PGS.TS: Trịnh Nhật Tiến
Trang 3LỜI CAM ĐOAN
Với mục đích học tập, nghiên cứu để nâng cao kiến thức và trình độ chuyên môn nên tôi đã làm luận văn này một cách nghiêm túc và hoàn toàn trung thực
Trong luận văn, tôi có sử dụng một số tài liệu tham khảo của một số tác giả Tôi đã nêu ra trong phần tài liệu tham khảo ở cuối luận văn
Tôi xin cam đoan và chịu trách nhiệm về nội dung và sự trung thực trong luận văn tốt nghiệp Thạc sĩ của mình!
Học viên, Hà Thị Thanh Huyền
Trang 4MỤC LỤC
LỜI CAM ĐOAN 3
MỤC LỤC 4
DANH MỤC CÁC KÝ HIỆU 10
DANH MỤC BẢNG BIỂU ERROR! BOOKMARK NOT DEFINED.
MỞ ĐẦU ERROR! BOOKMARK NOT DEFINED.
CHƯƠNG 1 CÁCKHÁINIỆMCƠBẢN E RROR ! B OOKMARK NOT DEFINED
1.1 MỘT SỐ KHÁI NIỆM TOÁN HỌC Error! Bookmark not defined.
1.1.1 Khái niệm trong số học Error! Bookmark not defined
1) Số nguyên tố và nguyên tố cùng nhau.Error! Bookmark not defined
2) Đồng dư thức Error! Bookmark not defined
3) Phần tử nghịch đảo Error! Bookmark not defined
1.1.2 Khái niệm trong đại số Error! Bookmark not defined
1) Khái niệm nhóm Error! Bookmark not defined
2) Khái niệm nhóm con Error! Bookmark not defined
3) Khái niệm nhóm Cyclic Error! Bookmark not defined
4) Bài toán đại diện trong nhóm cấp nguyên tố.Error! Bookmark not defined
1.1.3 Khái niệm về độ phức tạp Error! Bookmark not defined
1) Khái niệm bài toán Error! Bookmark not defined
2) Độ phức tạp dữ liệu vào của bài toán.Error! Bookmark not defined
3) Chi phí của thuật toán đơn định tính theo một bộ dữ liệu vào.Error! Bookmark not defined
4) Độ phức tạp của thuật toán đơn định.Error! Bookmark not defined
5) Phân lớp bài toán theo độ phức tạp.Error! Bookmark not defined
1.2 MÃ HOÁ Error! Bookmark not defined.
Trang 51.2.1 Khái niệm mã hoá Error! Bookmark not defined
1.2.2 Hệ mã hoá khoá công khai RSA Error! Bookmark not defined
1.3 KÝ SỐ Error! Bookmark not defined.
1.3.1 Giới thiệu về ký số Error! Bookmark not defined
1.3.2 Một số sơ đồ ký số Error! Bookmark not defined
1) Sơ đồ ký số RSA Error! Bookmark not defined
2) Sơ đồ ký số Schnorr Error! Bookmark not defined
1.3.3 Chữ ký mù Error! Bookmark not defined
1) Giới thiệu về chữ ký mù Error! Bookmark not defined
2) Chữ ký mù RSA Error! Bookmark not defined
3) Chữ ký mù Schnorr Error! Bookmark not defined
1.3.4 Chữ ký nhóm và ứng dụng Error! Bookmark not defined
1) Sơ đồ chữ ký nhóm dạng 1 Error! Bookmark not defined
2) Sơ đồ chữ ký nhóm dạng 2 Error! Bookmark not defined
3) Sơ đồ chữ ký nhóm dạng 3 (Jan Camenish và Stadler)Error! Bookmark not defined
1.3.5 Chữ ký nhóm mù và ứng dụng Error! Bookmark not defined
1.3.6 Chữ ký dùng một lần Error! Bookmark not defined
1.3.7 Chữ ký không thể chối bỏ Error! Bookmark not defined
1) Sơ đồ chữ ký không thể chối bỏ của Chaum.Error! Bookmark not defined
2) Ví dụ Error! Bookmark not defined
1.3.8 Chia sẻ bí mật có thể xác minh Error! Bookmark not defined
1) Sơ đồ chia sẻ bí mật Error! Bookmark not defined
2) Sơ đồ chia sẻ bí mật có thể xác minh.Error! Bookmark not defined
1.3.9 Hàm băm Error! Bookmark not defined
Trang 6CHƯƠNG 2 GIỚITHIỆUVỀTIỀNĐIỆNTỬ.E RROR ! B OOKMARK NOT DEFINED
2.1 KHÁI NIỆM TIỀN ĐIỆN TỬ Error! Bookmark not defined.
2.1.1 Cấu trúc tiền điện tử Error! Bookmark not defined
2.1.2 Hai loại tiền điện tử Error! Bookmark not defined
2.1.3 Mô hình giao dịch Error! Bookmark not defined
2.1.4 Hai hình thức thanh toán Error! Bookmark not defined
2.2 TÍNH CHẤT CỦA TIỀN ĐIỆN TỬ Error! Bookmark not defined.
2.2.1 Tính an toàn (security) Error! Bookmark not defined
2.2.2 Tính riêng tư (privacy) Error! Bookmark not defined
2.2.3 Tính độc lập (portability) Error! Bookmark not defined
2.2.4 Tính chuyển nhượng được (transferability).Error! Bookmark not defined
2.2.5 Tính phân chia được (divisibility).Error! Bookmark not defined
CHƯƠNG 3 MỘTSỐBÀITOÁNPHÁTSINHKHIDÙNGTIỀNĐIỆNTỬE RROR ! B OOKMARK NOT DEFINED 3.1 MỘT SỐ BÀI TOÁN PHÁT SINH Error! Bookmark not defined.
3.2 GIẢI PHÁP CHO BÀI TOÁN “TIÊU NHIỀU LẦN MỘT ĐỒNG
TIỀN” (DOUBLE-SPENDING) Error! Bookmark not defined.
3.2.1 Giới thiệu giải pháp Error! Bookmark not defined
3.2.2 Lược đồ truy vết gian lận KV Error! Bookmark not defined
1) Chuẩn bị Error! Bookmark not defined
2) Giao thức rút tiền Error! Bookmark not defined
3) Kiểm tra chữ ký Error! Bookmark not defined
4) Phân tích lược đồ KV Error! Bookmark not defined
3.2.3 Lược đồ Fair tracing Error! Bookmark not defined
1) Chuẩn bị: Error! Bookmark not defined
Trang 72) Giao thức rút tiền Error! Bookmark not defined
3) Giao thức trả tiền Error! Bookmark not defined
4) Giao thức gửi tiền và kiểm tra chữ ký.Error! Bookmark not defined
5) Phân tích lược đồ Fair tracing Error! Bookmark not defined
3.2.4 So sánh lược đồ KV và lược đồ Fair tracing.Error! Bookmark not defined 3.3 GIẢI PHÁP CHO BÀI TOÁN ẨN DANH VÀError! Bookmark not defined.
CHỐNG GIAN LẬN GIÁ TRỊ ĐỒNG TIỀN Error! Bookmark not defined.
3.3.1 Giới thiệu giải pháp Error! Bookmark not defined
3.3.2 Lược đồ Chaum-Fiat-Naor Error! Bookmark not defined
1) Giao thức Rút tiền Error! Bookmark not defined
2) Giao thức Thanh toán Error! Bookmark not defined
3) Giao thức Gửi Error! Bookmark not defined
4) Đánh giá Error! Bookmark not defined
5) Chi phí Error! Bookmark not defined
6) Tấn công Error! Bookmark not defined
3.3.3 Lược đồ Brand Error! Bookmark not defined
1) Khởi tạo tài khoản Error! Bookmark not defined
2) Giao thức rút tiền Error! Bookmark not defined
3) Giao thức thanh toán Error! Bookmark not defined
4) Giao thức Gửi Error! Bookmark not defined
5) Đánh giá Error! Bookmark not defined
6) Tấn công Error! Bookmark not defined
CHƯƠNG 4 XÂY DỰNG THỬ NGHIỆM HỆ THỐNG TIỀN ĐIỆN TỬ DỰA
TRÊNLƯỢCĐỒBRAND E RROR ! B OOKMARK NOT DEFINED
4.1 MÔ TẢ BÀI TOÁN NGHIỆP VỤ Error! Bookmark not defined.
Khởi tạo tài khoản (Open account).Error! Bookmark not defined
Trang 82) Chứng minh đại diện tài khoản (Authenticate).Error! Bookmark not defined
3) Rút tiền (Withdraw Money) Error! Bookmark not defined
4) Thanh toán (Payment Money) Error! Bookmark not defined
5) Gửi tiền (Deposit Money) Error! Bookmark not defined
6) Phát hiện “double-spending” Error! Bookmark not defined
4.2 MÔ HÌNH NGHIỆP VỤ Error! Bookmark not defined.
4.2.1 Biểu đồ ngữ cảnh Error! Bookmark not defined
4.2.2 Biểu đồ phân rã chức năng Error! Bookmark not defined
1) Hệ thống thanh toán dành cho khách hàng.Error! Bookmark not defined
2) Hệ thống thanh toán dành cho Ngân hàng.Error! Bookmark not defined 4.3 MÔ HÌNH KHÁI NIỆM / LOGIC Error! Bookmark not defined.
4.3.1 Hệ thống thanh toán dành cho khách hàng.Error! Bookmark not defined
1) Biểu đồ luồng dữ liệu mức 0 Error! Bookmark not defined
2) Các biểu đồ luồng dữ liệu mức 1 Error! Bookmark not defined
4.3.2 Hệ thống thanh toán dành cho Ngân hàng.Error! Bookmark not defined
1) Biểu đồ luồng dữ liệu mức 0 Error! Bookmark not defined
2) Các biểu đồ luồng dữ liệu mức 1 Error! Bookmark not defined
4.3.3 Biểu đồ quan hệ thực thể Error! Bookmark not defined
1) Hệ thống thanh toán cho khách hàng.Error! Bookmark not defined
2) Hệ thống thanh toán dành cho Ngân hàng.Error! Bookmark not defined
4.3.4 Một số giao diện chính Error! Bookmark not defined
1) Mở tài khoản Error! Bookmark not defined
2) Rút tiền Error! Bookmark not defined
3) Thanh toán Error! Bookmark not defined
4) Gửi tiền Error! Bookmark not defined
Trang 94.3.5 Trích dẫn một số phần mã nguồn Error! Bookmark not defined
KẾT LUẬN ERROR! BOOKMARK NOT DEFINED.
DANH MỤC CÔNG TRÌNH CỦA TÁC GIẢERROR! BOOKMARK NOT DEFINED TÀI LIỆU THAM KHẢO 11
Trang 10DANH MỤC CÁC KÝ HIỆU
TT Ký hiệu Chú giải cho ký hiệu sử dụng
1 RSA Hệ mã hoá công khai được đề xuất bởi Ron Rivest, Adi
Shamir, Len Adlemon năm 1977
2 TPD Thư mục công khai tin tưởng - Trusted Public Directory)
3 SSS Sơ đồ chia sẻ bí mật - Secret Sharing Schemes
4 VSS Sơ đồ chia sẻ bí mật có thể xác minh - Verify Secret Sharing
5 KV Lược đồ KV, (tên viết tắt của hai tác giả D Kugler và H
Vogt)
6 TTP Bên thứ ba tin cậy - Trusted Third Party
Trang 11TÀI LIỆU THAM KHẢO
Tiếng Việt
1 Phan Đình Diệu GS (2006), Lý Thuyết Mật Mã và An Toàn Thông Tin, Nhà xuất bản
Đại học quốc gia Hà Nội
2 Trịnh Nhật Tiến PGS TS (2007), Bài giảng môn An toàn và bảo mật dữ liệu
3 Trịnh Nhật Tiến PGS TS (2007), Bài giảng môn Phân tích đánh giá thuật toán
4 Trịnh Nhật Tiến PGS TS, (Hội thảo: Nghiên cứu cơ bản và ứng dụng công nghệ thông tin, thành phố Hồ Chí Minh 2005), Khoa CNTT, Đại học Công nghệ, Đại học quốc gia
Hà Nội, Báo cáo “Chữ ký: “mù”, “nhóm”, “mù nhóm” và ứng dụng”
5 Nguyễn Văn Vỵ PGS –TS (2002), Phân tích thiết kế Hệ thống thông tin,
Nhà xuất bản thống kê Hà Nội
Tiếng Anh
6 ByeongKon Kim, School of Engineering, Information and Commmunications
University (2004), Bài viết: “Design of Fair Tracing E_cash System based on Blind Signature” trên trang web:
http://caislab.icu.ac.kr/Paper/thesis_files/2004/Thesis_bgKim.pdf
7 [Ebook - C] Applied Cryptography Second Edition - John Wiley & Sons Inc.pdf
8 Prentice Hall - Modern Cryptography - Theory And Practice - 2003.pdf
9 Mandana Jahanian Farsi, Master’s Thesis in Computer Science, Department of mathematics and computing science, GoteborgUniversity (1997), Bài viết: “Digital Cash” trên trang web: http://www.simovits.com/archive/dcash.pdf
10 http://ntrg.cs.tcd.ie/meipeirce/Project/Mlists/brands.html