We now show how Def. 2.6.1 relates

We now show how Def. 2.6.1 relates to a similar security condition called gradual
release [28]. Although gradual release considers a slightly different computational
model, the basic idea is that the attacker knowledge is constant between release
points. In the same spirit, we compute the attacker knowledge for a given trace
and compare it with the information released over that trace. In particular, if the
attacker knowledge is greater than what has been declassified so far, there is an
insecure leakage. Given a program P, an initial store 0 and a trace  originating
from that store, we define the knowledge over the trace K(P, 0,  ) as the set of
initial stores that could have led to that trace.

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

Chúng tôi bây giờ hiển thị như thế nào Def. 2.6.1 liên quan đến một tình trạng bảo mật tương tự gọi là dần dầnphát hành [28]. Mặc dù phát hành dần dần sẽ xem xét một chút khác nhau tính toánMô hình, ý tưởng cơ bản là kiến thức của kẻ tấn công liên tục giữa các phiên bảnđiểm. Trong tinh thần đó, chúng tôi tính toán cho một dấu vết cho kẻ tấn công, kiến thứcvà so sánh nó với các thông tin phát hành trên dấu vết đó. Trong cụ thể, nếu cáckiến thức kẻ tấn công là lớn hơn những gì đã được giao cho đến nay, đó là mộtrò rỉ không an toàn. Đưa ra một chương trình P, một cửa hàng ban đầu 0 và một dấu vết nguồn gốctừ cửa hàng đó, chúng tôi xác định các kiến thức qua vết K (P, 0,) là tập hợp cácBan đầu các cửa hàng mà có thể đã dẫn tới dấu vết đó.

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

Bây giờ chúng ta thấy làm thế nào Def. 2.6.1 liên quan đến một điều kiện an ninh tương tự gọi là dần dần
phát hành [28]. Mặc dù phát hành dần dần xem xét một tính toán hơi khác nhau
mô hình, ý tưởng cơ bản là những kiến thức tấn công là không đổi giữa phóng
điểm. Trong tinh thần đó, chúng tôi tính toán các kiến thức tấn công cho một dấu vết được
và so sánh nó với các thông tin phát hành qua dấu vết. Đặc biệt, nếu
kiến thức tấn công lớn hơn những gì đã được giải mật cho đến nay, có một
rò rỉ không an toàn. Với một chương trình P, một cửa hàng ban đầu? 0 và một dấu vết? nguồn gốc
của cửa hàng đó, chúng tôi xác định các kiến thức trên các dấu vết K (P,? 0,?) là tập hợp các
cửa hàng ban đầu mà có thể dẫn đến dấu vết.