Bối cảnh và vấn đề nghiên cứu

Trong bối cảnh bùng nổ của mạng Internet và việc truyền tải dữ liệu dựa trên giao thức TCP/IP, thông tin được chuyển tiếp qua nhiều máy tính trung gian nên phải đối mặt với nguy cơ bị xâm phạm, theo dõi và giả mạo trên đường truyền. Để đảm bảo an toàn thông tin trong các hoạt động tài chính, ngân hàng và thương mại, các kỹ thuật mật mã học truyền thống đã đáp ứng ba yêu cầu cốt lõi: bảo mật thông tin (thông qua mã hóa), xác thực và toàn vẹn thông tin (thông qua chữ ký số cá nhân).

Tuy nhiên, nhu cầu thực tiễn trong giao dịch điện tử không chỉ giới hạn giữa các cá nhân đơn lẻ mà mở rộng sang các giao dịch giữa các tổ chức, doanh nghiệp hoặc tập thể. Khi một thành viên đại diện cho một tổ chức ký kết văn bản, việc sử dụng chữ ký số cá nhân thông thường bộc lộ hạn chế về tính ẩn danh nội bộ và tính đại diện pháp lý chung của nhóm. Nhằm giải quyết yêu cầu này, mô hình chữ ký nhóm (Group Signature) đã được nghiên cứu và phát triển.

Nhiệm vụ và mục tiêu nghiên cứu của đồ án bao gồm:

  1. Tổng hợp và hệ thống hóa các cơ sở toán học và lý thuyết mật mã cơ bản (bao gồm cả mã hóa cổ điển và mã hóa khóa công khai).
  2. Nghiên cứu bản chất, cấu trúc của chữ ký điện tử, hàm băm và các sơ đồ chữ ký số tiêu chuẩn (RSA, ElGamal, DSS).
  3. Tìm hiểu sâu về khái niệm, đặc tính an ninh và các sơ đồ chữ ký nhóm tiêu biểu (sơ đồ của David Chaum & Van Heyst, sơ đồ của Jan Camenisch & Stadler).
  4. Phân tích thực trạng giao dịch điện tử, ứng dụng chữ ký nhóm vào hệ thống thanh toán thẻ liên ngân hàng tại Việt Nam và xây dựng chương trình mô phỏng các thuật toán mật mã liên quan.

Đối tượng nghiên cứu của đề tài là các thuật toán, sơ đồ chữ ký nhóm và các cơ chế mật mã hỗ trợ (chứng minh không tiết lộ thông tin, hàm băm, chữ ký không thể chối bỏ). Phạm vi nghiên cứu tập trung vào cơ sở toán học lý thuyết, phân tích các sơ đồ chữ ký nhóm cụ thể và khảo sát ứng dụng trong hệ thống thanh toán thẻ ngân hàng tại thị trường Việt Nam trong giai đoạn 1996 - 2006.

Cơ sở lý thuyết và phương pháp

Cơ sở lý thuyết và khung pháp lý

Đồ án xây dựng nền tảng dựa trên các lý thuyết toán học đại số và mật mã học:

  • Lý thuyết số và cấu trúc đại số: Ước số chung lớn nhất ($\gcd$), bội số chung nhỏ nhất ($\text{lcm}$), số nguyên tố, cấu trúc nhóm (Group), nhóm Abel, nhóm hữu hạn, nhóm Cyclic, nhóm nhân $\mathbb{Z}_n^*$, hàm Phi Euler $\phi(n)$, đồng dư thức, phần tử nghịch đảo, thặng dư bậc hai ($Q_n, \overline{Q_n}$), và Định lý phần dư Trung Hoa (CRT).
  • Lý thuyết độ phức tạp tính toán: Đánh giá độ phức tạp bit của các phép toán trên $\mathbb{Z}$ và $\mathbb{Z}_n$.
  • Hệ mật mã khóa công khai và chữ ký số: Hệ mật RSA (dựa trên độ khó của bài toán phân tích thừa số nguyên lớn) và hệ mật ElGamal (dựa trên bài toán Logarithm rời rạc trong $\mathbb{Z}_p^*$).
  • Văn bản pháp lý tại Việt Nam: Quyết định số 44/2002/QĐ-TTg của Thủ tướng Chính phủ về việc chấp nhận chữ ký điện tử trong thanh toán liên ngân hàng và Dự thảo Luật Giao dịch điện tử được Quốc hội khóa XI thảo luận tại kỳ họp thứ 8 (ngày 28/10/2005).

