Tổng quan luận án

Tính cấp thiết và khoảng trống nghiên cứu

Trong bối cảnh mạng Internet phát triển nhanh chóng, các dịch vụ thương mại điện tử và giao dịch trực tuyến ngày càng mở rộng quy mô. Phương pháp xác thực truyền thống dựa trên định danh và mật khẩu hoặc mã PIN bộc lộ nhiều nhược điểm: người dùng khó ghi nhớ các mật khẩu phức tạp, máy tính có năng lực tính toán ngày càng cao dễ dàng dò quét mật khẩu, và mật khẩu không phân biệt được người dùng hợp pháp với kẻ mạo danh có được thông tin đăng nhập.

Xác thực bằng đặc trưng sinh trắc học (vân tay, khuôn mặt, mống mắt...) được ứng dụng để thay thế các phương pháp truyền thống nhờ tính duy nhất và tính tiện lợi khi không yêu cầu người dùng phải ghi nhớ hay mang theo thiết bị. Tuy nhiên, việc ứng dụng sinh trắc học trong kiến trúc xác thực từ xa phải đối mặt với các thách thức lớn:

  • Dữ liệu sinh trắc học có bản chất nhạy cảm, phản ánh trực tiếp cá nhân và có số lượng hữu hạn trong suốt cuộc đời một con người (không thể thu hồi hay cấp lại dễ dàng như mật khẩu khi bị lộ).
  • Dữ liệu sinh trắc học thu nhận luôn tồn tại nhiễu do thiết bị cảm biến và môi trường (biến thiên nội lớp).
  • Nguy cơ bị tấn công trên đường truyền mạng công cộng không an toàn (tấn công xen giữa, tấn công lặp lại).
  • Nguy cơ tấn công tại máy chủ lưu trữ cơ sở dữ liệu: đặc biệt là tấn công từ bên trong (insider attack), khi người quản trị hệ thống hoặc kẻ kiểm soát máy chủ có thể lợi dụng dữ liệu mẫu sinh trắc lưu trữ để mạo danh người dùng hợp pháp hoặc thực hiện tấn công theo vết người dùng (cross-matching / function creep).

Khoảng trống nghiên cứu được tác giả xác định là: các giao thức xác thực từ xa hiện có hoặc chưa bảo vệ toàn diện mẫu sinh trắc trên máy chủ, hoặc đòi hỏi chi phí tính toán quá cao (như mã hóa đồng hình hoàn toàn), hoặc chỉ phân chia nhiều máy chủ nhưng vẫn có nguy cơ bị lộ dữ liệu nếu các máy chủ thông đồng. Luận án đặt vấn đề xây dựng một giải pháp vừa bảo vệ mẫu sinh trắc bằng lược đồ lai, vừa đảm bảo tính toán an toàn trên máy chủ không đáng tin cậy bằng cách tích hợp phần cứng chuyên dụng.

Mục tiêu nghiên cứu

Mục tiêu chính của luận án là đưa ra giải pháp bảo mật cho hệ thống xác thực từ xa sử dụng đặc trưng sinh trắc, tập trung vào hai nhiệm vụ cốt lõi:

  1. Bảo vệ mẫu sinh trắc của người dùng: Chuyển đổi mẫu sinh trắc sang vùng an toàn trước khi xử lý, đảm bảo khả năng triệt tiêu nhiễu để so khớp chính xác, đồng thời thỏa mãn các tiêu chí về tính khả đổi, tính bảo mật và duy trì hiệu suất nhận dạng.
  2. Thực hiện tính toán an toàn trong ngữ cảnh máy chủ xác thực không đáng tin cậy: Thiết kế giao thức xác thực từ xa có khả năng chống lại các mối đe dọa trên đường truyền mạng và ngăn chặn nguy cơ mạo danh người dùng xuất phát từ chính nội bộ máy chủ.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Các kỹ thuật bảo vệ mẫu sinh trắc học (kỹ thuật biến đổi mẫu, hệ thống mã hóa sinh trắc), các giao thức xác thực từ xa, và cơ chế tính toán an toàn trên máy chủ.
  • Phạm vi nghiên cứu:
    • Về dữ liệu sinh trắc: Nghiên cứu chỉ tập trung xử lý dữ liệu đặc trưng đã được rút trích dưới dạng vector (sử dụng kỹ thuật Phân tích thành phần chính - PCA / Principal Component Analysis). Quá trình tiền xử lý hình ảnh thô và các kỹ thuật chống giả mạo ở tầng cảm biến (nhận biết tính sống động / liveness detection) không thuộc phạm vi luận án.
    • Về mô hình tấn công trên máy chủ: Giả định máy chủ có khả năng tấn công ở mức bị động (passive insider attack), nghĩa là người quản trị hoặc máy chủ không trung thực sẽ tìm cách khai thác, lợi dụng dữ liệu lưu trữ và tài nguyên hệ thống để mạo danh người dùng chứ không chủ động can thiệp làm sai lệch quy trình tính toán hay phá hoại hệ thống.

