Tổng quan luận án

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

Sự phát triển của công nghệ thông tin và truyền thông đã thúc đẩy việc lưu trữ, xử lý và chia sẻ dữ liệu đa phương tiện dưới dạng số. Đi cùng với đó, các thiết bị ghi nhận hình ảnh kỹ thuật số và các phần mềm xử lý ảnh chuyên dụng (như Photoshop, Corel Draw) có sự tiến bộ vượt bậc, cho phép người dùng phổ thông không cần kiến thức chuyên sâu vẫn có thể can thiệp, chỉnh sửa, thay đổi nội dung ảnh số một cách dễ dàng. Hiện tượng làm giả ảnh số xuất hiện trong nhiều lĩnh vực như chính trị, tư pháp, thương mại, báo chí truyền thông. Văn bản luận án dẫn chứng các sự kiện thực tế như vụ việc chỉnh sửa thêm chân dung tướng Francis P., bức ảnh cắt bỏ nhân vật chụp cùng Mao Trạch Đông, hay các hình ảnh giả mạo về thử nghiệm tên lửa tại Iran và Triều Tiên lan truyền trên mạng Internet.

Từ thực tế đó, nhu cầu bảo vệ tính xác thực và điều tra nguồn gốc dữ liệu ảnh số trở thành vấn đề cấp thiết trong an toàn thông tin. Các hướng tiếp cận phòng chống và phát hiện giả mạo ảnh số hiện nay phân thành hai nhóm chính: chủ động (active) và thụ động (passive). Kỹ thuật chủ động (như thủy vân số, chữ ký số) đòi hỏi phải nhúng thông tin xác thực từ trước; tuy nhiên phần lớn ảnh số lưu hành trên Internet không chứa sẵn các dấu hiệu này. Ngược lại, kỹ thuật thụ động (điều tra ảnh số không kèm thủy vân hay chữ ký) phải dựa hoàn toàn vào các quy luật nội tại, tính chất thống kê hoặc các vết tích biến dạng vi mô do phép biên tập tạo ra. Các kỹ thuật thụ động hiện hữu còn bộc lộ nhiều hạn chế:

  • Phương pháp phân tích nguồn sáng bề mặt Lambertian của Johnson và Farid bị mất tác dụng khi đối tượng không đồng nhất bề mặt hoặc trong điều kiện ánh sáng yếu, trời nhiều mây.
  • Phương pháp dò tìm lấy mẫu lại của Popescu và Farid suy giảm độ chính xác rõ rệt khi xử lý ảnh lưu dưới định dạng nén JPEG.
  • Phương pháp đối sánh khối để phát hiện sao chép/cắt dán của Fridrich và cộng sự còn gặp khó khăn về độ phức tạp tính toán và tỷ lệ sai số khi khối dữ liệu lớn.
  • Các kỹ thuật thủy vân phục vụ xác thực toàn vẹn ảnh cần đạt được sự dung hòa giữa tính bền vững trước các xử lý thông thường và tính nhạy cảm (dễ vỡ) trước các can thiệp ác ý làm thay đổi ngữ nghĩa.

Khoảng trống mà luận án lựa chọn là nghiên cứu, cải tiến các công cụ toán học biến đổi ma trận để phát triển các lược đồ thủy vân bán dễ vỡ hiệu quả, đồng thời xây dựng các thuật toán đối sánh bền vững và phát hiện bất thường do can thiệp hình học (lấy mẫu lại, nén lặp) với chi phí tính toán thấp và tỷ lệ chính xác cao.

Mục tiêu và câu hỏi nghiên cứu

Mục tiêu nghiên cứu tổng quát của luận án là nghiên cứu và đề xuất một số kỹ thuật cho phép phòng chống (thông qua lược đồ thủy vân bán dễ vỡ) và phát hiện giả mạo ảnh số (thông qua kỹ thuật điều tra thụ động cho ảnh cắt/dán và ảnh ghép).

Luận án tập trung giải quyết 03 câu hỏi nghiên cứu cụ thể được đánh số theo văn bản:

  1. Cách tạo ảnh giả mạo như thế nào, những cách nào là phổ biến?
  2. Với mục đích đảm bảo tính xác thực của ảnh số trong quá trình trao đổi thông tin, các kỹ thuật nào có thể phòng chống được sự can thiệp từ bên ngoài để làm giả ảnh số?
  3. Với các ảnh số bất kỳ được phổ biến trên mạng Internet, có thể sử dụng các kỹ thuật nào để phát hiện được ảnh nào là nguyên bản (ảnh thật), ảnh nào là ảnh đã bị chỉnh sửa (ảnh giả)?

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

  • Đối tượng nghiên cứu: Các kỹ thuật thủy vân số bán dễ vỡ phục vụ phòng chống, xác thực ảnh số; các kỹ thuật phát hiện ảnh số giả mạo thuộc dạng cắt/dán (copy/move) trên cùng một ảnh và dạng ghép ảnh (image splicing) từ nhiều ảnh khác nhau.
  • Phạm vi nghiên cứu:
    • Về mặt lý thuyết toán học: Nghiên cứu các phép biến đổi ma trận bao gồm biến đổi Cosine rời rạc (DCT), biến đổi Fourier rời rạc (DFT), phân tích giá trị kỳ dị (SVD), phân tích QR, biến đổi Wavelet rời rạc (DWT) và thừa số hóa ma trận không âm (NMF).
    • Về mặt kỹ thuật xử lý: Lược đồ thủy vân bán dễ vỡ (semi-fragile watermarking) hoạt động trong miền biến đổi ma trận; kỹ thuật đối sánh bền vững dựa trên trích chọn đặc trưng; tính chất của phép lấy mẫu tăng (upsampling) và hiện tượng nén lặp JPEG.
    • Về dữ liệu thử nghiệm: Dữ liệu ảnh số 2D ở các định dạng tĩnh phổ biến (BMP, JPEG, TIFF); các tập ảnh chuẩn thực nghiệm (Lena, Baboon, Pepper, Airplane, logo Trường Đại học Công nghệ); cơ sở dữ liệu ảnh mẫu CBCL (Center for Biological & Computational Learning).
    • Không gian và thời gian: Luận án được thực hiện tại Trường Đại học Công nghệ – Đại học Quốc gia Hà Nội, hoàn thành và nghiệm thu năm 2017.

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 tài liệu khoa học trong và ngoài nước liên quan đến hai nhánh kỹ thuật chủ động và thụ động:

