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

Sự phát triển nhanh chóng của các kỹ thuật học máy và học sâu đã thúc đẩy sự ra đời của nhiều mô hình tạo sinh hình ảnh với độ chân thực cao, khiến mắt thường gần như không thể phân biệt với ảnh chụp thực tế. Tuy nhiên, sự phổ biến của các công nghệ này dẫn đến nguy cơ gia tăng các nội dung giả mạo, ảnh hưởng trực tiếp đến an toàn thông tin, quyền riêng tư cá nhân, tính xác thực của dữ liệu truyền thông và an ninh quốc gia. Đồ án tốt nghiệp "Phương pháp nhận diện ảnh giả mạo sinh bởi trí tuệ nhân tạo" của tác giả Nguyễn Phương Anh (ngành An toàn thông tin, Học viện Công nghệ Bưu chính Viễn thông, bảo vệ tháng 12/2023 dưới sự hướng dẫn của TS. Trần Tiến Công) được thực hiện nhằm giải quyết các thách thức trên thông qua việc xây dựng giải pháp phân loại ảnh thật và ảnh tổng hợp một cách tự động và chuẩn xác.

Nhiệm vụ nghiên cứu của đồ án được cụ thể hóa thông qua việc giải quyết năm câu hỏi khoa học:

  1. Đánh giá hiệu suất cơ bản của mô hình phát hiện kết hợp giữa bộ mã hóa tự động (Autoencoder) và biến đổi Fourier so với các phương pháp truyền thống.
  2. Phân tích định lượng mức độ ảnh hưởng của thành phần Autoencoder đối với khả năng nhận diện dấu vết ảnh tổng hợp.
  3. So sánh hiệu năng phát hiện với các phương pháp tiên tiến nhất hiện nay (State of the Art - SOTA) trên nhiều tập dữ liệu khác nhau.
  4. Đánh giá độ bền vững của mô hình trước các kỹ thuật xử lý hậu kỳ phổ biến (nén JPEG, làm mờ Gaussian, thêm nhiễu Gaussian và thay đổi kích thước ảnh).
  5. Kiểm tra khả năng tổng quát hóa của mô hình đối với các kiến trúc sinh ảnh mới, chưa từng xuất hiện trong quá trình đào tạo.

Đối tượng nghiên cứu là các hình ảnh số chụp từ thực tế và các hình ảnh giả mạo được tạo ra từ các mô hình sinh trí tuệ nhân tạo. Phạm vi nghiên cứu bao gồm các kiến trúc sinh ảnh phổ biến như Mạng đối nghịch tạo sinh (GANs), Mô hình khuếch tán (Diffusion Models) và Mạng biến áp (Transformers), được kiểm nghiệm trên ba tập dữ liệu thực nghiệm gồm T-open, T-pra (T-practical) và tập tổng hợp T-all với dữ liệu thu thập đến tháng 12 năm 2023.

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

Đồ án xây dựng khung lý thuyết dựa trên các cơ chế tạo sinh hình ảnh hiện đại cùng hiện tượng sai lệch tần số trong quá trình tổng hợp ảnh:

  • Các mô hình tạo sinh: Bao gồm Mạng đối nghịch tạo sinh (Generative Adversarial Networks - GANs: ProGAN, StyleGAN, BigGAN, GauGAN), Bộ mã hóa tự động biến đổi (Variational Autoencoders - VAEs), Máy Boltzmann hạn chế (Restricted Boltzmann Machines - RBMs), Transformers thị giác và Mô hình khuếch tán (Diffusion Models: Latent Diffusion, Stable Diffusion, Guided Diffusion, GLIDE, DALL-E).
  • Hiện tượng Aliasing và dấu vân tay phổ tần số: Quá trình sinh ảnh thường sử dụng các tầng tăng mẫu (upsampling) để nâng cao độ phân giải từ không gian tiềm ẩn. Khi tần số lấy mẫu không đáp ứng định lý lấy mẫu đối với các biến đổi đột ngột, hiện tượng Aliasing xuất hiện, làm tập trung năng lượng bất thường tại một số dải tần số cụ thể và tạo ra các đỉnh nhọn trên phổ công suất (power spectra) của ảnh sinh.

