Tấn công kênh kề (Side-Channel Attack)

1. Khái quát

Định nghĩa: Tấn công kênh kề (Side-Channel Attack) là kỹ thuật khôi phục giá trị bí mật (khóa, bản rõ) không phải bằng cách phá vỡ trực tiếp tính an toàn logic/toán học của thuật toán mật mã hay hệ thống, mà bằng cách đo lường và phân tích thông tin phụ (thời gian tính toán, điện năng tiêu thụ, sóng điện từ, trạng thái cache, âm thanh, v.v.) rò rỉ ngoài ý muốn trong quá trình phép tính đó được thực thi về mặt vật lý. Nói cách khác, đây không phải là tấn công "phá khóa" mà là "nghe lén âm thanh khi khóa xoay và sự rung của bàn tay".

Phân tích mật mã cổ điển coi thuật toán là một hàm toán học trừu tượng và chỉ lấy quan hệ toán học giữa bản rõ, bản mã và khóa làm đối tượng tấn công. Tuy nhiên, mật mã trong thực tế tất yếu được hiện thực như tín hiệu điện trên thiết bị vật lý (CPU, thẻ thông minh, HSM, chip IoT), và quá trình hiện thực này không phải là một sự trừu tượng hóa hoàn hảo. Tùy vào bit nào được xử lý mà transistor chuyển mạch nhiều hay ít, tùy điều kiện rẽ nhánh mà thời gian thực thi thay đổi, tùy mẫu truy cập bộ nhớ mà cache hit/miss phân nhánh. Chừng nào còn tồn tại tương quan giữa "nội dung phép tính" và "đại lượng quan sát vật lý", thì ngay cả thuật toán hoàn hảo về mặt toán học (AES, RSA, ECC) vẫn có thể rò rỉ bí mật qua hiện thực (implementation) của nó. Tấn công kênh kề khoét đúng vào khe hở giữa sự trừu tượng hóa và thực thể vật lý này.

Dưới góc nhìn Kỹ sư chuyên nghiệp quản lý thông tin, kênh kề nên được xử lý không phải như "lý thuyết mật mã" mà như "chủ đề hội tụ nối kết kỹ thuật hiện thực, an ninh vật lý và mua sắm/chứng nhận". Chỉ riêng việc đã chọn thuật toán an toàn (AES-256, RSA-3072) không bảo vệ được bí mật; an toàn thực chất chỉ được quyết định khi tổng hợp cả việc mật mã đó chạy trên thiết bị nào, với mã nguồn nào, kẻ tấn công có thể tiếp cận gần đến đâu, và tính an toàn ấy đã được kiểm chứng bằng chứng nhận nào. Bài luận này triển khai theo thứ tự nguyên lý tấn công và mô hình đe dọa, kỹ thuật theo từng loại, trường hợp thực tế, tiêu chuẩn/chứng nhận, và cuối cùng là chiến lược phòng thủ đa lớp dưới góc nhìn kỹ sư.

Bối cảnh khiến mối đe dọa này trở nên quan trọng là thực tế mật mã đã lan rộng đến những nơi trong tầm với vật lý của kẻ tấn công. Chip thẻ thông minh của thẻ giao thông/thẻ tín dụng, bộ điều khiển điện tử ô tô (ECU), chip bảo mật trong điện thoại (SE/TEE), cảm biến IoT, token bảo mật USB đều được đặt trong tay những người vừa là người dùng vừa là kẻ tấn công tiềm tàng. Khi kẻ tấn công sở hữu trực tiếp thiết bị và có thể đo dạng sóng điện năng hay gây nhiễu xung nhịp tùy ý, tấn công kênh kề — vốn từng là sự hiếu kỳ lý thuyết — đã trở thành vector tấn công thực tế đe dọa thanh toán, xác thực và bảo vệ tài sản trí tuệ. Hơn nữa, sự cố Spectre/Meltdown năm 2018 cho thấy tấn công kênh kề thành lập cả giữa các máy ảo trong đám mây chia sẻ, thậm chí trong JavaScript của trình duyệt web, khắc ghi rằng đây là mối đe dọa khả thi từ xa mà không cần tiếp cận vật lý.

