Figure 2.4 explains the epistemic r

Figure 2.4 explains the epistemic release wrt. the attacker knowledge. As before,
the graphic corresponds to the knowledge about initial secrets that program
semantics releases by means of the output trace  = o1o2o3. The black solid line
shows how the knowledge can possibly increase in each output point by disclosing
information about the secrets. The red dotted line shows the secret information
declassified in each epoch by release points ri . Since the dotted line remains above
the solid line, the attacker knowledge is less than what the programmer releases by
means of these points. Hence the program will satisfy the security condition.

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

Hình 2.4 giải thích việc phát hành epistemic wrt. hiểu biết kẻ tấn công. Như trước,Các đồ họa tương ứng với các kiến thức về bí mật đầu tiên chương trình đóngữ nghĩa phát hành bằng phương pháp theo dõi sản lượng = o1o2o3. Dòng rắn màu đencho thấy làm thế nào những kiến thức có thể có thể tăng ở mỗi điểm đầu ra của việc tiết lộthông tin về những bí mật. Dòng rải rác màu đỏ cho thấy các thông tin bí mậtgiao trong mỗi một kỷ nguyên của bản phát hành điểm ri. Kể từ khi dòng rải rác vẫn còn ở trêndòng rắn, kiến thức của kẻ tấn công là ít hơn so với những gì các lập trình viên phát hành bởiphương tiện của những điểm này. Do đó chương trình sẽ đáp ứng các điều kiện an ninh.

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

Hình 2.4 giải thích WRT phát hành trong nhận thức. các kiến thức tấn công. Như trước đây,
các đồ họa tương ứng với kiến thức về những bí mật đầu tiên mà chương trình
ngữ nghĩa thông bằng phương tiện của các dấu vết đầu ra? = O1o2o3. Các dòng rắn màu đen
cho thấy sự hiểu biết có thể có thể tăng trong mỗi điểm đầu ra bằng cách tiết lộ
thông tin về những bí mật. Các đường chấm chấm màu đỏ cho thấy các thông tin bí mật
được giải mật trong mỗi thời đại bởi các điểm phát hành ri. Kể từ khi dòng yêu thương vẫn còn ở trên
dòng rắn, kiến thức tấn công là ít hơn so với những gì các phiên bản lập trình bằng
phương tiện của các điểm. Do đó chương trình sẽ đáp ứng các điều kiện an ninh.