Phương pháp nghiên cứu thực nghiệm đề xuất quy trình xử lý ba giai đoạn khép kín:

  1. Trích xuất nhiễu thặng dư (Residual Noise Extraction): Sử dụng mô hình Autoencoder với kiến trúc ResNet-50 làm mạng xương sống (backbone) cho cả bộ mã hóa ($f_{enc}$) và bộ giải mã ($f_{dec}$). Autoencoder được tối ưu hóa bằng hàm mất mát sai số bình phương trung bình (Mean Squared Error - MSE) chỉ trên tập ảnh thật. Khi đưa ảnh đầu vào $I$ qua mô hình để nhận ảnh tái tạo $\hat{I} = f_{dec}(f_{enc}(I))$, các đặc trưng không tự nhiên của ảnh sinh sẽ không thể tái tạo hoàn hảo, từ đó thu được nhiễu thặng dư mang tính phân tách: $R(I) = I - \hat{I}$.
  2. Trích xuất dấu vân tay ảnh (Fingerprint Extraction): Áp dụng biến đổi Fourier hai chiều ($\mathcal{F}$) để chuyển đổi nhiễu thặng dư từ miền không gian sang miền tần số: $D(I) = \mathcal{F}(R(I))$. Tiếp theo, tính toán phổ công suất thông qua bình phương mô-đun để làm nổi bật các mẫu lặp và đỉnh năng lượng đặc trưng.
  3. Phân loại ảnh (Image Classification): Dữ liệu dấu vân tay tần số $D(I)$ được đưa vào mạng nơ-ron tích chập (CNN) gồm 4 tầng tích chập (số kênh tăng dần từ 32, 64 đến 128), kết hợp hàm kích hoạt ReLU, chuẩn hóa theo lô (Batch Normalization), gộp cực đại (Max Pooling), Dropout và các tầng liên kết đầy đủ (Fully Connected) để phân loại nhị phân (ảnh thật hoặc ảnh tổng hợp).

Nguồn dữ liệu thực nghiệm được tổng hợp thành ba tập chính:

  • Tập T-open: Gồm 14.000 ảnh sinh từ BigGAN, GauGAN, StyleGAN, DALL-E, GLIDE, Guided Diffusion, Latent Diffusion (2.000 ảnh/mô hình) và 4.000 ảnh thật lấy từ ImageNet, VISION, Danbooru và Artist (1.000 ảnh/nguồn).
  • Tập T-pra: Gồm 4.000 ảnh sinh từ các nền tảng thương mại gồm DreamBooth, Midjourney, NightCafe, StableAI, Vilian (800 ảnh/mô hình) cùng 4.000 ảnh thực từ các nền tảng chia sẻ mã nguồn mở.
  • Tập mở rộng T-all: Khảo sát 12 kiến trúc gồm ProGAN, StyleGAN2, StyleGAN3, BigGAN, EG3D, Taming Transformer, DALL-E Mini, DALL-E 2, GLIDE, Latent Diffusion, Stable Diffusion và ADM (1.000 ảnh tổng hợp/mô hình), kết hợp với 1.500 ảnh thật từ COCO, ImageNet và UCID (500 ảnh/nguồn).

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

Chương 1: Tổng quan về bài toán phát hiện ảnh sinh và cách tiếp cận

Chương 1 hệ thống hóa khái niệm ảnh sinh và nguyên lý của năm nhóm mô hình sinh phổ biến (GANs, VAEs, RBMs, Transformers, Diffusion Models). Tác giả phân tích các tác động tiêu cực của ảnh giả mạo trong đời sống số, từ phát tán tin giả đến đe dọa an ninh thông tin. Tiếp đó, chương khảo sát bốn hướng tiếp cận phát hiện hiện nay:

  • Phương pháp dựa trên dữ liệu: Điển hình là việc huấn luyện ResNet-50 trên 720.000 ảnh ProGAN của Wang et al., đạt độ chính xác tốt trên mô hình đã học nhưng khả năng tổng quát hóa kém trên các mô hình chưa biết.
  • Phương pháp dựa trên quy tắc: Sử dụng bộ lọc giảm nhiễu và tính trung bình phần dư, tuy nhiên phương pháp này phụ thuộc vào việc điều chỉnh thủ công và kinh nghiệm chuyên gia.
  • Phương pháp dựa trên miền không gian: Phân tích dấu vân tay nhân tạo do từng mô hình tạo ra trong không gian điểm ảnh (Marra et al., Yu et al.).
  • Phương pháp dựa trên miền tần số: Khai thác biến đổi Fourier để phát hiện các đỉnh tần số sinh ra do thao tác upsampling (Zhang et al., Frank et al.).

