-          Tiếp cận và cập nhật các xu hướng mới trên thế giới về việc sử dụng kỹ thuật kiểm chứng mô hình trong các giao thức bảo mật.

-          Nền tảng khoa học của kỹ thuật kiểm chứng mô hình.

-          Nghiên cứu xây dựng mô hình hình thức, xây dựng mô hình tấn công cho các giao thức.

-          Thử nghiệm kỹ thuật kiểm chứng mô hình với một số giao thức bảo mật như SSH(Secure Shell), EKE(Encrypted key exchange), TLS(Transport Layer Security).