TVLA và khả năng tái lập: kiểm tra rò rỉ trước khi tấn công

TVLA là gì và trả lời câu hỏi nào?

Test Vector Leakage Assessment là phương pháp thống kê để phát hiện xem phân bố vệt của hai nhóm đầu vào có khác nhau đáng kể tại một hay nhiều thời điểm hay không. Biến thể không đặc hiệu phổ biến dùng một nhóm plaintext cố định và một nhóm plaintext ngẫu nhiên, sau đó tính Welch’s t-test theo từng mẫu. Nếu |t| vượt ngưỡng quy ước, thiết bị có bằng chứng rò rỉ phụ thuộc dữ liệu trong điều kiện đo.

TVLA không trực tiếp phục hồi khóa và cũng không chỉ ra mô hình rò rỉ tối ưu. Nó là phép sàng lọc: cho biết có khác biệt thống kê cần điều tra. Một thiết bị vượt TVLA chưa chứng minh ngay khả năng khai thác thực tế; ngược lại, không vượt ở một cấu hình đo không chứng minh an toàn tuyệt đối vì rò rỉ có thể ở vị trí probe, băng tần hoặc bậc thống kê khác.

Nguyên lý của Welch’s t-test

Tại mỗi mẫu thời gian, Welch’s t so sánh chênh lệch trung bình hai nhóm sau khi chuẩn hóa bởi phương sai và số vệt của từng nhóm. Phương pháp không giả định hai nhóm có phương sai bằng nhau. Nếu tín hiệu phụ thuộc dữ liệu, trung bình hoặc các biến đổi bậc cao của hai nhóm có thể khác tại vùng thiết bị xử lý dữ liệu nhạy cảm.

Ngưỡng |t| ≈ 4,5 thường được dùng trong thực hành để giảm xác suất báo giả trên số lượng lớn mẫu, nhưng không phải giấy chứng nhận an toàn. Với masking, rò rỉ có thể xuất hiện ở moment bậc hai hoặc tích kết hợp giữa các thời điểm. Khi đó dữ liệu được centered rồi biến đổi trước khi tính t-test; số vệt và chi phí tính toán tăng nhanh.

Một phép kiểm tra TVLA đúng được thực hiện ra sao?

Hai nhóm fixed và random phải được thu xen kẽ để drift nhiệt, gain và nhiễu môi trường không trùng với nhãn nhóm. Trigger, firmware, chiều dài vệt và điều kiện reset phải giống nhau. Trước phân tích cần kiểm tra clipping, lệch DC, phân bố độ trễ và số mẫu bị mất. Đường t được tính tích lũy theo số vệt để xem kết quả ổn định hay chỉ vượt ngưỡng nhất thời.

Để kiểm soát lỗi quy trình, nên thực hiện negative control bằng cách chia ngẫu nhiên các vệt cùng phân bố thành hai nhóm; đường t không nên vượt ngưỡng có hệ thống. Lặp lại ở phiên đo khác và lưu seed, phiên bản code, hash dữ liệu cùng toàn bộ tham số thu. Kết quả được báo theo vùng thời gian, giá trị cực đại, số vệt và hình dạng đường hội tụ.

• Thu fixed/random xen kẽ và giữ chuỗi đo hoàn toàn giống nhau.
• Theo dõi t-statistic theo số vệt, không chỉ chụp một đường cuối cùng.
• Dùng negative control và lặp lại ở phiên độc lập để phát hiện sai quy trình.

Ứng dụng và cách diễn giải kết quả

TVLA được dùng trong phòng đánh giá để sàng lọc rò rỉ trước khi đầu tư vào CPA, DPA hoặc profiling attack; so sánh hai phiên bản firmware; định vị vùng thời gian mà countermeasure chưa che phủ; và kiểm tra nhanh tác động của compiler, clock hoặc masking. Với sinh viên, TVLA minh họa rõ sự khác nhau giữa “phát hiện có rò rỉ” và “khai thác rò rỉ để tìm khóa”.

Báo cáo nên tránh kết luận nhị phân “an toàn/không an toàn” từ một ngưỡng. Cần mô tả phạm vi phép đo, loại rò rỉ đã kiểm, số vệt, probe, bandwidth và mọi preprocessing. Sau khi phát hiện, bước tiếp theo là xác định nguồn vật lý, mô hình dữ liệu liên quan và khả năng key recovery. Khả năng tái lập giữa ngày đo và thiết bị quan trọng hơn một đỉnh t lớn nhưng đơn lẻ.