Phương pháp nghiên cứu

  • Phương pháp phân tích - tổng hợp lý thuyết: Hệ thống hóa các định lý toán học, mô tả hình thức các thuật toán mật mã và quy trình thực hiện giao thức.
  • Phương pháp khảo sát và tổng hợp dữ liệu thực tiễn: Thu thập và tổng hợp số liệu thống kê về thị trường thẻ ngân hàng, số lượng máy ATM, điểm chấp nhận thẻ (POS) tại Việt Nam từ Công ty Cổ phần Chuyển mạch Tài chính Quốc gia Việt Nam (Banknetvn) và Ngân hàng Nhà nước Việt Nam.
  • Phương pháp thiết kế và lập trình thực nghiệm: Sử dụng ngôn ngữ lập trình C để cài đặt thử nghiệm các giải thuật số học mô-đun, thuật toán Euclid mở rộng, hàm ký/xác minh RSA, ElGamal và các hàm tính toán cho chữ ký nhóm.

Nội dung chính theo từng chương

Chương I: Các khái niệm cơ bản

Chương này trình bày chi tiết nền tảng toán học và các hệ mật mã kinh điển:

  • Các thuật toán số học cơ bản trong $\mathbb{Z}$ và $\mathbb{Z}_n$: Trình bày thuật toán Euclid tìm $\gcd(a, b)$, thuật toán Euclid mở rộng tìm nghiệm $(x, y)$ cho phương trình $ax + ny = d$, và thuật toán nhân và bình phương có lặp (lũy thừa mô-đun).
Phép toán trong $\mathbb{Z}_n$ Độ phức tạp bit
Cộng mô-đun ($a + b \bmod n$) $O(\lg n)$
Trừ mô-đun ($a - b \bmod n$) $O(\lg n)$
Nhân mô-đun ($a \cdot b \bmod n$) $O((\lg n)^2)$
Nghịch đảo mô-đun ($a^{-1} \bmod n$) $O((\lg n)^2)$
Lũy thừa mô-đun ($a^k \bmod n$) $O((\lg n)^3)$
  • Hàm một phía và hàm một phía có cửa sập (Trapdoor one-way function): Định nghĩa toán học về các hàm dễ tính xuôi $y = f(x)$ nhưng khó tính ngược $x = f^{-1}(y)$ trừ khi có thông tin "cửa sập".
  • Hệ mật mã cổ điển (đối xứng): Phân tích 5 sơ đồ mã hóa cổ điển gồm Mã dịch chuyển (mã Caesar), Mã thay thế (không gian khóa $26! > 4 \times 10^{26}$), Mã Affine ($e(x) = ax + b \bmod 26$, không gian khóa $12 \times 26 = 312$), Mã Vigenère, Mã Hill (sử dụng nhân ma trận vuông trên $\mathbb{Z}_{26}$) và Mã hoán vị.
  • Hệ mật mã khóa công khai: Trình bày chi tiết nguyên lý, cấu trúc khóa và ví dụ tính toán số học trên hệ mật RSA và ElGamal.

Chương II: Chữ kí điện tử

