real applications this policy turns

real applications this policy turns out to be restrictive, as in many scenarios partial
information leakage is considered admissible. Declassification policies handle those
acceptable, or even desired, information leakages [202]. For example, a customer
may be allowed to access a scientific article (secret data) once she has paid the
registration fee to some on line provider. In this case, an intentional release of
secret information is needed. Declassification has been recognized as one of the
main challenges in information flow security [197]. The main concern is to prove
that declassification is safe and the attacker is unable to compromise the release
mechanism and disclose more sensitive information than stated in the policy. Many
authors have addressed the problem from different points [87, 198, 160, 28, 50, 41].
In particular, in [202], the authors present a classification of different flavors of
declassification. In this section and the following ones, we show how our temporal
epistemic framework captures in an elegant way those dimensions.

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

thực tế ứng dụng chính sách này hóa ra là hạn chế, như trong nhiều tình huống một phầnrò rỉ thông tin được coi là admissible. Declassification chính sách xử lý những ngườichấp nhận được, hoặc thậm chí mong muốn, thông tin dò [202]. Ví dụ, một khách hàngcó thể được cho phép để truy cập vào một bài báo khoa học (bí mật dữ liệu) sau khi cô ấy đã thanh toán cáclệ phí đăng ký cho một số nhà cung cấp dòng. Trong trường hợp này, một cố ý phát hànhthông tin bí mật là cần thiết. Declassification đã được công nhận là một trong nhữngthách thức chính trong an ninh thông tin dòng chảy [197]. Mối quan tâm chính là để chứng minhdeclassification đó là an toàn và những kẻ tấn công là không thể thỏa hiệp sự phát hànhcơ chế và tiết lộ thông tin nhạy cảm hơn so với quy định trong chính sách. Nhiềutác giả đã giải quyết vấn đề từ các điểm khác nhau [87, 198, 160, 28, 50, 41].Đặc biệt, trong [202], các tác giả trình bày một phân loại của các hương vị khác nhau củadeclassification. Trong phần này và những người sau đây, chúng tôi hiển thị như thế nào thời gian của chúng tôiepistemic khuôn khổ nắm bắt một cách thanh lịch những kích thước.

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

ứng dụng thực tế chính sách này hóa ra là hạn chế, như trong nhiều kịch bản phần
rò rỉ thông tin được coi là chấp nhận được. Chính sách giải mật xử lý những
sự cố rò rỉ thông tin chấp nhận được, hoặc thậm chí mong muốn, [202]. Ví dụ, một khách hàng
có thể được phép truy cập vào một bài báo khoa học (dữ liệu bí mật) khi cô ấy đã trả tiền
lệ phí trước bạ đối với một số nhà cung cấp trên dòng. Trong trường hợp này, một bản phát hành cố ý của
các thông tin bí mật là cần thiết. Giải mật đã được công nhận là một trong những
thách thức chính trong bảo mật luồng thông tin [197]. Mối quan tâm chính là để chứng minh
giải mật đó là an toàn và những kẻ tấn công là không thể thỏa hiệp khi phát hành
cơ chế và tiết lộ thông tin nhạy cảm hơn so với quy định trong chính sách. Nhiều
tác giả đã giải quyết các vấn đề từ các điểm khác nhau [87, 198, 160, 28, 50, 41].
Đặc biệt, trong [202], các tác giả trình bày một phân loại các hương vị khác nhau của
giải mật. Trong phần này và những người sau đây, chúng ta thấy làm thế nào thời gian của chúng tôi
khung tri thức chụp một cách thanh lịch những kích thước.