Verifiability thực thi các mục tiêu an ninh là không thể vì thiếu hoàn chỉnhhòa giải và thiếu tamperproofing. Kể từ khi chúng tôi không thể nhận chính sách phong phú, đủ đểngăn chặn rò rỉ dữ liệu trái phép hoặc sửa đổi, chúng tôi không thể thi hành bí mật hoặc tính toàn vẹnmục tiêu an ninh. Kể từ khi chúng ta không thể chứng minh rằng TCB được bảo vệ từ kẻ tấn công, chúng tôi không thểchứng minh rằng hệ thống sẽ được vẫn có thể thực thi các mục tiêu dự định bảo mật của chúng tôi, ngay cả khi họcó thể được thể hiện đúng cách.
đang được dịch, vui lòng đợi..
