Kiểm chứng đặc tả bảo mật phần mềm tt
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (590.48 KB, 3 trang )
ĐẠI HỌC QUÔC GIA HÀ NỘI
KIỂM CHỨNG ĐẶC TẢ BẢO MẬT PHẦN MÈM
M â số: QC.09.01
C hủ nhiệm đề tài: T S. T rư ơng N inh T huận
OẠI HỌC Q u ó c G ia h a n o i
ĩttUNG TẨM THÒNG TIN THƯ VIEN
0 0 0 6 0 0 0 0 0 ^ 6
Hà Nội - 2010
Mục lục
1 Phần mở đ ầ u 1
1.1 Danh sách những người tham gia thực hiện đề tài . . . 1
1.2 Báo cáo đề t à i 1
2 Phần nội dung c h í n h 3
2.1 Đ ặt vấn đề 3
2.2 Tổng quan các vấn đề nghiên c ứ u 4
2.3 Dề x uất giải pháp kiểm chứng đặc tả bảo m ật phần mềm 6
3 Kết luận và kiến n g h ị 8
i
Tóm tắt
Nghiên cứu về tích hợp security trong hệ thống phần mềm.
Đưa ra các giải pháp hiệu quả để kiểm chứng sự thực thi của
các chương trình phần mềm với đặc tả về Security Policy.
