Nghiên cứu đánh giá khả năng bảo mật hệ thống CBTC sử dụng mô hình mạng Petri - Phạm, Hồng Quân (2025)