Chương 2: Phương pháp đề xuất

Chương 2 mô tả chi tiết giải pháp kỹ thuật đề xuất với quy trình xử lý ba bước:

  • Xác định nhiễu thặng dư: Thiết lập Autoencoder với backbone ResNet-50, giải thích cơ chế nén vào vector tiềm ẩn $z$ và tái tạo ảnh. Do chỉ học phân phối của ảnh tự nhiên, Autoencoder loại bỏ các thành phần tần số bất thường của ảnh tổng hợp, tạo ra sai khác rõ rệt tại phần dư $R(I)$.
  • Trích xuất dấu vân tay ảnh: Chuyển đổi $R(I)$ sang miền tần số bằng biến đổi Fourier và tính phổ công suất trung bình, chỉ rõ mối liên hệ giữa hiện tượng Aliasing trong các khối upsampling và các đỉnh phổ tần số dị thường.
  • Kiến trúc mạng phân loại CNN: Thiết kế mạng nơ-ron tích chập 4 lớp kết hợp Batch Normalization, Dropout và Fully Connected để tự động phân biệt dấu vân tay phổ giữa ảnh thật và giả. Chương khép lại bằng thuật toán tổng thể và quy trình huấn luyện hai giai đoạn độc lập giữa mạng Autoencoder và mạng phân loại CNN.

Chương 3: Cài đặt và thử nghiệm

Chương 3 trình bày việc triển khai thực nghiệm và đánh giá định lượng thông qua hai chỉ số: Diện tích dưới đường cong ROC (AUC) và Độ chính xác (Accuracy - Acc). Kết quả được phân tích qua năm nội dung chính:

  • Hiệu suất cơ bản: Trên tập T-all, mô hình đạt Acc 0.9992 và AUC 1.0000 đối với ProGAN, duy trì kết quả tích cực trên T-open và T-pra (StableAI đạt Acc 0.9458; NightCafe đạt 0.8923).
  • Thử nghiệm cắt bỏ Autoencoder: So sánh trực tiếp hiệu quả khi có và không có bước trích xuất phần dư qua Autoencoder trên tập T-all, khẳng định Autoencoder là nhân tố quyết định hiệu năng.
  • So sánh với các phương pháp SOTA: Đối sánh với Wang, CR, Grag và Lasted, cho thấy phương pháp đề xuất vượt trội về độ chính xác trên nhiều cấu hình thử nghiệm.
  • Đánh giá độ bền vững: Khảo sát ảnh hưởng của nén JPEG (từ QF=100 xuống QF=50), làm mờ Gaussian, nhiễu Gaussian và thay đổi kích thước ảnh.
  • Khả năng tổng quát hóa: Đánh giá mô hình khi chỉ huấn luyện trên dữ liệu ProGAN rồi kiểm thử trực tiếp trên các kiến trúc chưa từng học như StyleGAN3, EG3D, Taming Transformer và Diffusion Models.

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

Các thử nghiệm trong đồ án đã chứng minh tính hiệu quả của phương pháp thông qua các số liệu đo lường cụ thể được ghi nhận trong văn bản:

Mô hình sinh / Thực nghiệm Tiêu chí đánh giá Không dùng Autoencoder Sử dụng Autoencoder (Đề xuất) Phương pháp đối sánh (Wang / CR / Grag)
ProGAN (T-all) Acc / AUC 0.6538 / Chưa tối ưu 0.9992 / 1.0000 Hiệu suất tương đương trên tập gốc
Taming Transformer (T-all) Acc Không đạt đỉnh 0.9927 Thấp hơn phương pháp đề xuất
DALL-E Mini (T-all) Acc Không đạt đỉnh 0.8919 Thấp hơn phương pháp đề xuất
ADM (Ablated Diffusion Model) Acc 0.3768 Cải thiện vượt bậc Không duy trì được độ ổn định
GLIDE (T-all) Acc 0.5834 Cải thiện đáng kể Thấp hơn phương pháp đề xuất
BigGAN (trên ImageNet) Acc Không tối ưu 0.93204 Wang: 0.6299; CR: Kém hơn
Nén JPEG chất lượng thấp (QF=50) Độ sụt giảm Acc - Duy trì ổn định CR và Grag giảm hơn 10%

