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ì sự thiếu hoàn toàn hòa giải và thiếu tamperproofing. Kể từ khi chúng tôi không thể hiện một phong phú, đủ để ngăn chặn rò rỉ dữ liệu trái phép hoặc sửa đổi chính sách, chúng tôi không thể thực thi các mục tiêu bảo mật bí mật hoặc tính toàn vẹn. Kể từ khi chúng ta không thể chứng minh rằng TCB đang được bảo vệ từ kẻ tấn công, chúng ta không thể chứng minh rằng hệ thống sẽ 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 hòa giải đầy đủ 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 tôi 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.