Verifiability enforcement of securi

Verifiability enforcement of security goals is not possible because of the lack of complete
mediation and the lack of tamperproofing. Since we cannot express a policy rich enough to
prevent unauthorized data leakage or modification, we cannot enforce secrecy or integrity
security goals. Since we cannot prove that the TCB is protected from attackers, we cannot
prove that the system will be remain able to enforce our intended security goals, even if they
could be expressed properly.

Kết quả (Việt) 1:

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.

Kết quả (Việt) 2:

Thực thi pháp kiểm chứng được các mục tiêu an ninh là không thể vì sự thiếu hoàn
hòa giải và thiếu tamperproofing. Vì chúng ta không thể diễn tả một chính sách đủ giàu để
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ể thực thi bảo mật hoặc tính toàn vẹn
các mục tiêu an ninh. Kể từ khi chúng tôi không thể chứng minh rằng TCB được bảo vệ khỏi những kẻ tấn công, chúng ta không thể
chứng minh rằng hệ thống sẽ được vẫn có khả năng thực thi các mục tiêu an ninh dự định của chúng tôi, ngay cả khi họ
có thể được thể hiện đúng cách.