attacker has knowledge about public

attacker has knowledge about public identifiers. On the other hand the red dotted
line shows the global declassification policy represented by a predicate . As long
as the solid line remains below the dotted line the declassification is safe, namely
the attacker knowledge is smaller than the information released intentionally prior
to program execution. In this case, one can see that after the second observation
point o2 the attacker learns more than the policy allows, thus the program becomes
insecure.

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

kẻ tấn công có kiến thức về định danh công cộng. Mặt khác các chấm đỏ
dòng cho thấy các chính sách giải mật toàn cầu đại diện bởi một vị ngữ?. Miễn
là dòng rắn vẫn dưới đường chấm chấm các giải mật là an toàn, cụ thể là
các kiến thức tấn công là nhỏ hơn so với thông tin phát hành cố ý trước khi
chương trình thực hiện. Trong trường hợp này, có thể thấy rằng sau khi quan sát thứ hai
điểm o2 kẻ tấn công biết được nhiều hơn chính sách cho phép, do đó chương trình trở nên
không an toàn.