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

Đặ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...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Trương, Ninh Thuận, Nguyễn, Việt H�, Vũ, Quang Dũng
Định dạng:	Bài viết
Ngôn ngữ:	Vietnamese
Được phát hành:	Đại học Quốc gia Hà Nội 2015
Những chủ đề:	Phần mềm Cơ chế bảo mật An ninh hệ thống Tin học
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/56222
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

id	oai:scholar.dlu.edu.vn:DLU123456789-56222
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-562222015-06-17T09:52:03Z Kiểm chứng đặc tả bảo mật phần mềm Trương, Ninh Thuận Nguyễn, Việt Hà Vũ, Quang Dũng Phần mềm Cơ chế bảo mật An ninh hệ thống Tin học Đặ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. 2015-06-12T02:05:07Z 2015-06-12T02:05:07Z 2010 Working Paper https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/56222 vi application/pdf Đại học Quốc gia Hà Nội
institution	Thư viện Trường Đại học Đà Lạt
collection	Thư viện số
language	Vietnamese
topic	Phần mềm Cơ chế bảo mật An ninh hệ thống Tin học
spellingShingle	Phần mềm Cơ chế bảo mật An ninh hệ thống Tin học Trương, Ninh Thuận Nguyễn, Việt Hà Vũ, Quang Dũng Kiểm chứng đặc tả bảo mật phần mềm
description	Đặ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.
format	Working Paper
author	Trương, Ninh Thuận Nguyễn, Việt Hà Vũ, Quang Dũng
author_facet	Trương, Ninh Thuận Nguyễn, Việt Hà Vũ, Quang Dũng
author_sort	Trương, Ninh Thuận
title	Kiểm chứng đặc tả bảo mật phần mềm
title_short	Kiểm chứng đặc tả bảo mật phần mềm
title_full	Kiểm chứng đặc tả bảo mật phần mềm
title_fullStr	Kiểm chứng đặc tả bảo mật phần mềm
title_full_unstemmed	Kiểm chứng đặc tả bảo mật phần mềm
title_sort	kiểm chứng đặc tả bảo mật phần mềm
publisher	Đại học Quốc gia Hà Nội
publishDate	2015
url	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/56222
_version_	1819773634661580800

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

Những quyển sách tương tự