One way of modeling declassificatio

One way of modeling declassification is by means of a predicate  over initial
values which expresses the property one intends to declassify. In that case, one has
to make sure that states having the same property  can not be distinguished by
the attacker. This idea originates from selective dependency [87] and corresponds to
the What dimension [202]. In particular, the programmer should specify a global
declassification policy  and the enforcement mechanism has to ensure that no
information other than what is specified in the policy can be disclosed by the
attacker. For example, the information system of a company can release the average
salary of an employee, but it shouldn’t be possible to reveal, for instance, the salary
of a certain employee. Let 1  2 denote equivalent states according to the
declassification policy  i.e. 1() = 2().

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

Một cách để mô hình hóa declassification là bằng phương tiện của một vị ngữ hơn ban đầugiá trị tài sản thể hiện một ý định declassify. Trong trường hợp đó, người ta đãđể đảm bảo kỳ có tài sản tương tự có thể không được phân biệt bởinhững kẻ tấn công. Ý tưởng này bắt nguồn từ chọn lọc phụ thuộc [87] và tương ứng vớinhững gì kích thước [202]. Đặc biệt, các lập trình viên nên chỉ định một toàn cầudeclassification chính sách và cơ chế thực thi pháp luật đã để đảm bảo rằng không cóCác thông tin khác với những gì được chỉ định trong các chính sách có thể được tiết lộ bởi cáckẻ tấn công. Ví dụ: Hệ thống thông tin của một công ty có thể phát hành trung bìnhtiền lương của nhân viên, nhưng nó không nên có thể tiết lộ, ví dụ, tiền lươngcủa một số nhân viên. Cho 1 2 biểu thị tương đương kỳ theo cácchính sách declassification tức là 1 () = 2 ().

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

Một cách để mô hình giải mật là bằng phương tiện của một vị ngữ? hơn ban đầu
giá trị đó thể hiện sự sở hữu một dự định để giải mật. Trong trường hợp đó, người ta có
để đảm bảo rằng các quốc gia có cùng một tài sản? không thể được phân biệt bởi
những kẻ tấn công. Ý tưởng này bắt nguồn từ sự phụ thuộc chọn lọc [87] và tương ứng với
kích thước gì [202]. Đặc biệt, các lập trình viên nên chỉ định một toàn cầu
chính sách giải mật? và cơ chế thực hiện có để đảm bảo rằng không có
các thông tin khác so với những gì được quy định trong chính sách có thể được tiết lộ bởi những
kẻ tấn công. Ví dụ, hệ thống thông tin của một công ty có thể phát hành trung bình
lương của một nhân viên, nhưng nó không nên có thể tiết lộ, ví dụ, mức lương
của một nhân viên nào đó. Hãy? 1 ?? ? 2 biểu thị trạng thái tương đương theo các
chính sách giải mật? tức là? 1 (?) =? 2 (?).