. cây cú pháp trừu tượng của chương trình để kiểm tra sự tuân theo giữa thực thi và đặc tả RBAC. 5* 2.3 Đề xuất giải pháp kiểm chứng đặc tả bảo mật phần mềm Mỗi cài đặt của RBAC cần phải được viết. mô tả cơ chế an ninh cho hệ thống. Khi m ột hệ thống phần mềm cần bảo mật, các cơ chế bảo m ật càn phải được đặc tả và thực thi cùng với các yêu cầu khác của hệ thống. Tuy nhiên, việc đặc tả. có những phương pháp kiểm chứng hiệu quả để phát hiện các lỗi phần mềm trước khi đưa vào sử dụng trong thực tế. Trong phát triển phần mềm, đặc tả có nhiệm vụ đưa ra các mô. tả và ràng buộc ban