1. Các nghiên cứu quốc tế

  • Cơ sở phân loại và tổng quan: Cox và cộng sự (2002) phân định ranh giới giữa thủy vân bền vững (robust watermarking - dùng cho bảo vệ bản quyền) và thủy vân dễ vỡ (fragile watermarking - dùng cho kiểm tra tính toàn vẹn). Juergen và các công trình liên quan đã nghiên cứu sâu về cơ chế tự vỡ của dấu thủy vân khi có can thiệp. Deriche (2008) cùng các nghiên cứu tổng quan phân loại làm giả ảnh số thành 03 hình thức chính: ghép ảnh (image splicing), sao chép/cắt dán nội tại (copy/move) và chỉnh sửa làm đẹp/tăng cường (image retouching).
  • Kỹ thuật phát hiện vùng can thiệp và sao chép (Copy/Move): Fridrich và cộng sự đã đề xuất phương pháp chia khối ảnh và thực hiện đối sánh khối bao kết hợp phân tích mẫu nhiễu. Tuy nhiên, phương pháp này chỉ đạt hiệu quả trong một số tình huống giới hạn và chịu ảnh hưởng tiêu cực khi ảnh có kích thước lớn hoặc bị nén.
  • Kỹ thuật thống kê bậc cao: T.T Ng và Chang đề xuất mô hình thống kê bậc cao để phát hiện các đường biên ghép hoặc vùng ảnh bị xếp chồng.
  • Kỹ thuật phân tích tính chất vật lý của ảnh: Johnson và Farid đề xuất mô hình ước lượng hướng nguồn sáng dựa trên giả thiết phản xạ bề mặt Lambertian. Phương pháp này bộc lộ nhược điểm là tỷ lệ báo lỗi cao, không hoạt động được nếu các đối tượng ghép có tính chất bề mặt khác biệt hoặc cảnh chụp trong điều kiện ánh sáng khuếch tán, nhiều mây.
  • Kỹ thuật phân tích phép lấy mẫu lại (Resampling): Popescu và Farid nghiên cứu tính chu kỳ xuất hiện do quá trình nội suy điểm ảnh khi thay đổi kích thước, xoay đối tượng; tuy nhiên phương pháp cho kết quả rất hạn chế trên các ảnh đã lưu dưới định dạng JPEG.
  • Kỹ thuật trên các dạng đa phương tiện khác: Weihong Wang nghiên cứu điều tra video giả mạo dựa trên dấu vết đan xen (interlaced), giải đan xen (de-interlaced), phép chiếu lại (re-projection) và nhân bản khung hình. Trong xử lý âm thanh, các tác giả sử dụng phân tích khoảng phổ (spectral distances) và phân tích tần số lưới điện (ENF - Electric Network Frequency) để xác thực. Nhiều tác giả khai thác trực tiếp cấu trúc dữ liệu tệp nén (JPEG, MPEG, WAVE, MP3) để tìm sai lệch thống kê.

2. Tình hình nghiên cứu trong nước

  • Nhóm tác giả Nguyễn Ngọc Hà, Nguyễn Hải Thanh nghiên cứu cải tiến các lược đồ thủy vân CPT, tích hợp mã hóa đàn hồi nhằm tăng cường tính bền vững và an toàn cho việc nhúng dấu bản quyền.
  • Tác giả Hồ Thị Hương Thơm nghiên cứu các kỹ thuật phát hiện ảnh có giấu tin (steganalysis).
  • Nhóm Đặng Thu Hiền và cộng sự, cùng một số nghiên cứu khác bước đầu tiếp cận các phương pháp điều tra thụ động dựa trên mẫu nhiễu cảm biến và kỹ thuật đối sánh chính xác cho ảnh cắt/dán. Nhìn chung, các nghiên cứu thụ động trong nước tại thời điểm đó còn ở mức độ khảo sát phương pháp, chưa có nhiều giải pháp hoàn chỉnh cho ảnh bị nén hoặc bị can thiệp phức tạp.
Hướng tiếp cận Tác giả tiêu biểu Nguyên lý / Công cụ sử dụng Hạn chế chính được chỉ ra
Thủy vân bán dễ vỡ Cox et al., Juergen Miền không gian hoặc biến đổi Khó cân bằng giữa tính ẩn, độ bền với xử lý thông thường và độ nhạy với cắt ghép
Phát hiện sao chép khối Fridrich et al. Đối sánh khối, mẫu nhiễu Độ phức tạp tính toán cao, nhạy cảm với xử lý làm mờ và nhiễu
Thống kê bậc cao T.T Ng, Chang Phân tích thống kê bậc cao vùng chồng Tỷ lệ báo lỗi còn cao, tính khái quát hóa thấp
Phân tích nguồn sáng Johnson, Farid Mô hình phản xạ mặt phẳng Lambertian Vô hiệu khi bề mặt không tương thích hoặc ánh sáng yếu, trời nhiều mây
Dò tìm lấy mẫu lại Popescu, Farid Phân tích tính chu kỳ nội suy điểm ảnh Hiệu quả suy giảm mạnh trên ảnh định dạng nén JPEG

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