Có ba đặc trưng phân biệt tấn công kênh kề với các tấn công khác. Thứ nhất, sự phụ thuộc hiện thực: vì mã nguồn, mạch điện và vi kiến trúc hiện thực thuật toán — chứ không phải đặc tả — quyết định thành bại, nên cùng một AES vẫn có thể an toàn hoặc dễ tổn thương tùy hiện thực. Thứ hai, tính không xâm lấn (non-invasive) và chi phí thấp: nhiều tấn công kênh kề chỉ đo điện năng/sóng điện từ từ bên ngoài mà không tháo rời chip về mặt vật lý nên không để lại dấu vết, và có thể thực hiện ngay cả với dao động ký vài trăm đô la. Thứ ba, sự khuếch đại thống kê: tỷ số tín hiệu trên nhiễu (SNR) trong một lần đo là thấp, nhưng tích lũy thống kê hàng nghìn đến hàng triệu lần đo thì tương quan nhỏ bé sẽ hội tụ về các bit bí mật. Vì ba đặc trưng này, phòng thủ kênh kề trở thành bài toán kỹ thuật "làm phẳng hiện thực về mặt vật lý" chứ không phải vấn đề "đổi thuật toán".

Một trục phân loại quan trọng ở đây là sự phân biệt thụ động (passive) và chủ động (active). Tấn công thụ động chỉ quan sát hoạt động bình thường của thiết bị — phân tích thời gian, điện năng, điện từ, cache — còn tấn công chủ động gây nhiễu thiết bị bằng điện áp, xung nhịp, laser để gây ra lỗi hoạt động (fault injection). Cái trước "nghe lén bí mật", cái sau "lắc cho thiết bị nhả bí mật ra", và thiết kế phòng thủ cũng chia thành tối thiểu hóa rò rỉ và phát hiện/khôi phục lỗi tương ứng. Một trục khác là liệu kẻ tấn công có thể chọn đầu vào của chính mình (bản rõ chọn trước) hay không; khi điều này khả thi, hiệu quả của các tấn công thống kê như DPA/CPA tăng mạnh. Do đó, ở bước mô hình hóa đe dọa phải giả định trước xem kẻ tấn công có thể kiểm soát đầu vào hay không và có thể đo lặp lại hay không.

2. Nguyên lý tấn công và mô hình đe dọa

Điểm khởi đầu của tấn công kênh kề là giả thuyết rò rỉ (leakage) rằng "một đại lượng vật lý tương quan với giá trị bí mật là quan sát được". Chẳng hạn, mạch CMOS chỉ tiêu thụ điện năng động đáng kể khi một bit chuyển từ 0→1 hoặc 1→0 (chuyển mạch), nên điện năng tiêu thụ tại một thời điểm có xu hướng tỷ lệ với trọng số Hamming (Hamming weight) hoặc khoảng cách Hamming (Hamming distance) của dữ liệu được xử lý tại thời điểm đó. Kẻ tấn công dùng ngược mô hình vật lý này: tính tương quan giữa dạng sóng điện năng quan sát được và "điện năng tiêu thụ dự đoán theo giá trị khóa phỏng đoán", rồi phán định phỏng đoán có tương quan cao nhất là khóa đúng.

flowchart LR
    SEC["Giá trị bí mật<br/>(khóa mật mã)"] --> OP["Phép tính mật mã vật lý<br/>(chuyển mạch CMOS)"]
    DATA["Đầu vào bản rõ/bản mã"] --> OP
    OP --> LEAK["Kênh rò rỉ phụ"]
    LEAK --> T["Thời gian(Timing)"]
    LEAK --> P["Điện năng(Power)"]
    LEAK --> E["Sóng điện từ(EM)"]
    LEAK --> C["Cache/trạng thái(Cache)"]
    LEAK --> A["Âm thanh/nhiệt(Acoustic)"]
    T --> MEAS["Đo lường/thu thập<br/>(dao động ký/bộ định thời)"]
    P --> MEAS
    E --> MEAS
    C --> MEAS
    A --> MEAS
    MEAS --> STAT["Phân tích thống kê<br/>(tương quan/vi phân)"]
    STAT --> KEY["Khôi phục khóa"]

