For any subset of declassification policies , noninterference modulo declassifications D (ESPM( D)) has to hold until the condition C of an information not
Cho bất kỳ tập hợp con của các chính sách declassification, noninterference theo modulo declassifications D (ESPM (D)) có để giữ cho đến khi các điều kiện C của một thông tin không
Đối với bất kỳ tập hợp con của các chính sách giải mật? ?, Không can thiệp modulo declassifications D (ESPM (D)) đã giữ cho đến khi tình trạng này? C của một thông tin không