Tổng quan tài liệu và vị trí của luận án

Các hướng nghiên cứu trước đây

Tác giả đã hệ thống hóa các công trình nghiên cứu theo ba nhóm chính:

  1. Xác thực truyền thống và thẻ thông minh:

    • Lamport (1981): Đề xuất sử dụng chuỗi hàm băm mật khẩu một chiều để che giấu mật khẩu thực, nhưng thông tin lưu trên máy chủ vẫn có nguy cơ rò rỉ.
    • Shamir (1985): Đề xuất sử dụng thẻ thông minh phát hành bởi bên thứ ba tin cậy (TTP), phù hợp trong phạm vi nhóm nhỏ.
    • Das và cộng sự (2004): Kết hợp mật khẩu với định danh động, tuy nhiên việc loại bỏ định danh khỏi gói tin làm hệ thống dễ bị tấn công đoán mật khẩu và tấn công nội bộ.
    • Yoon (2006): Dùng thẻ thông minh trả về khóa xác thực và khóa mã hóa mật khẩu, kết hợp nhãn thời gian và thử thách - phản hồi, nhưng thiếu cơ chế đồng thuận khóa phiên.
    • Sandeep và cộng sự (2011): Nhúng số ngẫu nhiên dùng một lần (NONCE) vào khóa người dùng nhưng vẫn dùng khóa chung do máy chủ cung cấp, tạo lỗ hổng mạo danh.

  2. Hệ thống xác thực sử dụng đặc trưng sinh trắc học:

    • Lee (2002): Đưa dấu vân tay vào quy trình xác thực nhưng giao thức dễ bị tổn thương trước tấn công mạo danh.
    • Li và Hwang (2010): Kết hợp sinh trắc học với hàm băm một chiều và nhãn thời gian.
    • Xiong và cộng sự (2011): Chỉ ra sai lầm trong thiết kế của Li và Hwang khi áp dụng trực tiếp hàm băm lên dữ liệu sinh trắc có nhiễu (khiến việc so khớp không khả thi); Xiong đề xuất lưu số ngẫu nhiên trên máy chủ nhưng chưa giải quyết triệt để thời gian so khớp kéo dài.
    • Chen và cộng sự (2012): Giao thức vân tay trên thiết bị di động, thiếu cơ chế xác thực thông điệp một lần dẫn đến nguy cơ mạo danh và tái đăng ký trái phép.

  3. Bảo mật trong xác thực từ xa sử dụng sinh trắc học:

    • Hệ thống BioPKI - ĐH Bách Khoa Hà Nội (2008): Sử dụng khóa mã hóa sinh trắc (BEK) để bảo vệ khóa bí mật nhưng bỏ qua việc bảo vệ mẫu sinh trắc lưu trên cơ sở dữ liệu máy chủ.
    • Xi và cộng sự (2011): Bảo vệ vân tay bằng kỹ thuật cụm mờ (fuzzy vault) và lưu trữ chỉ số điểm thực thay vì dữ liệu cụ thể, kết hợp mã hóa đường cong Elliptic (ECC); tuy nhiên giả định máy chủ hoàn toàn an toàn và không thể tự sinh khóa phiên động.
    • Hisham và cộng sự (2013): Kết hợp giấu tin (steganography) và phép chiếu trực giao ngẫu nhiên để biến đổi mẫu không khả nghịch, nhưng chưa ngăn chặn được trường hợp máy chủ tự đánh cắp dữ liệu để mạo danh.
    • Maneesh và cộng sự (2010): Đưa ra khái niệm xác thực mù (Blind Authentication), thực hiện so khớp trong miền mã hóa thông qua lớp phân biệt; tuy nhiên lớp phân biệt này đóng vai trò như bên thứ ba tin cậy và vẫn tiềm ẩn nguy cơ bị tấn công.
    • eSketch (2012): Ứng dụng mã hóa đồng hình kết hợp cam kết mờ (fuzzy commitment), nhưng độ phức tạp tính toán rất lớn và người dùng vẫn phải cung cấp mẫu gốc ở giai đoạn đăng ký.
    • Nghiên cứu sử dụng đa thức Chebyshev (2015): Kết hợp tính bán nhóm của Chebyshev với rút trích mờ, đạt hiệu quả tính toán nhưng chưa có cơ chế chống tấn công từ người quản trị hệ thống.
    • Nguyen và cộng sự (2016, 2017): Tách máy chủ thành hai máy chủ phụ chuyên biệt để giảm thiểu quyền lực lưu trữ; tuy nhiên nếu các máy chủ cấu kết (collusion) thì dữ liệu vẫn bị lộ.
