. 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ự. ĐẠ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. 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.