Chương này phân tích các thành phần cấu thành hệ thống chữ ký số và xác thực:

  • Định nghĩa và so sánh chữ ký điện tử: Mô hình hóa sơ đồ chữ ký điện tử là bộ 5 thành phần $S = (P, A, K, S, V)$ thỏa mãn các tính chất: không thể giả mạo, có thể xác thực, không thể thay đổi và không thể sử dụng lại.
Đặc điểm so sánh Chữ ký thông thường (Chữ ký tay) Chữ ký điện tử
Cách thức ký Gắn liền về mặt vật lý vào tài liệu Không gắn kiểu vật lý, đính kèm thuật toán đại diện không nhìn thấy trên thông điệp
Cách thức kiểm tra So sánh hình dạng với chữ ký mẫu (dễ bị làm giả) Kiểm tra bằng thuật toán công khai, bất kỳ ai cũng có thể xác minh độ hợp lệ
Tính chất bản sao Bản sao có thể phân biệt hoặc khác bản gốc Bản sao đồng nhất hoàn toàn với bản gốc, đòi hỏi kỹ thuật chống sử dụng lại
  • Các sơ đồ chữ ký tiêu biểu: Khảo sát chi tiết sơ đồ chữ ký RSA, sơ đồ ElGamal (với chữ ký gồm cặp $(\gamma, \delta)$), và chuẩn chữ ký số DSS (Digital Signature Standard) sử dụng các tham số số nguyên tố $p$ (độ dài 512 - 1024 bit) và $q$ (khoảng 160 bit).
  • Chữ ký không thể chối bỏ và Chứng minh không tiết lộ thông tin (Zero-Knowledge Proof): Phân tích mô hình "Hang động của Ali Baba" của Quisquater và Guillou với kỹ thuật "cut-and-choose", chứng minh xác suất gian lận giảm xuống $(1/2)^k$ sau $k$ lần thực hiện mà không làm lộ bí mật.
  • Ký số trên đại diện văn bản và Hàm băm (Hash Function): Phân tích sự cần thiết của hàm băm một chiều nhằm tránh việc nhân đôi kích thước khi ký thông điệp lớn; trình bày định nghĩa hàm băm yếu, hàm băm mạnh, chuẩn SHA (160 bit của NIST) và cấu trúc 5 bước của giải thuật MD5 (Ron Rivest, 1991) xử lý từng khối 512 bit qua 4 vòng lặp để tạo bản tóm lược 128 bit.
  • Các dạng tấn công trong truyền thông mạng: Khám phá nội dung, phân tích luồng thông tin, giả mạo, sửa đổi nội dung, sửa đổi trình tự, sửa đổi thời gian và chối bỏ.

Chương III: Chữ ký nhóm