Giao thức / Công trình Đóng góp chính Yếu điểm / Hạn chế Bảo vệ mẫu sinh trắc Tính khả đổi Xác thực lẫn nhau
BioPKI (2008) Dùng khóa mã hóa sinh trắc (BEK) bảo vệ khóa bí mật Không bảo vệ mẫu sinh trắc trên máy chủ Không Không Không
Xi và cs (2011) Lưu chỉ số thay vì điểm đặc trưng thực của vân tay Máy chủ không an toàn; không tự sinh khóa phiên Có Không Không
Xác thực mù (2010) Thiết kế bộ phân loại trong không gian mẫu gốc Bộ phân loại là bên thứ ba, không đảm bảo an toàn Không Không Không
eSketch (2012) Dùng mã hóa đồng hình bảo vệ tính riêng tư Độ phức tạp tính toán lớn; đăng ký lộ mẫu gốc Có Không Không
Kerberos sinh trắc (2014) Ứng dụng Kerberos và chữ ký ảnh làm nhiễu Chưa chống được tấn công từ bên trong máy chủ KDC Có Có Có
Steganography (2013) Kết hợp giấu tin và biến đổi trực giao ngẫu nhiên Máy chủ có thể lấy cắp dữ liệu để mạo danh Có Có Có
Chebyshev (2015) Dùng đa thức Chebyshev và Rút trích mờ Chưa có cơ chế chống tấn công từ người quản trị Có Không Có
Xác thực 2 máy chủ (2016) Kết hợp Cam kết mờ và chia tách thành 2 máy chủ phụ Các máy chủ phụ có thể cấu kết để tấn công Có Có Có

Khoảng trống luận án lựa chọn giải quyết

Luận án giải quyết trực tiếp hai bài toán chưa hoàn thiện ở các nghiên cứu trước:

  1. Kết hợp kỹ thuật biến đổi mẫu (Phép chiếu trực giao ngẫu nhiên) và hệ thống mã hóa sinh trắc (Cam kết mờ) thành một lược đồ lai hoàn chỉnh, đáp ứng đồng thời tính khả đổi, tính bất khả đảo và bảo toàn tỷ lệ nhận dạng.
  2. Tích hợp bộ đồng xử lý bảo mật (Secure Coprocessor - phần cứng biệt lập) tại máy chủ để cô lập các tính toán trên dữ liệu nhạy cảm, ngăn chặn hoàn toàn nguy cơ máy chủ mạo danh người dùng mà không cần phụ thuộc vào giả định máy chủ tin cậy hay phân tán nhiều máy chủ.

Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết và khái niệm sử dụng

  1. Các tiêu chí bảo vệ mẫu sinh trắc:

    • Tính khả đổi (Cancelability / Revocability & Diversity): Mẫu sinh trắc bị lộ có thể thu hồi và cấp mới từ dữ liệu gốc mà không bị trùng lặp giữa các ứng dụng khác nhau (chống tấn công cross-matching).
    • Tính bảo mật (Security / Non-invertibility): Không thể khôi phục lại mẫu sinh trắc gốc từ mẫu biến đổi được lưu trong cơ sở dữ liệu.
    • Hiệu suất (Performance / Discriminability): Quá trình biến đổi không làm suy giảm khả năng phân biệt giữa các cá nhân (giữ nguyên tỷ lệ chấp nhận sai FAR và tỷ lệ từ chối sai FRR).

  2. Phân loại các hướng tiếp cận bảo vệ mẫu sinh trắc:

    • Biến đổi mẫu sinh trắc (Cancelable biometrics): Phép biến đổi khả nghịch (dùng khóa bí mật) và phép biến đổi bất khả nghịch (dùng hàm một chiều).
    • Hệ thống mã hóa sinh trắc (Biometric cryptosystem): Khóa gán kèm dữ liệu sinh trắc (Key binding - ví dụ: Cam kết mờ / Fuzzy commitment, Cụm mờ / Fuzzy vault) và Khóa sinh ra từ dữ liệu sinh trắc (Key generation - ví dụ: Rút trích mờ / Fuzzy extractor, Rút trích thành phần chính an toàn / Secure sketch).