Về độ bền vững trước các xử lý hậu kỳ, phương pháp đề xuất giữ vững độ chính xác trước tác động làm mờ Gaussian và nhiễu Gaussian, đồng thời đối phó tốt với thao tác thu nhỏ kích thước ảnh (resize). Khi chất lượng nén JPEG giảm sâu xuống QF=50, trong khi các mô hình tiên tiến như CR và Grag bị suy giảm độ chính xác trên 10%, phương pháp của đồ án vẫn duy trì được độ ổn định cao.

Các đóng góp chính do tác giả tự xác định bao gồm:

  • Xây dựng thành công quy trình kết hợp Autoencoder (backbone ResNet-50) để trích xuất nhiễu thặng dư và biến đổi Fourier để phân tích dấu vân tay tần số, khắc phục hạn chế phụ thuộc dữ liệu của mạng nơ-ron thuần túy.
  • Đạt hiệu năng phát hiện vượt trội và năng lực tổng quát hóa cao trên nhiều họ mô hình sinh ảnh (GAN, Transformer, Diffusion) ngay cả khi các mô hình này chưa từng xuất hiện trong tập huấn luyện.
  • Toàn bộ kết quả nghiên cứu của đồ án đã được tác giả tổng hợp và hoàn thiện thành bài báo khoa học gửi chờ xét duyệt tại hội nghị quốc tế International Joint Conference on Artificial Intelligence 2024 (IJCAI).

Tác giả đề xuất các kiến nghị ứng dụng: tích hợp mô hình vào các hệ thống bảo mật, xác thực hình ảnh đa phương tiện để ngăn chặn gian lận số, đồng thời cần tiếp tục thử nghiệm mô hình trong các môi trường vận hành thực tế.

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

Hạn chế được tác giả chỉ ra trong đồ án bao gồm:

  • Hiệu suất nhận diện vẫn có sự dao động nhất định khi đối mặt với ảnh sinh từ các nền tảng thương mại nguồn đóng phức tạp (như DreamBooth, Midjourney trong tập T-pra).
  • Chưa khảo sát toàn diện sự kết hợp đồng thời của nhiều hình thức xử lý hậu kỳ phức tạp trên cùng một tệp ảnh.
  • Mô hình chưa được triển khai thử nghiệm trực tiếp trên các hệ thống giám sát an toàn thông tin quy mô lớn trong thời gian thực.

Hướng nghiên cứu tiếp theo được xác định gồm:

  • Mở rộng tập dữ liệu huấn luyện với quy mô lớn hơn, bao quát các kiến trúc mô hình sinh ảnh mới nổi.
  • Nghiên cứu sâu hơn về cơ chế tác động của các thao tác xử lý hậu kỳ đa dạng và phát triển các kỹ thuật thích ứng chuyên sâu để gia tăng tính bền vững.
  • Tích hợp mô hình vào các hệ thống xác thực dữ liệu và kiểm định thực tế nhằm đánh giá mức độ tương thích trong các kịch bản an ninh thực tế.

Giá trị tham khảo

Đồ án là tài liệu chuyên khảo có giá trị học thuật và ứng dụng đối với:

  • Đối tượng hưởng lợi: Sinh viên, học viên cao học và cán bộ nghiên cứu chuyên ngành An toàn thông tin, Trí tuệ nhân tạo, Khoa học máy tính và Kỹ thuật truyền thông đa phương tiện đang tìm hiểu về bài toán phân tích pháp y ảnh số (Digital Image Forensics) và nhận diện Deepfake.
  • Nội dung đáng tham khảo:
    • Kỹ thuật xây dựng Autoencoder ResNet-50 chỉ học phân phối ảnh thực để cô lập thành phần nhiễu thặng dư.
    • Phương pháp phân tích phổ công suất Fourier nhằm nhận diện hiện tượng Aliasing do các tầng upsampling gây ra.
    • Phương pháp thiết kế và tổ chức ba bộ dữ liệu kiểm thử T-open, T-pra và T-all, cung cấp khung tham chiếu chuẩn cho các nghiên cứu đối sánh phát hiện ảnh sinh.

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