Từ việc phân tích các hạn chế nêu trên, luận án tập trung giải quyết 04 khoảng trống kỹ thuật:

  1. Nâng cao tốc độ hội tụ và giảm độ phức tạp tính toán của thuật toán phân rã ma trận không âm (NMF), ứng dụng xây dựng lược đồ thủy vân bán dễ vỡ.
  2. Khắc phục các nhược điểm về độ ổn định số và chi phí tính toán của lược đồ thủy vân dựa trên phân tích giá trị kỳ dị (SVD) bằng cách phát triển lược đồ dựa trên phân tích ma trận QR.
  3. Giải quyết vấn đề vector đặc trưng có chiều lớn và tính toán nặng nề trong kỹ thuật đối sánh khối phát hiện cắt/dán thông qua việc đề xuất phép biến đổi Wavelet rời rạc động (DWT động) và trích chọn đặc trưng DCT zigzag.
  4. Xây dựng kỹ thuật phát hiện ảnh ghép có tốc độ xử lý nhanh, vận hành hiệu quả khi ảnh bị chia thành số lượng khối rất lớn dựa trên tính chất phẳng của phép lấy mẫu tăng, khắc phục hạn chế của các phương pháp sai phân bậc hai và DWT truyền thống.

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

Khung lý thuyết và các khái niệm sử dụng

Luận án vận dụng các khái niệm và công cụ đại số tuyến tính kết hợp xử lý tín hiệu số:

  • Phân loại giả mạo ảnh số:
    • Ghép ảnh (Image splicing): Cắt ghép một hoặc nhiều phần từ các bức ảnh khác nhau rồi hợp nhất vào một bức ảnh đích.
    • Cắt/dán trên cùng một bức ảnh (Copy/Move): Sao chép một vùng ảnh rồi dán vào vị trí khác ngay trong chính bức ảnh đó (nhằm nhân bản đối tượng hoặc che giấu một chi tiết không mong muốn).
    • Chỉnh sửa ảnh (Image retouching): Can thiệp màu sắc, độ tương phản, làm mờ phông nền mà không thêm/bớt đối tượng hình học lớn.
  • Kỹ thuật điều tra chủ động và các yêu cầu thủy vân: Sử dụng thủy vân bán dễ vỡ (semi-fragile) nhằm thỏa mãn đồng thời 04 tiêu chuẩn: tính ẩn thị giác (imperceptibility), tính bền vững trước biến đổi khách quan (nén JPEG, nhiễu nhẹ), khả năng mang tin (capacity) và tính an ninh (security - có sử dụng khóa bí mật).
  • Các phép biến đổi ma trận nền tảng:
    • Biến đổi Cosine rời rạc (DCT - Discrete Cosine Transform): Biến đổi tín hiệu ảnh từ miền không gian sang miền tần số, tập trung năng lượng vào các hệ số tần số thấp. Luận án khảo sát cả công thức DCT một chiều (1D) và hai chiều (2D), kết hợp biến đổi ngược IDCT.
    • Biến đổi Wavelet rời rạc (DWT - Discrete Wavelet Transform): Khảo sát cơ sở toán học của DWT trực chuẩn, dạng Haar Wavelet và Daubechies D4 (Db4). DWT phân rã ảnh theo các dải tần số: xấp xỉ (LL), chi tiết ngang (LH), chi tiết dọc (HL) và chi tiết chéo (HH).
    • Phân tích giá trị kỳ dị (SVD - Singular Value Decomposition): Biểu diễn ma trận ảnh qua ba ma trận thành phần $U$, $\Sigma$, $V^T$, trong đó các giá trị kỳ dị phản ánh đặc trưng cấu trúc hình học ổn định của ảnh.
    • Phân tích ma trận QR: Biểu diễn ma trận ảnh thành tích của ma trận trực chuẩn $Q$ và ma trận tam giác trên $R$.
    • Thừa số hóa ma trận không âm (NMF - Non-negative Matrix Factorization): Bài toán xấp xỉ ma trận dữ liệu không âm $V \in \mathbb{R}{+}^{m \times n}$ thành tích của hai ma trận không âm $W \in \mathbb{R}{+}^{m \times r}$ và $H \in \mathbb{R}_{+}^{r \times n}$ ($r \ll \min(m, n)$) thỏa mãn các điều kiện hội tụ Karush-Kuhn-Tucker (KKT).

Phương pháp nghiên cứu thực tế