Tiêu chí Biến đổi mẫu sinh trắc (Cancelable Biometrics) Hệ thống mã hóa sinh trắc (Biometric Cryptosystem)
Ý tưởng Biến đổi mẫu đăng ký bằng hàm trước khi lưu Gắn kết mẫu với một khóa hoặc trực tiếp sinh khóa
Dữ liệu lưu trữ Mẫu sinh trắc đã biến đổi; khóa bí mật/hàm biến đổi Dữ liệu trợ giúp công khai (Helper data)
Phép so trùng So sánh tương tự giữa các mẫu đã biến đổi So sánh chính xác giữa các khóa (nhị phân)
Yêu cầu Hàm biến đổi khó suy ngược; bảo toàn khoảng cách Dữ liệu trợ giúp không làm lộ mẫu gốc và khóa
Ưu điểm Dễ triển khai; giữ nguyên bản chất so khớp tương tự Mức độ bảo mật cao do không lưu dữ liệu sinh trắc
Nhược điểm Mức độ bảo mật phụ thuộc vào việc giữ bí mật của khóa Triển khai phức tạp; cần module sửa lỗi (ECC)
  1. Tính toán an toàn và Bộ đồng xử lý bảo mật (Secure Coprocessor - SC):
    • Nghiên cứu sử dụng mô hình phần cứng bảo mật IBM 4765 đạt chuẩn FIPS 140-2 Level 4. Bộ đồng xử lý có khả năng tự hủy dữ liệu khi bị can thiệp vật lý, sở hữu bộ nhớ an toàn và thực hiện các thuật toán mã hóa, so khớp bên trong ranh giới bảo mật.

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

  • Phương pháp định lượng và thực nghiệm:
    • Mô hình hóa toán học: Xây dựng công thức biến đổi vector đặc trưng bằng phép chiếu trực giao ngẫu nhiên $Y = X \cdot P$ kết hợp nhị phân hóa và mã sửa lỗi (Error Correcting Code - ECC) trong lược đồ Cam kết mờ.
    • Phương pháp rút trích đặc trưng: Áp dụng phương pháp Eigenface dựa trên Phân tích thành phần chính (PCA) để chuyển đổi ảnh khuôn mặt thành vector đặc trưng.
    • Đo lường sai số: Sử dụng các chỉ số FAR (Tỷ lệ chấp nhận sai), FRR (Tỷ lệ từ chối sai) và EER (Tỷ lệ lỗi cân bằng tại giao điểm giữa FAR và FRR) để so sánh hiệu năng giữa hệ thống gốc, hệ thống dùng phép chiếu trực giao ngẫu nhiên, và hệ thống dùng lược đồ lai.
    • Phân tích độ phức tạp: Đánh giá độ phức tạp tính toán thời gian và không gian bộ nhớ của các thuật toán theo ký pháp Big-O.
  • Phương pháp phân tích an toàn giao thức:
    • Đánh giá khả năng đề kháng của giao thức trước 4 kịch bản tấn công: Tấn công mẫu sinh trắc, Tấn công lặp lại (Replay attack), Tấn công xen giữa (Man-in-the-middle attack), và Tấn công từ bên trong hệ thống (Insider attack).

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

CHƯƠNG 1: GIỚI THIỆU

Chương 1 thiết lập nền tảng nghiên cứu thông qua việc phân tích bối cảnh phát triển của Internet, sự chuyển dịch từ xác thực truyền thống sang xác thực sinh trắc học, và các nguy cơ mất an toàn thông tin trong môi trường mạng. Chương này nêu rõ mục tiêu kép của luận án (bảo vệ mẫu sinh trắc và đảm bảo tính toán an toàn), xác định phạm vi nghiên cứu (xử lý trên vector đặc trưng trích xuất bằng PCA, máy chủ tấn công bị động), chỉ ra 3 đóng góp chính và trình bày cấu trúc tổng thể gồm 7 chương của luận án.

CHƯƠNG 2: CÁC NGHIÊN CỨU LIÊN QUAN