Chương này tập trung vào trọng tâm kỹ thuật của đồ án:

  • Định nghĩa và đặc điểm chữ ký nhóm: Khái niệm do David Chaum và Jan van Heyst đề xuất năm 1991. Hệ thống đảm bảo 3 đặc điểm: chỉ thành viên trong nhóm mới ký được; người nhận chỉ xác minh được chữ ký thuộc nhóm mà không biết danh tính cá nhân người ký; người quản trị nhóm có quyền "mở" chữ ký để truy nguyên danh tính người ký khi cần thiết.
  • Năm thủ tục cốt lõi trong sơ đồ chữ ký nhóm:
    1. $\text{KeyGen}()$: Sinh khóa công khai của nhóm $pk$ và khóa bí mật của người quản lý nhóm $gmsk$ (hoặc sinh khóa cá nhân $sk_i$ nếu nhóm cố định).
    2. $\text{Join}()$: Giao thức cho phép thành viên mới gia nhập và nhận khóa cá nhân $sk_i$.
    3. $\text{Sig}(m, sk_i)$: Thủ tục thành viên $i$ tạo chữ ký $\delta$ trên thông điệp $m$ nhân danh nhóm.
    4. $\text{Verify}(m, \delta, pk)$: Thuật toán kiểm tra chữ ký có hợp lệ hay không (trả về kết quả $\text{True}/\text{False}$).
    5. $\text{Open}(gmsk, m, \delta)$: Người quản lý nhóm dùng khóa quản trị để truy vết thông tin người đã ký.
  • Các yêu cầu an ninh bắt buộc: Tính không thể giả mạo, tính ẩn danh tính toán được, tính chống chối bỏ, tính chống phân tích liên kết chữ ký (Unlinkability), tính chống tấn công khung (Framing attacks) và chống sự liên minh gian lận.
  • Các sơ đồ của David Chaum và Van Heyst:
    • Sơ đồ 1: Sử dụng thư mục công khai tin cậy (TPD). Phân tích biến thể sử dụng khóa công khai mù $g^{s_i r_i} \bmod p$ để ngăn chặn chính người quản trị giả mạo chữ ký thành viên.
    • Sơ đồ 2: Dựa trên bài toán RSA, $N = p \cdot q$ và khóa công khai nhóm $v = \prod s_i$. Tác giả trình bày ví dụ tính toán số học cụ thể với 5 thành viên ($p=101, q=113, N=11413, \phi(N)=11200, S_z=149$, các khóa thành viên $s_1=107, s_2=113, s_3=123, s_4=129, s_5=137$, khóa công khai nhóm $v=3916191121461$), minh họa các bước trong Giao thức xác nhận 1, Giao thức 2 và Giao thức chối bỏ (Giao thức 3, 4).
    • Sơ đồ 3: Sử dụng modulo RSA cá nhân $N_i = p_i q_i$ kết hợp chứng minh không tiết lộ thông tin trên tập con $\Gamma$.
  • Sơ đồ chữ ký nhóm của Jan Camenisch và Stadler (1997): Cho phép số lượng thành viên thay đổi linh hoạt (Dynamic group). Sơ đồ sử dụng hai khối xây dựng toán học:
    • Khái niệm chữ ký dựa trên Logarithm rời rạc kép: $SKLOGLOG_l \alpha, y = g^{(a^\alpha)}$.
    • Khái niệm chữ ký dựa trên Logarithm rời rạc phần tử gốc thứ $e$: $SKROOTLOG_l \alpha, y = g^{(\alpha^e)}$.
    • Chi tiết 5 thủ tục: $\text{Setup}$ (chọn khóa RSA $(n, e)$, nhóm cyclic $G=\langle g\rangle$, $\alpha \in \mathbb{Z}_n^*$, tham số an toàn $l, \lambda, \mu$), $\text{Join}$ (tạo $x \in {0, 1, \dots, 2^\lambda - 1}$, $y = a^x \bmod n$, $z = g^y$ và chứng nhận $v \equiv (y+1)^d \bmod n$), $\text{Sign}$ (sinh chữ ký $s = (\tilde{g}, \tilde{z}, V_1, V_2)$), $\text{Verify}$ và $\text{Open}$.

Chương IV: Ứng dụng chữ ký nhóm

Chương này đánh giá môi trường thực tiễn và triển khai ứng dụng:

  • Khái niệm giao dịch điện tử và cơ sở pháp lý: Phân tích Quyết định 44/2002/QĐ-TTg và phiên thảo luận Dự thảo Luật Giao dịch điện tử ngày 28/10/2005.
  • Mô hình ứng dụng chữ ký nhóm trong thẻ thanh toán liên ngân hàng: Đề xuất mô hình liên minh ngân hàng với Ngân hàng Trung ương đóng vai trò người quản lý nhóm (Group Manager), các ngân hàng thương mại là thành viên nhóm. Thẻ do mỗi ngân hàng phát hành được ký bằng khóa bí mật thành viên; các máy POS/ATM trong toàn liên minh chỉ cần lưu khóa công khai của nhóm để xác thực tính hợp lệ của thẻ mà không cần lưu khóa riêng của từng ngân hàng, đồng thời triệt tiêu nguy cơ các ngân hàng giả mạo thẻ của nhau.
  • Thực trạng phát triển hệ thống thẻ và ATM tại Việt Nam:
    • Banknetvn được thành lập theo giấy phép ngày 09/07/2004, khai trương ngày 09/08/2004 với vốn điều lệ 94,5 tỷ đồng gồm 8 cổ đông sáng lập: VBARD, BIDV, ICB, Sacombank, Saigonbank, ACB, EAB và VDC.
    • Phân tích các mốc phát triển thị trường thẻ qua các thời kỳ: giai đoạn 1996 - 2000 (thời kỳ thử nghiệm mở đầu do Vietcombank tiên phong với vài chục máy ATM); giai đoạn 2001 - 2005 (tăng trưởng trên 200%/năm); mốc tháng 8/2006.