Luận án kết hợp phương pháp nghiên cứu lý thuyết giải tích ma trận với phương pháp thực nghiệm định lượng trên máy tính:

  • Phương pháp giải tích và tối ưu: Thiết lập các biểu thức toán học để cập nhật từng phần tử của ma trận cơ sở $W$ và ma trận trọng số $H$ trong thuật toán NMF; chứng minh điều kiện dừng và tốc độ hội tụ; thiết lập ma trận biến đổi Wavelet động có tham số điều khiển nhằm dịch chuyển mức độ tập trung năng lượng vào góc phần tư thứ nhất.
  • Phương pháp phân tích khối và đối sánh: Ảnh được phân rã thành các khối chồng lấp (overlapping blocks). Vector đặc trưng được trích xuất từ mỗi khối, sau đó tiến hành sắp xếp từ điển (lexicographical sorting) hoặc đối sánh khoảng cách để phát hiện các cặp khối tương đồng mang dấu vết can thiệp sao chép.
  • Phương pháp thống kê và kiểm định: Đánh giá tính phẳng, tính đồng nhất của dữ liệu điểm ảnh sau khi thực hiện phép nội suy tăng mẫu; kiểm tra tính ổn định của các hệ số dưới tác động của các bộ lọc và các mức nén.

Nguồn tư liệu và dữ liệu thực nghiệm

  • Dữ liệu ảnh thực nghiệm gồm các tập ảnh kiểm chuẩn kinh điển: Lena, Baboon, Pepper, Airplane, cùng ảnh logo Trường Đại học Công nghệ.
  • Cơ sở dữ liệu ảnh CBCL (Center for Biological & Computational Learning).
  • Bộ công cụ mô phỏng thực nghiệm: Xây dựng các kịch bản tấn công giả lập gồm thêm nhiễu Gaussian, làm mờ ảnh (Gaussian blurring), nén JPEG với các hệ số chất lượng (Quality Factor - QF) suy giảm, cắt ghép các khối có kích thước vuông hoặc hình dạng bất kỳ.
  • Thước đo định lượng được sử dụng: Tỷ số tín hiệu đỉnh trên nhiễu (PSNR - Peak Signal-to-Noise Ratio, tính bằng dB) để đo độ biến dạng ảnh; tỷ lệ phát hiện đúng (true detection rate); tỷ lệ phát hiện nhầm (false positive / false alarm rate); tỷ lệ bỏ sót (miss rate); thời gian tính toán thực thi (tính bằng giây).

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

Chương 1: Tổng quan về ảnh số giả mạo, phòng chống giả mạo ảnh số, các phép biến đổi ma trận

Chương 1 thiết lập bức tranh tổng thể và hệ thống cơ sở lý thuyết cho toàn bộ luận án:

  • Phân tích hiện tượng làm giả hình ảnh từ góc độ lịch sử và thực tiễn truyền thông hiện đại, minh họa cách thức phần mềm can thiệp vào các kênh màu, độ sáng, độ sắc nét và cấu trúc đối tượng.
  • Chi tiết hóa 03 hình thức làm giả: ghép ảnh (splicing), sao chép/cắt dán (copy/move) và chỉnh sửa (retouching). Tác giả phân tích rõ: ảnh copy/move có đặc điểm là vùng bị sao chép và vùng đích được thu nhận từ cùng một cảm biến máy ảnh, cùng điều kiện chiếu sáng và góc chụp, khiến mắt thường hầu như không thể phân biệt được nếu không có công cụ tính toán.
  • Trình bày sơ đồ phân loại kỹ thuật bảo vệ ảnh: Kỹ thuật chủ động bao gồm hàm băm tính toán trước (Precomputation of hash) và giấu thông tin/thủy vân số (Information hiding/Digital watermarking). Kỹ thuật thụ động bao gồm kỹ thuật dựa trên quy luật nội tại (Intrinsic regularities) và xáo trộn dị thường (Tamper anomalies).
  • Phân tích chi tiết 04 yêu cầu cốt lõi của một hệ thống thủy vân: tính ẩn, tính bền vững, dung lượng nhúng và tính an ninh. Tác giả chỉ ra mối quan hệ đánh đổi: tăng dung lượng hoặc độ bền vững sẽ dẫn tới nguy cơ suy giảm chất lượng thị giác (tính ẩn) của ảnh mang tin.
  • Hệ thống hóa các công thức toán học và thuật toán thực hiện của các phép biến đổi ma trận làm nền tảng: DCT một chiều và hai chiều; biến đổi DWT trực chuẩn, biến đổi Wavelet dạng Haar và Daubechies 4 (Db4); phép phân tích giá trị kỳ dị SVD, phân tích ma trận QR và bài toán phân rã ma trận không âm NMF.

Chương 2: Phòng chống giả mạo ảnh bằng kỹ thuật thủy vân

