The work explores formally the secu

The work explores formally the security properties of the established model, in par- ticular, support for separation of duty and least privilege principles that are important requirements in many commercial systems. Results have implications for understanding different variations of separation of duty policy that are currently used in role-based access control.
Finally, a design architecture of the defined security model is presented detailing the components and processing phases required for successful application of the model to distributed computer environments. The model provides opportunities for the imple- menters, based on application requirements, to choose between several alternative design approaches.

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

Việc khám phá chính thức thuộc tính bảo mật của các mô hình được thành lập, par-ticular, hỗ trợ cho sự tách biệt của nhiệm vụ và ít nhất là nguyên tắc đặc quyền là yêu cầu quan trọng trong nhiều hệ thống thương mại. Kết quả có ý nghĩa cho sự hiểu biết biến thể khác nhau của chia ly của nhiệm vụ chính sách mà hiện đang được sử dụng trong kiểm soát truy cập Dựa trên vai trò.Cuối cùng, một thiết kế kiến trúc của mô hình bảo mật được xác định được trình bày chi tiết các thành phần và xử lý giai đoạn cần thiết để thành công ứng dụng của mô hình môi trường phân phối máy tính. Các mô hình cung cấp cơ hội cho imple-menters, dựa trên yêu cầu ứng dụng, để lựa chọn giữa thiết kế thay thế một số phương pháp tiếp cận.

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

Công việc khám phá chính thức tài sản bảo đảm của các mô hình thành lập, trong mệnh ticular, hỗ trợ cho tách nhiệm vụ và các nguyên tắc đặc quyền nhất đó là yêu cầu quan trọng trong nhiều hệ thống thương mại. Kết quả có ý nghĩa đối với sự hiểu biết các biến thể khác nhau của ly thân của chính sách thuế hiện đang được sử dụng trong kiểm soát truy cập dựa trên vai trò.
Cuối cùng, một thiết kế kiến trúc của các mô hình bảo mật được xác định được trình bày chi tiết các thành phần và chế biến các giai đoạn cần thiết cho ứng dụng thành công của mô hình để phân phối môi trường máy tính. Mô hình này cung cấp cơ hội cho các menters imple-, dựa trên các yêu cầu ứng dụng, để lựa chọn giữa một số phương pháp thiết kế thay thế.