Tiêu chí thống kê thị trường Cuối năm 2005 Cuối tháng 8/2006
Số lượng thẻ thanh toán phát hành Khoảng 2,7 triệu thẻ Gần 4 triệu thẻ
Số lượng máy ATM lắp đặt Trên 1.700 máy Đang tiếp tục mở rộng
Số lượng điểm chấp nhận thẻ (POS) Trên 9.000 điểm Trên 2.000 điểm (theo mạng mới)
  • Mục tiêu Đề án phát triển thanh toán không dùng tiền mặt: Giai đoạn 2006 - 2010 hướng tới 20 triệu tài khoản cá nhân, 70% cán bộ công chức và 50% công nhân được trả lương qua tài khoản; giai đoạn đến năm 2020 đạt 45 triệu tài khoản cá nhân, 95% công chức, 80% công nhân và 95% thanh toán giữa các doanh nghiệp qua tài khoản ngân hàng.

Thiết kế và triển khai chương trình thử nghiệm

Đồ án xây dựng chương trình thử nghiệm bằng ngôn ngữ C để hiện thực hóa các giải thuật số học và mật mã đã nghiên cứu.

Các mô-đun và hàm chức năng chính

  • Mô-đun số học mô-đun và lý thuyết số:
    • long exp_mod(long x, long b, long n): Thực hiện giải thuật tính lũy thừa nhanh theo mô-đun ($x^b \bmod n$).
    • long Extended_Euclidean(long b, long n): Cài đặt thuật toán Euclid mở rộng để tìm phần tử nghịch đảo mô-đun.
    • long USCLN(long n, long m): Tính ước số chung lớn nhất.
    • int kiemtra_ngto(long pq) và long Ktra_ngto_cungnhau(long b, long phi_N): Kiểm tra tính nguyên tố và nguyên tố cùng nhau.
    • long int kha_nghich(long int b, long int n): Kiểm tra tính khả nghịch của một số theo modulo.
  • Mô-đun ký và xác thực:
    • void Ky_RSA(): Hiện thực quy trình sinh khóa, ký và kiểm thử trên hệ mã RSA.
    • void Elgamal(): Hiện thực quy trình ký và xác thực theo sơ đồ ElGamal.
    • void chaum(): Cài đặt các bước tính toán và giao thức kiểm thử/chối bỏ theo sơ đồ chữ ký nhóm David Chaum.
    • void kyvb(char *tep) và int Kiemthu(): Xử lý đọc văn bản từ tệp (fopen, fscanf), trích xuất từng ký tự để tiến hành ký và kiểm tra tính toàn vẹn của tệp dữ liệu.

Kết quả và đóng góp

