Let  be a set of temporal declassi

Let  be a set of temporal declassifications, C denotes the set of time predicates of
 (C = {C | (C , D) 2 }) and D denotes the set of declassified properties of
. It has to be noted that there are two types of temporal declassifications. If C
applies to values which are constant during the execution (such as the initial value
of a given variable) or are expressed using init in our model, (C , D) describes for
which executions an information can be output. A policy stating that a salary can
be output only if it is lower than a given constant is an example of such an interexecution
temporal declassification. On the other hand, if C applies to variables
whose value vary during the execution then (C , D) describes after which event
an information can be leaked. An intra-execution temporal declassification is for
example a policy stating that an information can be provided only after it has been
paid for.

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

Hãy để là một bộ thời declassifications, C là bắt các thiết lập của thời gian predicates của (C = {C | (C, D) 2}) và D là bắt các thiết lập của các thuộc tính giải mật của. Nó đã được lưu ý rằng có hai loại thời gian declassifications. Nếu Cáp dụng cho các giá trị đó là liên tục trong quá trình thực hiện (chẳng hạn như giá trị ban đầucủa một biến nhất định) hay được thể hiện bằng cách sử dụng init trong mô hình của chúng tôi, (C, D) Mô tả chonhững vụ hành quyết một thông tin có thể là đầu ra. Một chính sách nói rõ rằng mức lương có thểlà đầu ra chỉ khi nó là thấp hơn so với một hằng số nhất định là một ví dụ về interexecution mộtthời điểm hóa thạch declassification. Mặt khác, nếu C áp dụng để biếncó giá trị khác nhau trong quá trình thực hiện sau đó (C, D) Mô tả sau khi sự kiện đómột thông tin có thể bị rò rỉ. Một declassification thời gian thực hiện nội là nhấtVí dụ một chính sách nói rõ rằng một thông tin có thể được cung cấp chỉ sau khi nó đãtrả tiền cho.

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

Để cho ? là một tập hợp các declassifications thời,? C là tập các vị từ thời điểm
? (C =? {C |??? (C, D) 2})? Và D là tập các thuộc tính được giải mật của
?. Nó phải được lưu ý rằng có hai loại declassifications thời gian. Nếu? C
áp dụng đối với các giá trị đó là không đổi trong thời gian thực hiện (chẳng hạn như các giá trị ban đầu
của một biến nào đó) hoặc được bày tỏ bằng init trong mô hình của chúng tôi, (? C, D) mô tả cho
mà hành một thông tin có thể được xuất ra. Một chính sách rõ rằng một mức lương có thể
được xuất ra chỉ khi nó là thấp hơn so với một hằng số cho trước là một ví dụ về một interexecution như
giải mật thời gian. Mặt khác, nếu? C áp dụng cho các biến
có giá trị khác nhau trong quá trình thực rồi (? C, D) mô tả sau đó sự kiện
một thông tin có thể bị rò rỉ. Một nội thực hiện giải mật thời gian là cho
ví dụ một chính sách rõ rằng một thông tin có thể được cung cấp chỉ sau khi nó đã được
trả tiền cho.