Introduction . . . . . . . . . . .

Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
4.2 Abstract Interpretation: An Informal Introduction . . . . . . . . . . 93
4.3 Security Background . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
4.3.1 Noninterference and Declassification . . . . . . . . . . . . . . 94
4.3.2 Robust Declassification . . . . . . . . . . . . . . . . . . . . . 94
4.3.3 Weakest Liberal Precondition Semantics . . . . . . . . . . . . 95
4.3.4 Certifying Declassification . . . . . . . . . . . . . . . . . . . . 96
4.3.5 Decentralized Label Model and Decentralized Robustness . . 98
4.4 Maximal Release by Active Attackers

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

Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 904.2 giải thích trừu tượng: Một chính thức giới thiệu.......... 934.3 nền an ninh........................... 934.3.1 noninterference và Declassification.............. 944.3.2 mạnh mẽ Declassification..................... 944.3.3 yếu nhất kiện tự do ngữ nghĩa............ 954.3.4 xác nhận Declassification........ 964.3.5 nhãn mô hình phân cấp và phân cấp mạnh mẽ. . 984.4 phiên bản tối đa của kẻ tấn công đang hoạt động

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

Giới thiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
4.2 Tóm tắt Giải thích: Giới thiệu sơ về. . . . . . . . . . 93
4.3 An ninh Background. . . . . . . . . . . . . . . . . . . . . . . . . . . 93
4.3.1 không can thiệp và giải mật. . . . . . . . . . . . . . 94
4.3.2 giải mật mạnh mẽ. . . . . . . . . . . . . . . . . . . . . 94
4.3.3 yếu nhất Semantics kiện tiên quyết Tự do. . . . . . . . . . . . 95
4.3.4 Xác nhận giải mật. . . . . . . . . . . . . . . . . . . . 96
4.3.5 Phân cấp Nhãn Mô hình và phân cấp Vững mạnh. . 98
4.4 Phát hành Tối đa bởi kẻ tấn công kích hoạt