Kết quả chính

  • Hệ thống hóa toàn diện cơ sở toán học đại số trừu tượng và lý thuyết độ phức tạp phục vụ trực tiếp cho việc xây dựng các hệ mật mã học hiện đại.
  • So sánh, phân loại chi tiết các sơ đồ chữ ký điện tử truyền thống (RSA, ElGamal, DSS) và làm rõ các cơ chế hỗ trợ quan trọng gồm hàm băm (MD5, SHA) và chứng minh không tiết lộ thông tin (Zero-Knowledge Proof).
  • Phân tích chi tiết cấu trúc toán học của các sơ đồ chữ ký nhóm từ sơ đồ tĩnh (David Chaum & Van Heyst) đến sơ đồ động (Jan Camenisch & Stadler), kèm theo ví dụ tính toán số học mẫu chứng minh tính đúng đắn của các giao thức xác nhận và chối bỏ.
  • Đề xuất mô hình ứng dụng chữ ký nhóm cho hệ thống liên minh thanh toán thẻ ngân hàng, giải quyết bài toán dùng chung hạ tầng POS/ATM giữa các ngân hàng mà vẫn duy trì tính bảo mật và toàn vẹn của từng đơn vị phát hành.

Đóng góp về mặt học thuật và thực tiễn

Đồ án đã liên kết chặt chẽ giữa lý thuyết mật mã trừu tượng với bức tranh thực tế của ngành ngân hàng Việt Nam trong giai đoạn chuyển đổi thanh toán không dùng tiền mặt (2006 - 2010). Việc xây dựng chương trình thử nghiệm bằng ngôn ngữ C đã kiểm chứng tính khả thi của các thuật toán số học nền tảng trong thực tế xử lý dữ liệu số.

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế:
    • Khảo sát sơ đồ chữ ký nhóm của David Chaum cho thấy độ dài khóa công khai của nhóm vẫn tăng tuyến tính theo số lượng thành viên ($O(n)$), gây tốn kém tài nguyên tính toán khi quy mô nhóm mở rộng.
    • Mô phỏng phần mềm viết trên ngôn ngữ C mới dừng lại ở mức thử nghiệm các hàm thuật toán cơ bản, chưa xây dựng thành một giao diện ứng dụng mạng hoàn chỉnh tương tác qua giao thức mạng thực tế.
  • Hướng nghiên cứu tiếp: Văn bản định hướng việc nghiên cứu sâu hơn các sơ đồ chữ ký nhóm có kích thước khóa cố định không phụ thuộc vào số lượng thành viên và tối ưu hóa hiệu năng các thủ tục ký/mở để áp dụng trực tiếp vào các hệ thống thương mại điện tử và bỏ phiếu điện tử quy mô lớn.

Giá trị tham khảo

Đồ án là tài liệu tham khảo chuyên đề dành cho:

  • Sinh viên ngành Công nghệ thông tin, An toàn thông tin và Toán - Tin ứng dụng: Cung cấp nguồn tài liệu chi tiết về lý thuyết số, giải thuật toán học trong mật mã ($\mathbb{Z}_n$, CRT, Euclid mở rộng) và cấu trúc triển khai mã nguồn C.
  • Người nghiên cứu về Mật mã học và Hệ thống thanh toán điện tử: Tham khảo cơ chế vận hành của chữ ký nhóm, các giao thức Zero-Knowledge Proof, cũng như các mốc số liệu lịch sử và định hướng của thị trường thẻ ngân hàng Việt Nam giai đoạn 1996 - 2006.

Câu hỏi thường gặp

1. Sự khác biệt cốt lõi giữa chữ ký nhóm và các dạng chữ ký số thông thường là gì?

Chữ ký số thông thường gắn liền với danh tính công khai của một cá nhân duy nhất. Trong khi đó, chữ ký nhóm cho phép bất kỳ thành viên nào trong nhóm tạo chữ ký đại diện cho cả nhóm; người kiểm tra chỉ biết chữ ký đó hợp lệ và thuộc về nhóm mà không thể xác định được cá nhân nào đã ký. Chỉ duy nhất người quản lý nhóm (Group Manager) mới có khóa bí mật quản trị để "mở" chữ ký và xác định danh tính người ký khi xảy ra tranh chấp.