Cốt lõi của sơ đồ cấu trúc trên là giá trị bí mật không bị lộ trực tiếp mà rò rỉ phân tán ra nhiều kênh kề thông qua trung gian là phép tính vật lý. Kẻ tấn công chọn kênh nào trong số này dễ đo và tái dựng bí mật bằng phân tích thống kê. Dưới góc độ phòng thủ, vì việc làm rò rỉ bằng 0 hoàn toàn là bất khả thi về mặt vật lý, mục tiêu thực tế trở thành làm cho rò rỉ độc lập với dữ liệu (làm phẳng) hoặc chôn nó vào nhiễu để số lần đo mà kẻ tấn công cần tăng lên mức phi thực tế.

Công cụ cốt lõi để định lượng rò rỉ là mô hình rò rỉ (leakage model). Mô hình trọng số Hamming (HW) được dùng rộng rãi nhất giả định điện năng tỷ lệ với số bit 1 của giá trị được nạp vào thanh ghi tại một thời điểm, còn mô hình khoảng cách Hamming (HD) coi nó tỷ lệ với số bit bị lật khi chuyển từ giá trị trước sang giá trị mới. Do đặc tính CMOS chỉ dùng điện năng động khi chuyển trạng thái, trên phần cứng thực tế mô hình HD thường khớp hơn. Kẻ tấn công chọn giá trị trung gian để công phá (ví dụ, đầu ra S-box vòng đầu AES = SubBytes(bản rõ ⊕ byte khóa)), tính giá trị trung gian này cho từng trong 256 giả thuyết khóa, rồi dựng điện năng dự đoán qua mô hình rò rỉ và lấy tương quan với số đo thực. Khi đó điểm công phá phải là "giá trị trung gian phi tuyến chỉ phụ thuộc vào vài bit khóa" thì mới đồng thời bảo đảm chia để trị và độ sắc nét của tương quan, nên chọn giá trị trung gian nào sẽ chi phối hiệu quả tấn công.

Mô hình đe dọa được phân tầng theo năng lực tiếp cận của kẻ tấn công. Kẻ tấn công sở hữu thiết bị về mặt vật lý có thể đo dạng sóng trực tiếp bằng cách gắn điện trở vào chân nguồn (mức xâm lấn thấp), hoặc thậm chí thực hiện fault injection cố ý gây lỗi phép tính bằng cách gây nhiễu xung nhịp/điện áp. Ngược lại, kẻ tấn công từ xa chỉ tiếp cận kênh kề một cách gián tiếp, qua thời gian phản hồi mạng hoặc phần cứng chia sẻ (cùng CPU vật lý, cùng cache LLC trong đám mây). Chuỗi tuần tự sau cho thấy quy trình điển hình của phân tích điện năng (DPA).

sequenceDiagram
    participant ATK as Kẻ tấn công
    participant DEV as Thiết bị mật mã
    participant OSC as Dao động ký
    participant PC as Hệ thống phân tích
    loop Lặp lại hàng nghìn đến hàng triệu lần
        ATK->>DEV: Nhập bản rõ đã biết
        DEV->>DEV: Thực hiện phép tính mật mã bằng khóa bí mật
        DEV-->>OSC: Dạng sóng điện năng rò rỉ khi tính toán
        OSC-->>PC: Lưu mẫu dạng sóng
    end
    PC->>PC: "Lập giả thuyết theo từng byte khóa(0-255)"
    PC->>PC: "Phân tích tương quan điện năng dự đoán vs đo được theo giả thuyết"
    PC-->>ATK: "Giả thuyết tương quan cực đại = byte khóa đúng"

Điểm đáng chú ý trong quy trình này là tấn công không đoán toàn bộ khóa một lần mà chia khóa thành đơn vị nhỏ (byte) rồi chia để trị (divide-and-conquer). Khóa AES-128 là 2^128, bất khả thi để vét cạn, nhưng DPA khôi phục độc lập 16 byte khóa của vòng đầu bằng cách chỉ kiểm chứng 2^8 = 256 khả năng mỗi byte, nên toàn bộ không gian tìm kiếm sụt còn 16×256 = 4.096 lần thử. Theo cách này, bản chất của tấn công kênh kề là công phá "giá trị trung gian chia tách được (intermediate value)" của mật mã để hạ độ khó hàm mũ xuống tuyến tính.

