Kiểm chứng đặc tả bảo mật phần mềm - Trương, Ninh Thuận (Đại học Quốc gia Hà Nội, 2015)