Chương 2 cung cấp bức tranh toàn cảnh về lý thuyết xác thực và sinh trắc học.

  • Trình bày định nghĩa xác thực, phân biệt với ủy quyền, phân loại bằng chứng xác thực (những gì bạn biết, những gì bạn có, những gì là chính bạn).
  • Phân tích 7 tính chất của đặc trưng sinh trắc (phổ biến, duy nhất, ổn định, tính toán được, hiệu quả, chấp nhận được, chống gian lận) qua bảng so sánh các đặc trưng phổ biến (vân tay, khuôn mặt, mống mắt, võng mạc, dáng đi, chữ ký, cách gõ phím).
Đặc trưng sinh trắc Tính phổ biến Tính duy nhất Tính ổn định Dễ thu thập Tính hiệu quả Tính chấp nhận Chống gian lận
Vân bàn tay Trung bình Trung bình Trung bình Trung bình Trung bình Trung bình Thấp
Dạng hình học bàn tay Trung bình Trung bình Trung bình Cao Trung bình Trung bình Trung bình
Vân tay Cao Cao Cao Trung bình Cao Trung bình Cao
Dáng đi Trung bình Thấp Thấp Cao Thấp Cao Thấp
Khuôn mặt Cao Trung bình Trung bình Cao Thấp Cao Thấp
Võng mạc Cao Cao Cao Thấp Cao Thấp Cao
Mống mắt Cao Cao Cao Thấp Cao Thấp Cao
Chữ ký Thấp Thấp Thấp Cao Thấp Cao Thấp
Cách gõ phím Thấp Thấp Thấp Trung bình Thấp Trung bình Thấp
  • Phân tích chi tiết các thành phần trong hệ thống xác thực sinh trắc: Bộ cảm biến, Bộ tiền xử lý, Bộ rút trích đặc trưng, Cơ sở dữ liệu mẫu đăng ký, Bộ so sánh, và Bộ ra quyết định.
  • Phân loại các điểm tấn công theo mô hình xương cá: tấn công giao diện người dùng, tấn công giữa các khối chức năng, tấn công tại khối chức năng, và tấn công cơ sở dữ liệu mẫu.
  • Điểm lại chi tiết các công trình xác thực truyền thống và xác thực từ xa sử dụng sinh trắc học giai đoạn 1981–2017.

CHƯƠNG 3: BẢO VỆ DỮ LIỆU SINH TRẮC

Chương 3 đi sâu vào các giải pháp kỹ thuật bảo vệ mẫu sinh trắc.

  • Phân tích 3 tiêu chí đánh giá cốt lõi: Tính khả đổi, Bảo mật, và Hiệu suất.
  • Trình bày chi tiết hai hướng tiếp cận đơn lẻ: Biến đổi đặc trưng (khả nghịch/bất khả nghịch) và Hệ thống mã hóa sinh trắc (khóa gán kèm/khóa sinh ra).
  • Đề xuất và phân tích hai lược đồ lai:
    1. Lược đồ lai giữa hàm tuần hoàn sine và kỹ thuật cụm mờ (Fuzzy vault): Sử dụng hàm sine có chu kỳ $2\pi$ kết hợp vector ngẫu nhiên $E$ trong đoạn $[-1, 1]$ và tập số nguyên chu kỳ $P$ để tạo tính toàn ánh bất khả nghịch cho vector đặc trưng $X$.
    2. Lược đồ lai giữa Phép chiếu trực giao ngẫu nhiên (Random Projection - RP) và Cam kết mờ (Fuzzy commitment): Sử dụng ma trận trực giao ngẫu nhiên để biến đổi không gian vector, sau đó nhị phân hóa và gắn kết với từ mã (codeword) của mã sửa lỗi (ECC) để tạo dữ liệu trợ giúp (Helper data).

CHƯƠNG 4: TÍNH TOÁN AN TOÀN

Chương 4 giải quyết bài toán xử lý dữ liệu nhạy cảm trên máy chủ không đáng tin cậy.

  • Khảo sát các kỹ thuật tính toán an toàn nhiều thành phần (SMC), mã hóa đồng hình (Homomorphic encryption), giao thức bảo mật không thông tin (Zero-knowledge proof), và chia sẻ khóa bí mật (mô hình Shamir, mô hình Blakley).
  • Đánh giá các kiến trúc phân tán như Kerberos sinh trắc học và giao thức xác thực hai máy chủ.
  • Trình bày giải pháp sử dụng Bộ đồng xử lý bảo mật (Secure Coprocessor - SC): phân tích kiến trúc phần cứng, mô hình máy chủ tích hợp SC, và nghiên cứu điển hình (case study) về bộ công cụ, API trên thiết bị IBM 4765.

