We first give some examples to show

We first give some examples to show how the logic applies to programs wrt. standard
noninterference and afterwards prove the equivalence of the above definitions.

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

Chúng tôi lần đầu tiên đưa ra một số ví dụ để hiển thị như thế nào logic áp dụng cho các chương trình wrt. tiêu chuẩnnoninterference và sau đó chứng minh sự tương đương của các định nghĩa ở trên.

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

Đầu tiên chúng ta đưa ra một số ví dụ cho thấy cách logic áp dụng cho các chương trình WRT. chuẩn
không can thiệp và sau đó chứng minh sự tương đương của các định nghĩa trên.