3. Các loại tấn công

Kênh kề chia thành nhiều loại theo đại lượng vật lý được quan sát, và vì mỗi loại khác nhau về mức tiếp cận yêu cầu và biện pháp đối phó, nên việc phân biệt rất quan trọng.

A. Tấn công thời gian (Timing Attack). Thành lập khi thời gian tính toán phụ thuộc vào giá trị bí mật. Nguồn rò rỉ điển hình nhất là rẽ nhánh điều kiện phụ thuộc dữ liệu bí mật và truy cập bộ nhớ tại chỉ số bí mật. Lũy thừa bình phương-và-nhân (square-and-multiply) của RSA chỉ thực hiện phép nhân bổ sung khi bit số mũ là 1, nên tổng thời gian giải mã tỷ lệ với trọng số Hamming của số mũ; và khi so sánh bộ nhớ (memcmp) trả về sớm tại byte không khớp đầu tiên, thời gian xác minh MAC/token/mật khẩu tỷ lệ tuyến tính với "đã khớp bao nhiêu byte đầu". Kẻ tấn công đo thời gian phản hồi khi thay đổi đầu vào, thu hẹp đáp án từng byte một.

Năm 1996 Kocher lần đầu hình thức hóa tấn công thời gian đối với RSA, Diffie-Hellman và DSS, và năm 2003 Boneh và Brumley đo thời gian giải mã RSA của OpenSSL hàng triệu lần qua mạng, chứng minh tấn công thời gian từ xa thực sự khả thi và đánh đổ giả định "chỉ mạng nội bộ là an toàn". Cốt lõi phòng thủ là hiện thực thời gian hằng (constant-time) — viết mã sao cho rẽ nhánh, truy cập bộ nhớ và số lần phép tính không thay đổi theo giá trị bí mật; so sánh chạy đến hết rồi tích lũy kết quả bằng OR (so sánh thời gian hằng), và lựa chọn điều kiện được thay bằng phép bitmask thay vì rẽ nhánh. Trong RSA, blinding — giải mã sau khi che đầu vào bằng giá trị ngẫu nhiên — được dùng kèm.

B. Phân tích điện năng (Power Analysis). Đo dạng sóng điện năng mà thiết bị tiêu thụ khi tính toán. Phân tích điện năng đơn giản (SPA) nhận dạng chính mẫu phép tính bằng mắt chỉ từ một hai dạng sóng (ví dụ, phân biệt đoạn chỉ bình phương với đoạn bình phương-và-nhân trong lũy thừa RSA) để đọc bit khóa. Ngược lại, phân tích điện năng vi phân (DPA) và phân tích điện năng tương quan (CPA) tích lũy thống kê hàng nghìn đến hàng trăm nghìn dạng sóng để nâng tương quan nhỏ bé lên khi rò rỉ phụ thuộc dữ liệu bị chôn trong nhiễu và SPA không thấy được.

CPA dựng "điện năng tiêu thụ dự đoán theo từng giả thuyết khóa" bằng mô hình trọng số/khoảng cách Hamming và so sánh nó với điện năng đo thực qua hệ số tương quan Pearson, phán định giả thuyết có tương quan cao nhất là byte khóa đúng — xếp vào nhóm mạnh nhất. Đối tượng tấn công chủ yếu là các thiết bị giá rẻ mà kẻ tấn công sở hữu về mặt vật lý như thẻ thông minh, token bảo mật, chip IoT. Phòng thủ chia thành masking (chia bí mật thành các share ngẫu nhiên để giá trị trung gian trở nên không tương quan với bí mật) và hiding (làm phẳng điện năng tiêu thụ qua xáo trộn, chèn trễ ngẫu nhiên và logic dual-rail), với mục tiêu nâng chi phí tấn công bằng cách tăng số lần đo cần thiết lên mức phi thực tế.

C. Phân tích điện từ (EM Analysis). Thu bằng đầu dò trường gần sóng điện từ bức xạ khi dòng điện chạy trong mạch. Nguyên lý toán học giống phân tích điện năng, nhưng có lợi cho kẻ tấn công ở chỗ có thể nhắm cục bộ chỉ vào một vùng chip cụ thể (lõi mật mã), cho độ phân giải không gian cao, và có thể thực hiện không tiếp xúc mà không cần chèn điện trở đo điện năng. Thậm chí có trường hợp đo được mà không cần mở vỏ bọc nên khó phát hiện.