CHƯƠNG 5: GIAO THỨC ĐỀ XUẤT

Chương 5 mô tả chi tiết giao thức xác thực từ xa đề xuất, phân định rõ vai trò của 3 thực thể: Người dùng (Client), Máy chủ điều khiển chính (Control Server), và Bộ đồng xử lý bảo mật (Secure Coprocessor - SC).

  • Giai đoạn đăng ký:
    • Người dùng rút trích vector đặc trưng gốc, áp dụng phép chiếu trực giao ngẫu nhiên để tạo vector biến đổi.
    • Vector biến đổi được nhị phân hóa và đưa vào lược đồ cam kết mờ cùng với từ mã $C$ để sinh ra dữ liệu trợ giúp $HD$ ($HD = b \oplus C$) và giá trị băm $h(C)$.
    • Dữ liệu $HD$ và các tham số công khai được gửi an toàn lên máy chủ và nạp vào cơ sở dữ liệu.
  • Giai đoạn xác thực:
    • Thiết lập cơ chế thử thách - phản hồi sử dụng các số ngẫu nhiên dùng một lần (NONCE), nhãn thời gian (timestamp) để đảm bảo xác thực hai chiều giữa Client và Server.
    • Máy chủ chuyển dữ liệu trợ giúp $HD$ và mẫu kiểm tra đã biến đổi vào bên trong Bộ đồng xử lý bảo mật (SC).
    • SC thực hiện giải mã cam kết mờ, sửa lỗi thông qua thuật toán ECC để khôi phục từ mã $C'$, kiểm tra tính hợp lệ thông qua hàm băm $h(C')$. Nếu khớp, SC xác nhận thành công và phối hợp tạo khóa phiên an toàn cho phiên giao dịch.

CHƯƠNG 6: ĐÁNH GIÁ

Chương 6 cung cấp các kết quả thực nghiệm và phân tích lý thuyết:

  • Kết quả thực nghiệm:
    • Thực nghiệm nhận dạng khuôn mặt bằng thuật toán Eigenface/PCA.
    • So sánh kết quả xác thực giữa: (1) Vector đặc trưng sinh trắc gốc; (2) Vector đặc trưng qua phép chiếu trực giao ngẫu nhiên; (3) Vector đặc trưng được bảo vệ bằng lược đồ lai giữa Phép chiếu trực giao ngẫu nhiên và Cam kết mờ. Kết quả chứng minh lược đồ lai duy trì được tỷ lệ nhận dạng tương đương với hệ thống gốc (đường cong FAR, FRR và giá trị EER không bị suy giảm đáng kể).
  • Đánh giá độ bảo mật:
    • Tấn công mẫu sinh trắc: Tính bất khả nghịch của RP và tính bảo mật của Cam kết mờ ngăn chặn việc tái tạo mẫu gốc từ $HD$.
    • Tấn công lặp lại: Bị triệt tiêu hoàn toàn nhờ việc sử dụng NONCE và nhãn thời gian thay đổi theo từng phiên.
    • Tấn công xen giữa: Bị vô hiệu hóa do giao thức yêu cầu xác thực lẫn nhau và thiết lập khóa phiên mã hóa thông điệp.
    • Tấn công từ bên trong: Người quản trị máy chủ không thể đọc hay giả mạo dữ liệu do toàn bộ quá trình so khớp và khôi phục từ mã diễn ra hoàn toàn trong bộ nhớ cô lập của Secure Coprocessor (IBM 4765).
  • Đánh giá độ phức tạp:
    • Phân tích chi phí tính toán và bộ nhớ của Phép chiếu trực giao ngẫu nhiên và kỹ thuật Cam kết mờ (thể hiện qua Bảng 6.1 và Bảng 6.2 trong luận án), chứng minh tính khả thi khi triển khai thực tế.

CHƯƠNG 7: KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN

Tổng kết các kết quả đạt được, khẳng định tính toàn vẹn của mục tiêu nghiên cứu và chỉ ra các hạn chế cần hoàn thiện trong các công trình tiếp theo.

Kết quả và những đóng góp mới