1. Tại sao quá trình sinh ảnh của các mô hình AI lại tạo ra các dấu vết đặc trưng trong miền tần số?
Các mô hình sinh ảnh thường sử dụng các bước tăng mẫu (upsampling) để mở rộng kích thước ảnh từ vector tiềm ẩn ban đầu. Bước xử lý này làm xuất hiện hiện tượng Aliasing khi tốc độ lấy mẫu không tương thích với băng thông tín hiệu, dẫn đến việc phân bố năng lượng bị lệch và hình thành các đỉnh tần số dị thường rõ rệt trên phổ công suất mà ảnh chụp tự nhiên không có.

2. Mô hình Autoencoder sử dụng kiến trúc ResNet-50 đóng vai trò gì trong giải pháp đề xuất?
Autoencoder được huấn luyện chuyên biệt trên tập dữ liệu ảnh thật nhằm nắm bắt các đặc trưng hình ảnh tự nhiên và bỏ qua các thành phần nhiễu nhân tạo. Khi đưa ảnh tổng hợp qua mô hình, Autoencoder không thể tái tạo chính xác các chi tiết bất thường, từ đó giúp tách biệt rõ ràng các dấu vết sinh ảnh thông qua phép trừ ảnh gốc cho ảnh tái tạo ($R(I) = I - \hat{I}$).

3. Khả năng phát hiện của mô hình thay đổi như thế nào nếu loại bỏ bước trích xuất nhiễu bằng Autoencoder?
Dữ liệu thực nghiệm tại Bảng 7 của đồ án cho thấy nếu không có Autoencoder, độ chính xác (Acc) của hệ thống suy giảm nghiêm trọng trên hầu hết các mô hình sinh: ProGAN giảm từ 0.9992 xuống 0.6538; ADM giảm xuống mức 0.3768; GLIDE giảm xuống 0.5834 và StyleGAN2 giảm còn 0.9528.

4. Mô hình thể hiện độ bền vững ra sao trước thao tác nén ảnh JPEG chất lượng thấp?
Khi hệ số chất lượng nén (QF) giảm xuống mức 50, các mô hình tiên tiến hiện nay như CR và Grag bị sụt giảm độ chính xác hơn 10% do mất mát dữ liệu tần số cao. Trong khi đó, phương pháp đề xuất của đồ án vẫn duy trì được độ chính xác ổn định, chứng minh khả năng ứng dụng thực tế cao khi ảnh lưu hành trên Internet thường xuyên bị nén.

5. Nghiên cứu của đồ án đã đạt được kết quả công bố khoa học cụ thể nào?
Dựa trên các kết quả lý thuyết và số liệu thực nghiệm vượt trội so với các phương pháp SOTA, tác giả Nguyễn Phương Anh đã hoàn thành bài báo khoa học và nộp chờ xét duyệt tại hội nghị quốc tế IJCAI 2024 (International Joint Conference on Artificial Intelligence).

Kết luận

Đồ án tốt nghiệp của tác giả Nguyễn Phương Anh đã giải quyết thành công bài toán nhận diện ảnh giả mạo tạo bởi trí tuệ nhân tạo bằng việc kết hợp mô hình Autoencoder trích xuất nhiễu thặng dư và biến đổi Fourier trong miền tần số. Các kết quả thực nghiệm trên các bộ dữ liệu T-all, T-open và T-pra đã khẳng định tính chính xác vượt trội của phương pháp so với các giải pháp SOTA, đồng thời duy trì độ bền vững cao trước các can thiệp xử lý hậu kỳ và cho khả năng tổng quát hóa xuất sắc trên các mô hình sinh mới. Công trình đóng góp thiết thực cho lĩnh vực an toàn thông tin và cung cấp cơ sở kỹ thuật tin cậy phục vụ các nghiên cứu tiếp theo về giám định dữ liệu đa phương tiện trong thời đại số.