Intuitively, the definition states

Intuitively, the definition states that there is no information flowing from ~h to the
attacker if for any maximal execution having trace  , all maximal executions started
with the same values for~l produce the same trace. In other words, all initial secret
values (~h) might have given rise to the output sequence that an attacker is observing.
It is worth noting that this definition subsumes standard noninterference. Indeed,

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

Bằng trực giác, định nghĩa tiểu bang rằng không là không có thông tin mà chảy từ ~ h để cáckẻ tấn công nếu cho bất kỳ thực hiện tối đa có theo dõi, xử tử tối đa tất cả bắt đầuvới cùng các giá trị cho ~ l sản xuất cùng một dấu vết. Nói cách khác, tất cả các ban đầu bí mậtgiá trị (~ h) có thể đã được tăng lên dãy đầu ra kẻ tấn công là quan sát.Nó là đáng chú ý rằng định nghĩa này subsumes noninterference tiêu chuẩn. Thật vậy,

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

Bằng trực giác, định nghĩa rằng không có thông tin chảy từ ~ h đến
kẻ tấn công nếu vì bất kỳ tối đa thực hiện có dấu vết? , Tất cả thực hiện tối đa bắt đầu
với cùng một giá trị cho ~ l sản xuất cùng một dấu vết. Nói cách khác, tất cả các bí mật ban đầu
giá trị (~ h) có thể được tăng lên đến chuỗi sản lượng mà một kẻ tấn công đang quan sát.
Điều đáng chú ý là định nghĩa này không can thiệp subsumes chuẩn. Thật,