Đóng góp mới về mặt khoa học và lý luận

  1. Đề xuất lược đồ lai bảo vệ mẫu sinh trắc: Kết hợp kỹ thuật biến đổi mẫu (Phép chiếu trực giao ngẫu nhiên) với hệ thống mã hóa sinh trắc (Kỹ thuật cam kết mờ). Sự kết hợp này dung hòa được ưu điểm của hai phương pháp: đảm bảo tính khả đổi và đa dạng của phép chiếu ngẫu nhiên, đồng thời tận dụng khả năng chịu nhiễu và bảo mật cao của cam kết mờ dựa trên mã sửa lỗi (ECC).
  2. Mô hình kiến trúc phân định tính toán an toàn: Đề xuất mô hình giao tiếp tối ưu giữa bộ xử lý máy chủ và bộ đồng xử lý bảo mật (Secure Coprocessor). Giao thức thiết kế giảm thiểu tối đa khối lượng tính toán cần thực hiện trong SC (nhằm khắc phục giới hạn tài nguyên của phần cứng chuyên dụng), đồng thời triệt tiêu hoàn toàn việc bộ xử lý chính tiếp xúc với dữ liệu nhạy cảm.
  3. Tính tổng quát cho dữ liệu dạng vector: Giao thức đề xuất có khả năng áp dụng cho nhiều loại đặc trưng sinh trắc học khác nhau (khuôn mặt, vân tay, mống mắt...) miễn là các đặc trưng đó được biểu diễn dưới dạng vector sau bước rút trích.

Kiến nghị và giải pháp đề xuất

  • Áp dụng mô hình máy chủ tích hợp Secure Coprocessor cho các hệ thống xác thực từ xa có độ nhạy cảm cao như ngân hàng điện tử, cổng dịch vụ công trực tuyến.
  • Khi triển khai thực tế, cần lựa chọn ngưỡng so khớp cân bằng giữa FAR và FRR tùy theo yêu cầu nghiệp vụ: ưu tiên hạ thấp FAR cho các khu vực kiểm soát an ninh nghiêm ngặt và ưu tiên hạ thấp FRR cho các dịch vụ thương mại hướng tới trải nghiệm tiện lợi của người dùng.

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

Hạn chế của luận án

  • Luận án giới hạn phạm vi nghiên cứu từ sau bước rút trích đặc trưng thành vector (PCA), chưa tích hợp quy trình xử lý dữ liệu thô và cơ chế chống giả mạo ở mức cảm biến (anti-spoofing / liveness detection).
  • Mô hình phân tích an toàn máy chủ chỉ giả định ở mức độ tấn công bị động (passive insider attack), chưa mở rộng cho kịch bản máy chủ chủ động phá hoại quy trình tính toán (active malicious attack).
  • Kỹ thuật bảo vệ đề xuất tối ưu cho các đặc trưng sinh trắc dạng vector có độ dài cố định, chưa bao phủ các cấu trúc dữ liệu sinh trắc phi vector hoặc tập điểm đặc trưng biến thiên phức tạp (như tập điểm minutiae thô của vân tay chưa qua chuẩn hóa vector).

Hướng nghiên cứu tiếp theo

  • Mở rộng giao thức để hỗ trợ các dạng biểu diễn sinh trắc học phi vector và cấu trúc đồ thị.
  • Nghiên cứu các cơ chế kiểm tra tính toàn vẹn và chống tấn công chủ động từ máy chủ mà vẫn duy trì hiệu năng xử lý.
  • Tối ưu hóa thuật toán mã sửa lỗi và giảm thiểu độ trễ giao tiếp giữa bộ xử lý trung tâm và Secure Coprocessor trong các hệ thống quy mô lớn hàng triệu người dùng.

Giá trị tham khảo

Đối tượng thụ hưởng

  • Nghiên cứu sinh và học viên cao học ngành An toàn thông tin, Khoa học máy tính: Tài liệu tham khảo hữu ích về phương pháp kết hợp các kỹ thuật bảo vệ mẫu sinh trắc (Cancelable Biometrics & Biometric Cryptosystems) và thiết kế giao thức mật mã.
  • Giảng viên và nhà nghiên cứu: Cung cấp khung lý thuyết hệ thống hóa và bảng tổng hợp so sánh chi tiết các công trình xác thực từ xa từ năm 1981 đến 2017.
  • Kỹ sư phát triển hệ thống và kiến trúc sư an ninh mạng: Hướng dẫn thực tiễn về việc ứng dụng phần cứng bảo mật chuyên dụng (Secure Coprocessor - IBM 4765) để giải quyết bài toán chống tấn công nội bộ trong các hệ thống xác thực ngân hàng, tài chính.