Chương 2 tập trung giải quyết bài toán chủ động xác thực toàn vẹn ảnh thông qua các lược đồ thủy vân bán dễ vỡ:

  • Đề xuất thuật toán điều chỉnh cộng giải bài toán NMF (ký hiệu: aNMF):
    • Phân tích các thuật toán NMF truyền thống (như thuật toán cập nhật nhân của Lee và Seung) thường có tốc độ hội tụ chậm và độ phức tạp tính toán lớn do liên quan đến nhiều phép nhân/chia ma trận ở mỗi bước lặp.
    • Tác giả đề xuất quy tắc cập nhật điều chỉnh cộng từng phần tử cho ma trận $W$ và ma trận $H$. Bằng cách kết hợp điều kiện dừng tối ưu KKT, thuật toán aNMF giúp giảm thiểu số phép toán nhân/chia, duy trì tính không âm nghiêm ngặt và đạt tốc độ hội tụ nhanh hơn về điểm cực tiểu của hàm mục tiêu (khoảng cách Euclidean hoặc hàm phân kỳ Frobenius).
    • Kết quả thực nghiệm tại Bảng 2 của luận án chỉ ra rằng giá trị hàm mục tiêu của aNMF giảm đều đặn và hội tụ sau số vòng lặp ít hơn so với thuật toán NMF chuẩn.
  • Xây dựng lược đồ thủy vân sử dụng thuật toán aNMF: Thiết kế quy trình chia khối ảnh gốc, áp dụng aNMF trên từng khối để trích xuất ma trận hệ số, sau đó nhúng thông tin thủy vân kiểm thực vào các thành phần thích hợp. Quy trình trích xuất cho phép phát hiện chính xác vị trí khối bị can thiệp cắt ghép, trong khi vẫn chấp nhận các biến đổi khách quan như nén ảnh ở mức cho phép.
  • Đề xuất lược đồ thủy vân sử dụng phân tích QR:
    • Khảo sát các lược đồ thủy vân bán dễ vỡ hiện hành sử dụng phân tích SVD (ký hiệu SVD-I, SVD-II). Mặc dù SVD có độ ổn định giá trị kỳ dị tốt, nhưng phân tích SVD trên từng khối nhỏ đòi hỏi chi phí tính toán cao và dễ gặp hiện tượng suy biến ma trận khi tính toán xấp xỉ số.
    • Tác giả đề xuất hai lược đồ thủy vân mới dựa trên phân tích ma trận QR (ký hiệu QR-I và QR-II). Dấu thủy vân được nhúng vào các phần tử của ma trận tam giác trên $R$. Phép biến đổi QR có tính ổn định số học cao, không phụ thuộc vào phép lặp tìm vector riêng phức tạp như SVD, từ đó giảm đáng kể thời gian nhúng và trích xuất dấu thủy vân mà vẫn bảo toàn khả năng xác thực tính toàn vẹn.

Chương 3: Phát hiện ảnh giả mạo dạng cắt/dán

Chương 3 trình bày các phương pháp điều tra thụ động dành riêng cho loại hình giả mạo copy/move:

  • Quy trình phát hiện và kỹ thuật đối sánh bền vững: Phân tích quy trình chia ảnh thành các khối điểm ảnh kích thước cố định $B \times B$ chồng lấp nhau. Thay vì so sánh trực tiếp điểm ảnh (đối sánh chính xác - vốn rất dễ thất bại nếu ảnh bị nén hoặc thêm nhiễu), luận án nghiên cứu phương pháp đối sánh bền vững thông qua vector đặc trưng.
  • Đề xuất kỹ thuật đối sánh bền vững dựa trên phép biến đổi DCT:
    • Áp dụng biến đổi DCT trên từng khối ảnh $B \times B$.
    • Sắp xếp các hệ số DCT theo đường zigzag để ưu tiên giữ lại các thành phần tần số thấp (chứa năng lượng chủ yếu của khối ảnh) và loại bỏ các thành phần tần số cao.
    • Rút gọn kích thước vector đặc trưng, từ đó giảm thiểu số phép so sánh từ điển và bộ nhớ lưu trữ, tăng tốc độ đối sánh các khối nghi vấn.
  • Đề xuất phép biến đổi Wavelet rời rạc động (DWT động) và ứng dụng:
    • Khảo sát hạn chế của biến đổi DWT chuẩn: sự phân bố năng lượng giữa các băng tần con LL, LH, HL, HH là cố định theo hàm cơ sở.
    • Tác giả xây dựng phép biến đổi DWT động có khả năng tự điều chỉnh ma trận lọc để dồn năng lượng ảnh tập trung cao hơn vào các phần tử thuộc góc phần tư thứ nhất (tương ứng băng tần xấp xỉ tần số thấp).
    • Ứng dụng DWT động vào việc tạo vector đặc trưng khối: Nhờ khả năng gom tụ năng lượng vượt trội, số lượng hệ số Wavelet cần giữ lại để biểu diễn khối ảnh giảm đi đáng kể nhưng vẫn duy trì độ phân biệt giữa các khối khác nhau.
  • Ứng dụng phân rã ma trận không âm NMF trong phát hiện copy/move: Khảo sát khả năng sử dụng các vector cơ sở của NMF để đại diện cho nội dung hình học của từng khối.
  • Đánh giá thực nghiệm: Các thuật toán được kiểm nghiệm trên tập ảnh mẫu với các hình dạng vùng cắt/dán khác nhau (hình vuông, hình dạng tự do bất kỳ). Luận án tiến hành thử nghiệm độ bền vững trước các phép tấn công hậu kỳ: thêm nhiễu Gaussian, lọc làm mờ Gaussian blurring, và nén ảnh định dạng JPEG với các mức chất lượng khác nhau. Kết quả cho thấy kỹ thuật sử dụng DWT động và DCT zigzag đạt tỷ lệ phát hiện đúng cao, giảm thiểu tỷ lệ bỏ sót và phát hiện nhầm, đồng thời thời gian thực thi ngắn hơn đáng kể so với kỹ thuật dựa trên 7 đặc trưng màu hay DWT tĩnh.

Chương 4: Phát hiện ảnh giả mạo dạng ghép ảnh