Kinh điển của loại này là TEMPEST, xử lý mối đe dọa ở tầm tình báo quốc gia: thu từ xa sóng điện từ rò rỉ từ màn hình, cáp và bàn phím để tái dựng nội dung màn hình hay thao tác phím. Phòng thủ dùng che chắn điện từ (shielding), nối đất/lọc, và thiết kế mạch giảm rò rỉ, còn các cơ sở quân sự/chính phủ dùng thiết bị được chứng nhận TEMPEST.

D. Tấn công vi kiến trúc/cache. Dùng thay đổi trạng thái của tài nguyên phần cứng chia sẻ làm kênh kề mà không cần đo lường vật lý. Flush+Reload xóa một dòng cache chia sẻ (clflush), rồi đo thời gian truy cập lại dòng đó sau khi nạn nhân chạy để phán định "nạn nhân có truy cập địa chỉ đó không", còn Prime+Probe lấp đầy cache bằng dữ liệu của kẻ tấn công rồi, sau khi nạn nhân chạy, suy ra mẫu truy cập từ việc tập cache nào bị đẩy ra. Cả hai kỹ thuật đều đe dọa mạnh các hiện thực AES mà chỉ số tham chiếu bảng mật mã (S-box) phụ thuộc vào khóa.

Spectre/Meltdown công bố năm 2018 là tấn công phức hợp trong đó thực thi suy đoán (speculative execution) của CPU tạm thời đọc bộ nhớ không có quyền truy cập, đổi trạng thái cache theo giá trị đó, rồi rò rỉ giá trị qua kênh kề thời gian cache; chúng ảnh hưởng hầu như toàn bộ CPU hiện đại. Vì loại này hoàn toàn không cần tiếp cận vật lý, nó thành lập giữa các tenant đám mây chia sẻ cùng máy chủ vật lý và thậm chí bên trong sandbox JavaScript của trình duyệt — khiến mức lan tỏa đặc biệt lớn.

Ngoài ra, tiêm lỗi (Fault Injection) là gây nhiễu chủ động chứ không phải quan sát. Bằng glitch điện áp, glitch xung nhịp, laser hay xung điện từ cố ý làm phép tính sai, kẻ tấn công tính ngược khóa từ chênh lệch giữa kết quả đúng và kết quả lỗi (phân tích lỗi vi phân, DFA). RSA-CRT là trường hợp chí tử khi một lỗi duy nhất lúc ký khiến modulus bị phân tích thừa số, phòng thủ bằng tính toán dư thừa và xác minh kết quả. Phân tích âm thanh (acoustic) điển hình là nghiên cứu năm 2014 (Genkin và cộng sự) phân biệt các khóa RSA khác nhau bằng tiếng rung siêu cao tần từ cuộn cảm của bộ nguồn CPU, cho thấy kênh kề mở rộng vượt khỏi điện năng và điện từ đến cả âm thanh, nhiệt và ánh sáng.

4. So sánh và trường hợp thực tế

So sánh đặc tính theo từng loại làm rõ tài nguyên mà kẻ tấn công cần và thứ tự ưu tiên phòng thủ. Bảng dưới đây tổ chức các loại kênh kề tiêu biểu theo đối tượng đo, mức tiếp cận và phòng thủ tiêu biểu.

Loại	Đại lượng quan sát	Mức tiếp cận	Trường hợp tiêu biểu	Phòng thủ cốt lõi
Thời gian	Thời gian thực thi/phản hồi	Từ xa khả thi	Tấn công từ xa OpenSSL RSA(2003)	Hiện thực thời gian hằng
Điện năng(SPA/DPA/CPA)	Điện năng tiêu thụ	Sở hữu vật lý	Khôi phục khóa AES thẻ thông minh	Masking/hiding
Điện từ	Sóng điện từ bức xạ	Trường gần không tiếp xúc	TEMPEST tái dựng màn hình	Che chắn
Cache/vi kiến trúc	Thời gian cache hit	HW chia sẻ(từ xa)	Spectre·Meltdown(2018)	Cô lập/giảm thiểu thực thi suy đoán
Tiêm lỗi	Giá trị lỗi sau gây nhiễu	Sở hữu vật lý	Phân tích thừa số RSA-CRT DFA	Xác minh phép tính/thực thi dư thừa

