Phát hiện Trojan phần cứng bằng phương pháp theo dõi luồng thông tin ở mức cổng logic

( 0 đánh giá )
Miễn phí

Trojan phần cứng có thể được cài cắm trong IP lõi bởi bên thứ ba không đáng tin cậy, gây rò rỉ thông tin hoặc thay đổi chức năng hệ thống.  

  • Phương pháp GLIFT (Gate-Level Information Flow Tracking) được sử dụng để kiểm tra luồng thông tin từ các cổng logic, xác định các vi phạm bảo mật.  
  • - GLIFT gán nhãn bảo mật cho từng bit dữ liệu, giúp phát hiện chính xác nơi dữ liệu nhạy cảm bị rò rỉ hoặc bị ghi đè.  
  • - Phương pháp này không cần viết lại thiết kế phần cứng bằng ngôn ngữ hình thức, giảm chi phí và công sức cho nhà thiết kế.  
  • - Thử nghiệm trên các benchmark trust-HUB cho thấy GLIFT phát hiện Trojan hiệu quả trong các thiết kế AES và RSA, kể cả khi Trojan được kích hoạt bằng tín hiệu hiếm gặp.  
  • - Ngoài Trojan, phương pháp còn giúp phát hiện các lỗi thiết kế không chủ ý gây vi phạm bảo mật, mở rộng ứng dụng trong kiểm định phần cứng an toàn.