Chương 4 giải quyết bài toán phát hiện ảnh ghép (image splicing) từ các nguồn ảnh khác nhau dựa trên các dấu vết vật lý và định dạng:

  • Nguyên lý lấy mẫu lại (Resampling) và tính phẳng của phép lấy mẫu tăng:
    • Khi một đối tượng được ghép vào bức ảnh đích, kẻ làm giả thường phải thực hiện thao tác thay đổi kích thước (scaling), xoay (rotation) hoặc biến dạng hình học để đối tượng khớp với ngữ cảnh mới. Các thao tác này bắt buộc phải sử dụng phép nội suy điểm ảnh (lấy mẫu lại).
    • Tác giả phân tích lý thuyết: Phép lấy mẫu tăng (upsampling) tạo ra tính tương quan chu kỳ và tính đồng nhất cục bộ giữa các điểm ảnh lân cận, biểu hiện dưới dạng "tính phẳng" trong phổ tần số hoặc miền vi phân.
  • Khảo sát kỹ thuật tiền nhiệm: Phân tích kỹ thuật dựa trên sai phân bậc hai (ký hiệu SPB2) và kỹ thuật DWT 3 mức của Prasad và Ramakrishnan (ký hiệu DWT3). Nhược điểm của các kỹ thuật này là độ phức tạp tính toán rất lớn, thời gian xử lý kéo dài khi ảnh có độ phân giải cao hoặc khi chia ảnh thành lưới khối nhỏ.
  • Đề xuất kỹ thuật phát hiện dựa trên phép biến đổi hiệu (ký hiệu: BĐH):
    • Xây dựng ma trận sai phân hiệu trực tiếp giữa các điểm ảnh lân cận theo hàng và theo cột.
    • Phép biến đổi hiệu loại bỏ các thành phần tín hiệu tần số thấp có biên độ lớn của ảnh tự nhiên, làm nổi bật tính tuần hoàn vi mô và tính phẳng bất thường do phép nội suy lấy mẫu tăng tạo ra.
    • Thuật toán có cấu trúc tính toán tuyến tính, không đòi hỏi các phép biến đổi ma trận phức tạp.
  • Đề xuất kỹ thuật lọc thông cao của phép biến đổi DWT (ký hiệu: LTC):
    • Khai thác băng tần chi tiết (các kênh thông cao) của biến đổi Wavelet để cô lập dấu vết lấy mẫu lại.
    • Kỹ thuật LTC giúp triệt tiêu thành phần nền ảnh đồng nhất, chỉ giữ lại các sai số lượng tử và sai số nội suy.
    • Tối ưu hóa thuật toán để giảm chi phí xử lý khi chia ảnh thành số lượng khối rất lớn.
  • Thực nghiệm so sánh giữa 3 kỹ thuật (SPB2, BĐH, LTC):
    • Luận án đo đạc thời gian thực thi (đơn vị giây) và độ chính xác phân định vùng ghép.
    • Kết quả thực nghiệm cho thấy kỹ thuật BĐH và LTC có thời gian thực hiện ngắn hơn nhiều lần so với SPB2, trong khi vẫn duy trì khả năng định vị chính xác vùng ảnh bị lấy mẫu lại kể cả khi ảnh chịu tác động của nén nhẹ hoặc làm mờ.
  • Phát hiện giả mạo dựa trên đặc điểm nén JPEG lặp:
    • Phân tích cơ chế nén JPEG: chia khối $8 \times 8$, biến đổi DCT, lượng tử hóa và mã hóa entropy. Khi một vùng ảnh từ tệp JPEG ban đầu được cắt và dán sang một tệp JPEG khác rồi lưu lại, vùng đó sẽ trải qua quá trình lượng tử hóa và giải lượng tử hai lần (nén lặp).
    • Tác giả bước đầu xây dựng mô hình toán học khảo sát sự phân bố của các hệ số DCT sau hai lần lượng tử hóa với các bảng lượng tử khác nhau, đưa ra các kết quả thử nghiệm sơ bộ trong việc định vị đường biên ghép dựa trên sự mất cân đối của lưới khối nén $8 \times 8$.

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

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

  1. Thuật toán điều chỉnh cộng aNMF: Đề xuất một biến thể thuật toán mới cho bài toán thừa số hóa ma trận không âm NMF với quy tắc cập nhật điều chỉnh cộng. Thuật toán chứng minh được tính giảm của hàm mục tiêu, đảm bảo điều kiện hội tụ KKT, hạ thấp độ phức tạp tính toán trên mỗi vòng lặp và đạt tốc độ hội tụ nhanh hơn so với thuật toán NMF kinh điển.
  2. Phép biến đổi DWT động: Xây dựng cơ sở lý thuyết cho phép biến đổi Wavelet rời rạc động có tham số thích nghi, cho phép tập trung năng lượng ảnh mạnh hơn vào góc phần tư thứ nhất (băng tần tần số thấp) so với các dạng DWT tĩnh (Haar, Db4).
  3. Mô hình trích xuất dấu vết lấy mẫu tăng bằng biến đổi hiệu: Thiết lập phương pháp luận trích xuất đặc trưng phẳng cục bộ của tín hiệu ảnh qua phép biến đổi hiệu (BĐH) và lọc thông cao DWT (LTC), cung cấp cơ sở toán học đơn giản nhưng hiệu quả để dò tìm can thiệp hình học.