Hàm ý cốt lõi mà bảng bộc lộ là mức tiếp cận càng thấp (càng từ xa) thì phòng thủ càng khó. Tấn công điện năng và tiêm lỗi cần sở hữu vật lý phần lớn bị chặn bởi thiết kế chống giả mạo và cảm biến phát hiện can thiệp của mô-đun bảo mật phần cứng (HSM), nhưng tấn công cache và thời gian thành lập chỉ với mạng hay đám mây chia sẻ nên phòng thủ vật lý không có tác dụng và đối phó ở mức phần mềm/vi kiến trúc trở nên thiết yếu. Nghĩa là mức nguy hiểm của kênh kề tăng vọt đúng tại điểm mà kiểm soát truyền thống "chặn tiếp cận vật lý" bị vô hiệu hóa.

Về trường hợp cụ thể, thứ nhất, thanh toán thẻ thông minh và thẻ giao thông là mục tiêu kinh điển của DPA. Đầu những năm 2000, các nhà nghiên cứu đã trích xuất khóa từ thẻ thông minh DES/AES không được bảo vệ trong vài phút chỉ với hàng nghìn lần đo điện năng, và điều này trở thành động lực trực tiếp khiến chip thanh toán EMV bắt buộc chứng nhận kháng DPA (Common Criteria CC EAL) và masking. Thứ hai, ở CPU dùng chung đám mây, Meltdown/Spectre năm 2018 phơi bày rằng một máy ảo có thể đọc bộ nhớ của tenant khác trên cùng máy chủ vật lý, nên AWS, Azure và GCP triển khai bản vá microcode/kernel khẩn cấp (KPTI), và một số workload chấp nhận suy giảm hiệu năng vài % đến 30%. Thứ ba, ở hiện thực TLS, tấn công Lucky Thirteen năm 2013 khôi phục bản rõ từ chênh lệch thời gian xác minh padding của giải mã chế độ CBC (kênh kề thời gian), đẩy nhanh việc chuyển sang xác minh padding thời gian hằng và chế độ AEAD (GCM).

Thứ tư, ví phần cứng và thiết bị IoT cũng là mục tiêu của tiêm lỗi. Bước vào những năm 2020, các trường hợp được công bố trong đó các nhà nghiên cứu vượt qua xác minh PIN hay đọc bộ nhớ được bảo vệ trên một số ví phần cứng tiền mã hóa chỉ bằng glitch điện áp, đưa khả năng kháng tiêm lỗi của chip bảo mật IoT/thiết bị đeo giá rẻ lên thành vấn đề thực tiễn. Điều mà các trường hợp này chung quy ngụ ý là bí mật đã rò rỉ chỉ qua khe hở giữa hiện thực và môi trường vật lý, dù chính bản thân thuật toán mật mã hoàn toàn không bị phá; do đó phải phân biệt rõ ràng "dùng thuật toán được chứng nhận FIPS/CC" với "hiện thực đó an toàn trước kênh kề" như hai bảo đảm hoàn toàn khác nhau.

5. Chuyên sâu — Xu hướng mới nhất và tiêu chuẩn hóa

A. Bề mặt tấn công đang mở rộng

Mối đe dọa kênh kề gần đây đang mở rộng theo hai hướng. Thứ nhất là sự chuyên sâu hóa của kênh kề vi kiến trúc. Ngay cả sau Spectre, các tấn công vẫn liên tục xuất hiện — MDS (Microarchitectural Data Sampling), LVI (Load Value Injection), và Hertzbleed năm 2022, quan sát qua thời gian từ xa cách mà điều chỉnh tần số động (DVFS) của CPU đổi điện năng/tần số phụ thuộc dữ liệu. Điều này phơi bày giới hạn của phòng thủ chỉ bằng phần mềm: "dù dùng mã thời gian hằng, thời gian vẫn rò rỉ nếu phần cứng điều biến điện năng theo kiểu phụ thuộc dữ liệu". Thứ hai là tính an toàn kênh kề của mật mã kháng lượng tử (PQC). Các thuật toán dựa trên lưới được NIST tiêu chuẩn hóa năm 2024 như ML-KEM (Kyber) và ML-DSA (Dilithium) có bề mặt kênh kề mới trong các phép tính đa thức và lấy mẫu, nên hiện thực thời gian hằng/masking nổi lên thành nhiệm vụ cốt lõi đồng thời với quá trình chuyển đổi tiêu chuẩn.

