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.
Trang 1ĐẠ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ố: Q C 0 9 0 1
C h ủ n h iệ m đ ề tài: T S T r ư ơ n g N in h T h u ậ 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
Trang 2Mục lục
1 P hần mở đ ầ u 1
1.1 D anh sách những người th a m gia thực hiện đề tài 1
1.2 Báo cáo đề t à i 1
2 P h ần nội d un g c h í n h 3
2.1 Đ ặt vấn đề 3
2.2 Tổng q u an các vấn đề nghiên c ứ u 4
2.3 Dề x u ấ t giải p há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
Trang 3Tó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