Một quá trình được sử dụng để xác định rằng các tính năng bảo mật của một hệ thống được thực hiện như thiết kế và rằng họ là đủ cho một môi trường ứng dụng được đề xuất.