B. Tiêu chuẩn/chứng nhận và ứng dụng ngành

Các khung tiêu chuẩn/chứng nhận cũng xử lý kênh kề một cách trực diện. FIPS 140-3 của Hoa Kỳ (dựa trên ISO/IEC 19790) và Common Criteria (CC, ISO/IEC 15408) yêu cầu thử nghiệm kháng tấn công không xâm lấn (điện năng/điện từ/thời gian) đối với mô-đun mật mã cấp cao, và ISO/IEC 17825 quy định phương pháp luận thử nghiệm đó (Đánh giá rò rỉ vector thử nghiệm, TVLA). TVLA là phương pháp đánh giá tiêu chuẩn ngành phán định định lượng "có rò rỉ phân biệt được về mặt thống kê hay không" bằng cách so sánh, qua kiểm định t, chênh lệch phân bố điện năng giữa nhóm đầu vào cố định và nhóm đầu vào ngẫu nhiên; vượt ngưỡng |t|>4,5 bị coi là rủi ro rò rỉ. Như vậy, an toàn kênh kề nay đã vượt khỏi một chủ đề nghiên cứu để trở thành tiêu chí vượt qua bắt buộc cho mua sắm và chứng nhận.

Kênh kề cũng là vấn đề cốt lõi trong ứng dụng theo ngành. Trong thanh toán, chip EMV và thẻ giao thông thực tế đã bắt buộc chứng nhận kháng DPA dựa trên CC, và trong ô tô, ISO 21434 (an ninh mạng) và ISO 26262 (an toàn chức năng) yêu cầu khả năng kháng tiêm lỗi/phân tích điện năng cho ECU và cổng bảo mật. Trong viễn thông, USIM/eSIM và thẻ thông minh hộ chiếu điện tử/đăng ký cư dân đều trải qua đánh giá kênh kề cấp cao. Theo cách này, "thiết bị mật mã rơi vào tay kẻ tấn công về mặt vật lý" đã khiến việc kiểm chứng an toàn kênh kề trở thành cửa ải bắt buộc trước sản xuất hàng loạt bất kể lĩnh vực, và ở Hàn Quốc, kiểm định mô-đun mật mã của Cơ quan Tình báo Quốc gia (KCMVP) cũng áp dụng yêu cầu tương tự.

6. Điểm cần cân nhắc và hàm ý

Dưới góc nhìn Kỹ sư chuyên nghiệp, đối phó kênh kề phải được tiếp cận không phải như một kỹ thuật đơn lẻ mà như chiến lược đa lớp xuyên suốt thiết kế, hiện thực, kiểm chứng và mua sắm. Phân loại đối phó dưới đây được tổ chức theo lớp nào kìm hãm rò rỉ; thiết kế thực tế chồng nhiều lớp để khớp mô hình đe dọa.

flowchart TD
    ROOT["Chiến lược đối phó kênh kề"] --> SW["Lớp phần mềm"]
    ROOT --> HW["Lớp phần cứng"]
    ROOT --> VER["Lớp kiểm chứng/vận hành"]
    SW --> SW1["Hiện thực thời gian hằng<br/>(độc lập rẽ nhánh/bộ nhớ)"]
    SW --> SW2["Masking<br/>(chia share ngẫu nhiên)"]
    SW --> SW3["Blinding<br/>(ngẫu nhiên hóa đầu vào)"]
    HW --> HW1["Hiding<br/>(xáo trộn/trễ/dual-rail)"]
    HW --> HW2["Che chắn/phát hiện giả mạo"]
    HW --> HW3["Phát hiện lỗi<br/>(tính toán dư thừa/xác minh)"]
    VER --> VER1["Đánh giá rò rỉ TVLA"]
    VER --> VER2["Chứng nhận FIPS 140-3 / CC"]
    VER --> VER3["Giảm thiểu/cô lập thực thi suy đoán"]