Các đóng góp mới về mặt kỹ thuật và thực tiễn

  1. Hai lược đồ thủy vân bán dễ vỡ (aNMF và QR):
    • Lược đồ thủy vân bán dễ vỡ dựa trên aNMF có khả năng xác thực tính toàn vẹn và khoanh vùng chỉnh sửa ảnh với chi phí tính toán thấp.
    • Các lược đồ thủy vân QR-I và QR-II khắc phục triệt để nhược điểm mất ổn định số học và thời gian xử lý kéo dài của các lược đồ thủy vân SVD-I, SVD-II, nâng cao hiệu suất bảo vệ ảnh số trong truyền thông.
  2. Kỹ thuật đối sánh bền vững phát hiện copy/move dựa trên DCT và DWT động:
    • Kỹ thuật quét zigzag hệ số DCT giúp tinh giản số chiều vector đặc trưng.
    • Kỹ thuật DWT động giảm thiểu chi phí bộ nhớ và thời gian tính toán đối sánh giữa các khối, đồng thời duy trì độ chính xác cao khi ảnh bị làm mờ Gaussian, thêm nhiễu hoặc nén JPEG.
  3. Bộ kỹ thuật phát hiện ảnh ghép BĐH và LTC: Cung cấp giải pháp định vị vùng ghép ảnh có tốc độ xử lý nhanh vượt trội, giải quyết được bài toán thực tế khi ảnh kiểm định có kích thước lớn và phải phân rã thành số lượng khối khổng lồ.

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

  • Ứng dụng các thuật toán BĐH, LTC và DWT động vào việc xây dựng các công cụ phần mềm tự động phục vụ công tác giám định kỹ thuật số tại các cơ quan điều tra hình sự, tòa án và cơ quan quản lý báo chí.
  • Đưa các lược đồ thủy vân bán dễ vỡ aNMF và QR vào các hệ thống truyền nhận ảnh chuyên dụng (y tế, viễn thám, quân sự) nhằm ngăn chặn từ xa nguy cơ giả mạo dữ liệu đường truyền.

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

Hạn chế được chỉ ra trong văn bản

  • Các kỹ thuật phát hiện thụ động dựa trên phép lấy mẫu lại (BĐH, LTC) suy giảm hiệu quả khi ảnh bị nén JPEG ở mức chất lượng quá thấp (QF nhỏ), do các biến dạng lượng tử hóa thô làm phá vỡ cấu trúc tuần hoàn vi mô của phép nội suy.
  • Kỹ thuật phát hiện ghép ảnh dựa trên đặc điểm nén JPEG lặp mới dừng lại ở các kết quả thử nghiệm bước đầu, chưa khảo sát toàn diện các trường hợp bảng lượng tử phức tạp hoặc ảnh bị dịch chuyển lưới khối (grid alignment).
  • Thử nghiệm trong luận án chủ yếu tiến hành trên các tập ảnh đơn lẻ hoặc cơ sở dữ liệu mẫu chuẩn (Lena, Baboon, Pepper, Airplane, CBCL), chưa thực hiện trên các bộ dữ liệu quy mô hàng trăm nghìn ảnh thực tế có sự kết hợp đa tầng nhiều thao tác giả mạo cùng lúc.

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

  • Hoàn thiện và mở rộng kỹ thuật phát hiện nén JPEG lặp để xử lý các kịch bản nén không trùng khớp lưới và nén nhiều lần với bảng lượng tử bất kỳ.
  • Tối ưu hóa sâu hơn thuật toán aNMF và nghiên cứu mở rộng biến đổi DWT động sang xử lý các dạng dữ liệu đa phương tiện khác như video kỹ thuật số.
  • Tích hợp các thuật toán đã phát triển thành một khung điều tra thống nhất, kết hợp đồng thời nhiều đặc trưng (copy/move, splicing, JPEG anomalies) nhằm nâng cao tính tự động và độ tin cậy trong giám định thực tế.

Giá trị tham khảo

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

  • Nghiên cứu sinh và học viên cao học: Chuyên ngành Hệ thống thông tin, Khoa học máy tính, Kỹ thuật mật mã, An toàn thông tin; cung cấp nền tảng toán học chi tiết về các phép biến đổi ma trận trong xử lý tín hiệu và thị giác máy tính.
  • Giảng viên đại học: Sử dụng làm tài liệu tham khảo giảng dạy các học phần chuyên đề về Xử lý ảnh số, An toàn dữ liệu đa phương tiện, Pháp y số (Digital Forensics) và Nhận dạng mẫu.
  • Chuyên viên giám định pháp y kỹ thuật số và an ninh mạng: Các kỹ sư phát triển phần mềm kiểm tra tính toàn vẹn dữ liệu, các chuyên gia làm việc trong lĩnh vực bảo vệ bản quyền số, giám định tư pháp hình ảnh.

Các nội dung đáng tham khảo

  • Chương 2: Thuật toán điều chỉnh cộng aNMF cùng cách thức chứng minh sự hội tụ của hàm mục tiêu; mã giả và lưu đồ thuật toán nhúng/trích xuất thủy vân; phương pháp áp dụng phân tích QR thay thế SVD.
  • Chương 3: Cơ chế xây dựng ma trận DWT động; phương pháp sắp xếp từ điển trên vector đặc trưng DCT zigzag phục vụ bài toán đối sánh khối bền vững.
  • Chương 4: Công thức toán học của phép biến đổi hiệu (BĐH) và kỹ thuật lọc thông cao (LTC); các bảng số liệu so sánh thời gian thực thi và tỷ lệ sai số giữa các kỹ thuật phát hiện lấy mẫu lại.

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

1. Luận án phân loại ảnh giả mạo thành những dạng nào và dạng nào khó nhận biết nhất bằng mắt thường?

Luận án phân loại ảnh giả mạo thành 03 dạng chính:

  1. Ghép ảnh (image splicing): Hợp nhất các phần từ hai hay nhiều ảnh khác nhau.
  2. Cắt/dán (copy/move): Sao chép một vùng trên ảnh rồi dán vào vị trí khác trên cùng chính ảnh đó.
  3. Chỉnh sửa ảnh (image retouching): Thay đổi màu sắc, độ tương phản, làm mờ phông nền.