2. Sơ đồ chữ ký nhóm của David Chaum và Van Heyst gặp phải nhược điểm gì và sơ đồ của Jan Camenisch - Stadler khắc phục ra sao?

Các sơ đồ ban đầu của David Chaum và Van Heyst yêu cầu số lượng thành viên trong nhóm phải cố định ngay từ giai đoạn khởi tạo và kích thước khóa công khai phụ thuộc tuyến tính vào số lượng thành viên. Sơ đồ của Jan Camenisch và Stadler (1997) đã khắc phục hạn chế này bằng cách cho phép số lượng thành viên thay đổi linh hoạt (nhóm động) thông qua hai khái niệm chữ ký logarit rời rạc kép ($SKLOGLOG$) và logarit rời rạc phần tử gốc thứ $e$ ($SKROOTLOG$).

3. Mô hình ứng dụng chữ ký nhóm trong hệ thống thẻ ngân hàng được thiết kế như thế nào?

Ngân hàng Trung ương (hoặc tổ chức uy tín trung tâm) đóng vai trò là người quản lý nhóm, thực hiện sinh khóa công khai và khóa bí mật của nhóm, đồng thời cấp khóa thành viên cho từng ngân hàng thương mại. Khi phát hành thẻ cho khách hàng, mỗi ngân hàng sử dụng khóa bí mật của mình để tạo chữ ký trên thẻ. Các máy ATM hoặc thiết bị POS trong toàn liên minh chỉ cần lưu khóa công khai của nhóm để xác thực thẻ hợp lệ, giúp khách hàng dùng một thẻ tại nhiều ngân hàng mà không sợ lộ khóa riêng giữa các ngân hàng thành viên.

4. Tại sao cần sử dụng hàm băm (như MD5, SHA) trước khi thực hiện ký số?

Việc ký số trực tiếp trên toàn bộ dữ liệu bit của thông điệp lớn (vài chục Megabyte) làm tăng gấp đôi kích thước dữ liệu truyền đi (đối với sơ đồ DSS), tốc độ tính toán số học mô-đun bị chậm và dễ gây xáo trộn/mất mát đoạn dữ liệu. Hàm băm giúp ánh xạ thông điệp có dung lượng tùy ý thành một bản tóm lược văn bản (văn bản đại diện hay fingerprint) có kích thước cố định duy nhất (128 bit với MD5 hoặc 160 bit với SHA), từ đó tối ưu hóa tốc độ và đảm bảo tính toàn vẹn của dữ liệu gốc.

5. Thực trạng phát triển thị trường thẻ thanh toán tại Việt Nam đến tháng 8/2006 theo số liệu trong đồ án như thế nào?

Theo khảo sát của Banknetvn được nêu trong đồ án, đến cuối tháng 8/2006, thị trường Việt Nam đã có gần 4 triệu thẻ thanh toán các loại được phát hành và trên 2.000 điểm chấp nhận thẻ (POS) được lắp đặt sử dụng. Tốc độ tăng trưởng phát hành thẻ trong giai đoạn 2001 - 2005 thường xuyên đạt trên 200%/năm.

Kết luận

Đồ án tốt nghiệp của tác giả Phạm Thị Hiểu đã nghiên cứu có hệ thống từ nền tảng lý thuyết số học, các hệ mã hóa khóa công khai, đến các sơ đồ chữ ký điện tử chuyên sâu và chữ ký nhóm. Công trình làm rõ cơ chế toán học của các sơ đồ chữ ký nhóm tiêu biểu (Chaum - Van Heyst, Camenisch - Stadler) và hiện thực hóa thuật toán thông qua chương trình mô phỏng bằng ngôn ngữ C. Đồng thời, đề tài đã phân tích thực trạng thị trường thanh toán thẻ tại Việt Nam giai đoạn 1996 - 2006, chỉ ra tính ứng dụng thiết thực của chữ ký nhóm trong việc xây dựng hệ thống thanh toán liên ngân hàng thống nhất và an toàn.