Kiểm chứng đặc tả bảo mật phần mềm - pdf 27

Link tải miễn phí Luận văn:Kiểm chứng đặc tả bảo mật phần mềm : Đề tài NCKH. QC 09 01
Nhà xuất bản:Đại học Quốc gia Hà Nội
Ngày:2010
Chủ đề:Phần mềm
Cơ chế bảo mật
An ninh hệ thống
Tin học
Miêu tả:11 tr.
Đặc tả cơ chế bảo mật (security policy) liên quan đến việc kiểm soát truy cập vào hệ thống của nhiều người sử dụng dựa trên nhiều vai trò khác nhau của họ. Mục đích của security policy là mô tả những ràng buộc chung để kiểm soát việc truy cập vào tài nguyên hệ thống mà không quan tâm đến chi tiết việc cài đặt. Mỗi người sử dụng hệ thống sẽ được gán một vai trò, mỗi vai trò có quyền truy cập đến các đối tượng và các chức năng nào của hệ thống phải tuân theo các đặc tả về an ninh của hệ thống. Tập trung nghiên cứu để đóng góp các giải pháp khác nhằm hạn chế các lỗi của chương trình liên quan đến security policy, các giải pháp này bao gồm việc tích hợp các ràng buộc liên quan đến security policy và hệ thống phần mềm và làm thế nào để kiểm chứng được đặc tả và thực thi của hệ thống phần mềm tuân theo những ràng buộc này
01 báo cáo đăng trong Kỷ yếu hội nghị quốc tế. Hướng dẫn 02 sinh viên hoàn thành khóa luận tốt nghiệp theo hướng nghiên cứu của đề tài

Ngôn ngữ:vie
Kiểu:Text
Định dạng:Text/pdf
Bảo hiểm:Thư viện nhà C1T - 144 Xuân Thủy – Cầu Giấy – Hà Nội
Quyền:Access limited to members
Link tải Free download cho anh em kết nối:
Tài liệu đang trong kho của Ket-noi, ai cần thì trả lời để mods up lên cho
Tài liệu đang trong kho của Ket-noi, ai cần thì trả lời để mods up lên cho

Music ♫

Copyright: Tài liệu đại học © DMCA.com Protection Status