Tài sản bảo đảm đơn giản Một chủ đề s có quyền truy cập vào c khi và chỉ khi, cho tất cả c ¢ đó là có thể đọc, hoặc là y (c) œ x (c ¢) hoặc y (c) = y (c ¢).
Các * -property Một chủ đề s có thể viết thư cho c chỉ nếu không phải có thể đọc bất kỳ c ¢ với x (c ¢) ≠ ø và y (c) ≠ y (c ¢).
đang được dịch, vui lòng đợi..