Phần nội dung đáng tham khảo nhất

  • Chương 2 (Mục 2.3) và Bảng 2.3: Bảng tổng hợp so sánh các giao thức xác thực từ xa sử dụng đặc trưng sinh trắc học qua các năm.
  • Chương 3 (Mục 3.2): Nguyên lý toán học và cơ chế hoạt động của Lược đồ lai giữa Phép chiếu trực giao ngẫu nhiên và Cam kết mờ.
  • Chương 5: Thiết kế chi tiết các bước trao đổi gói tin trong giai đoạn đăng ký và xác thực giữa Client, Server và Secure Coprocessor.

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

1. Tại sao không thể áp dụng trực tiếp hàm băm mật mã (SHA, MD5) lên mẫu sinh trắc để xác thực như mật khẩu?

Đặc trưng sinh trắc học là dữ liệu có nhiễu do biến thiên sinh lý và sai số từ cảm biến; mỗi lần thu thập dữ liệu của cùng một người đều có sự sai lệch nhỏ. Hàm băm mật mã có tính chất khuếch tán (chỉ cần thay đổi 1 bit đầu vào thì giá trị băm đầu ra thay đổi hoàn toàn). Do đó, hai mẫu sinh trắc của cùng một người sẽ cho ra hai giá trị băm hoàn toàn khác nhau, khiến máy chủ không thể so khớp chính xác nếu băm trực tiếp.

2. Lược đồ lai đề xuất trong luận án kết hợp những kỹ thuật cụ thể nào?

Luận án đề xuất lược đồ lai kết hợp giữa Phép chiếu trực giao ngẫu nhiên (Random Projection) thuộc hướng tiếp cận biến đổi đặc trưng và Cam kết mờ (Fuzzy Commitment) thuộc hướng tiếp cận hệ thống mã hóa sinh trắc. Ngoài ra, tác giả cũng khảo sát phương án kết hợp giữa hàm tuần hoàn sine và kỹ thuật cụm mờ (Fuzzy Vault).

3. Làm thế nào hệ thống ngăn chặn được người quản trị máy chủ mạo danh người dùng (tấn công từ bên trong)?

Hệ thống tích hợp một Bộ đồng xử lý bảo mật (Secure Coprocessor - SC) đạt chuẩn an toàn phần cứng (như IBM 4765) vào máy chủ. Toàn bộ các thao tác nhạy cảm liên quan đến dữ liệu trợ giúp, giải mã cam kết mờ, sửa lỗi và so trùng từ mã đều được thực hiện bên trong bộ nhớ cô lập của SC. Máy chủ chính chỉ đóng vai trò trung chuyển gói tin và không bao giờ tiếp cận được dữ liệu sinh trắc gốc hay từ mã giải mã, do đó người quản trị không thể trích xuất dữ liệu để mạo danh.

4. Hiệu suất nhận dạng của hệ thống sau khi áp dụng lược đồ lai có bị suy giảm so với hệ thống gốc không?

Kết quả thực nghiệm trên đặc trưng khuôn mặt (Eigenface/PCA) ở Chương 6 cho thấy hệ thống sử dụng lược đồ lai (Random Projection kết hợp Fuzzy Commitment) duy trì được độ chính xác nhận dạng tương đương với hệ thống sử dụng vector đặc trưng sinh trắc gốc; các chỉ số tỷ lệ lỗi FAR, FRR và điểm cân bằng EER không bị suy giảm đáng kể.

Kết luận

Luận án của tác giả Nguyễn Thị Ái Thảo đã giải quyết trọn vẹn bài toán bảo mật trong xác thực từ xa bằng đặc trưng sinh trắc học thông qua việc đề xuất lược đồ lai kết hợp Phép chiếu trực giao ngẫu nhiên và Cam kết mờ. Điểm then chốt của công trình là việc ứng dụng Bộ đồng xử lý bảo mật (Secure Coprocessor) tại máy chủ, giúp vô hiệu hóa nguy cơ tấn công mạo danh từ chính người quản trị hệ thống không đáng tin cậy. Các kết quả thực nghiệm và phân tích an toàn đã chứng minh hệ thống đạt được sự cân bằng giữa tính bảo mật, tính khả đổi và hiệu suất nhận dạng chính xác.