Trong đó, ảnh giả mạo dạng cắt/dán (copy/move) là dạng rất khó nhận biết bằng mắt thường. Lý do là vì vùng bị sao chép và vùng đích nằm trên cùng một bức ảnh, được thu nhận bởi cùng một cảm biến máy ảnh, có cùng góc chụp, điều kiện chiếu sáng và mẫu nhiễu tương đồng.

2. Thuật toán aNMF đề xuất ở Chương 2 có điểm gì khác biệt và vượt trội so với thuật toán NMF kinh điển?

Thuật toán aNMF sử dụng quy tắc cập nhật điều chỉnh cộng thay cho quy tắc cập nhật nhân truyền thống của Lee và Seung khi giải bài toán thừa số hóa ma trận không âm $V \approx WH$. Điểm vượt trội của aNMF là:

  • Giảm số lượng các phép tính nhân và chia ma trận phức tạp ở từng bước lặp.
  • Đảm bảo điều kiện hội tụ Karush-Kuhn-Tucker (KKT) với số lần lặp ít hơn.
  • Độ phức tạp tính toán thấp hơn và đạt tốc độ hội tụ nhanh hơn về giá trị tối ưu của hàm mục tiêu, giúp việc nhúng và trích xuất thủy vân trên các khối ảnh diễn ra nhanh chóng.

3. Phép biến đổi DWT động trong Chương 3 hoạt động theo nguyên lý nào để tối ưu hóa phát hiện ảnh copy/move?

Khác với DWT chuẩn có các hệ số lọc cố định, phép biến đổi DWT động do tác giả đề xuất được thiết kế với cơ chế lọc linh hoạt nhằm dồn năng lượng của khối ảnh tập trung ở mức độ cao hơn vào các phần tử thuộc góc phần tư thứ nhất (tần số thấp LL). Khi xây dựng vector đặc trưng cho khối ảnh, thuật toán chỉ cần giữ lại rất ít phần tử nhưng vẫn đại diện đầy đủ thông tin cấu trúc của khối. Điều này giúp giảm độ dài vector đặc trưng, hạ thấp độ phức tạp tính toán khi sắp xếp và đối sánh khối, đồng thời tăng khả năng chống chịu trước các thao tác nén JPEG, làm mờ hoặc nhiễu.

4. Kỹ thuật biến đổi hiệu (BĐH) ở Chương 4 giải quyết bài toán phát hiện ghép ảnh dựa trên hiện tượng vật lý nào?

Kỹ thuật BĐH dựa trên tính chất của phép lấy mẫu tăng (upsampling). Khi ghép một đối tượng từ ảnh khác vào, người chỉnh sửa bắt buộc phải thực hiện các phép co giãn, xoay hoặc nội suy hình học, dẫn đến hiện tượng lấy mẫu lại. Thao tác này tạo ra tính phẳng và tính tương quan chu kỳ cục bộ giữa các điểm ảnh lân cận. Phép biến đổi hiệu trực tiếp giữa các điểm ảnh sẽ triệt tiêu các thành phần tín hiệu tần số thấp của ảnh tự nhiên và làm hiển lộ rõ nét các sai số nội suy mang tính chu kỳ này, từ đó phát hiện chính xác vùng bị cắt ghép.

5. Vì sao luận án đề xuất thay thế phân tích SVD bằng phân tích QR trong lược đồ thủy vân bán dễ vỡ?

Mặc dù phân tích SVD có độ ổn định giá trị kỳ dị cao, nhưng khi áp dụng trên từng khối ảnh nhỏ, phép tính SVD đòi hỏi chi phí tính toán lớn (do phải tìm vector riêng qua các phép lặp) và dễ gặp lỗi số học khi ma trận suy biến. Luận án đề xuất thay thế bằng phân tích ma trận QR (thành ma trận trực chuẩn $Q$ và ma trận tam giác trên $R$) vì phân tích QR có thuật toán trực giao hóa ổn định, không đòi hỏi lặp phức tạp, chi phí tính toán thấp hơn nhiều, trong khi các phần tử của ma trận $R$ vẫn lưu giữ cấu trúc đặc trưng cần thiết để nhúng và kiểm tra dấu thủy vân bán dễ vỡ.

Kết luận

Luận án tiến sĩ "Một số kỹ thuật phòng chống giả mạo ảnh số" của nghiên cứu sinh Trần Đăng Huyên đã giải quyết một cách có hệ thống các bài toán cốt lõi trong an toàn và giám định ảnh số thông qua việc nghiên cứu sâu sắc các công cụ biến đổi ma trận. Tác giả đã đóng góp mới về mặt lý thuyết với thuật toán aNMF giải bài toán thừa số hóa ma trận không âm, phép biến đổi DWT động gom tụ năng lượng và phương pháp biến đổi hiệu khai thác tính chất lấy mẫu lại. Về mặt thực tiễn, luận án cung cấp các giải pháp hoàn chỉnh từ lược đồ thủy vân bán dễ vỡ (aNMF, QR) phục vụ bảo vệ chủ động, đến các thuật toán đối sánh bền vững (DCT, DWT động) và thuật toán phát hiện ghép ảnh (BĐH, LTC) phục vụ điều tra thụ động với độ chính xác cao và thời gian xử lý tối ưu. Công trình là tài liệu tham khảo có giá trị học thuật và ứng dụng cao cho lĩnh vực an toàn thông tin và khoa học pháp y kỹ thuật số.