Như phân loại cho thấy, chỉ riêng biện pháp phần mềm không chặn được tấn công điện năng/điện từ/lỗi, và chỉ riêng biện pháp phần cứng không chặn được tấn công thời gian/cache từ xa. Do đó phải kết hợp các mục sau để tạo nên phòng thủ theo chiều sâu.

Chiến lược áp dụng — kết hợp phòng thủ theo chiều sâu. Vì không biện pháp đơn lẻ nào là hoàn chỉnh, hãy chồng hiện thực thời gian hằng (thời gian), masking (điện năng/điện từ), hiding/chèn nhiễu (tăng độ khó đo), che chắn phần cứng/phát hiện giả mạo (vật lý), và giảm thiểu thực thi suy đoán/cô lập site (vi kiến trúc) để khớp mô hình đe dọa. Điểm khởi đầu là trước hết phân loại giá trị tài sản và mức tiếp cận dự kiến của kẻ tấn công (từ xa/cận kề/sở hữu vật lý) rồi định thứ tự ưu tiên đầu tư.
Đánh đổi — hiệu năng/chi phí đối lại an toàn. Masking tăng khối lượng tính toán lên vài lần tùy bậc (order), hiện thực thời gian hằng từ bỏ tối ưu hóa thoát sớm, và bản vá giảm thiểu thực thi suy đoán hạ thông lượng. Ở IoT công suất thấp và hệ thống thời gian thực, chi phí này có thể chí tử, nên gia cố chọn lọc giới hạn ở đối tượng được bảo vệ (vùng xử lý khóa) thay vì phòng thủ toàn bộ là thực tế.
Góc nhìn kiểm chứng/mua sắm. Mật mã tự hiện thực dễ chứa sẵn lỗ hổng kênh kề, nên hãy ưu tiên chọn thư viện thời gian hằng đã được kiểm chứng (ví dụ, libsodium, các đường thời gian hằng của BoringSSL) và phần cứng được chứng nhận CC/FIPS 140-3 (HSM/SE). Khi áp dụng, hãy ghi rõ kết quả đánh giá rò rỉ như TVLA và cấp chứng nhận (EAL) vào yêu cầu mua sắm để cưỡng chế kiểm chứng ở tầm chuỗi cung ứng.
Triển vọng và công nghệ liên kết. Khi đám mây/đa tenant lan rộng, kênh kề vi kiến trúc nối trực tiếp với thiết kế zero-trust/cô lập tenant, và trong giai đoạn chuyển đổi PQC, việc bảo đảm khả năng kháng kênh kề của thuật toán mới trở thành một phần của tính linh hoạt mật mã (crypto-agility). Về dài hạn, thiết kế chịu rò rỉ (leakage-resilient) kìm hãm rò rỉ ngay ở giai đoạn thiết kế phần cứng, và nghiên cứu mạch (logic dual-rail) làm cho điện năng tiêu thụ độc lập với dữ liệu, được chú ý như giải pháp căn cơ.

Tài liệu tham khảo

OWASP, "Timing Attack": https://owasp.org/www-community/attacks/Timing_attack
Kocher et al., "Differential Power Analysis": https://www.paulkocher.com/doc/DifferentialPowerAnalysis.pdf
Trang chính thức Spectre/Meltdown: https://meltdownattack.com/
Tiêu chuẩn NIST Post-Quantum Cryptography: https://csrc.nist.gov/projects/post-quantum-cryptography
ISO/IEC 17825 (thử nghiệm tấn công không xâm lấn mô-đun mật mã): https://www.iso.org/standard/60612.html

Tóm tắt một câu: Tấn công kênh kề khôi phục khóa bí mật bằng cách phân tích thống kê thời gian, điện năng, sóng điện từ và trạng thái cache rò rỉ không phải từ toán học của mật mã mà từ hiện thực vật lý của nó, nên phải chồng hiện thực thời gian hằng, masking, phòng thủ chống giả mạo phần cứng và giảm thiểu vi kiến trúc để khớp mô hình đe dọa và kiểm chứng chúng bằng chứng nhận FIPS 140-3/CC.