• Lễ ký kết hợp tác đào tạo và nghiên cứu khoa học giữa Viện Công nghệ thông tin và Học viện An ninh nhân dân
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội thảo Quốc Gia lần thứ XVIII về CNTT
  • NCS. Vũ Đức Quảng
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Viện Công nghệ thông tin ký kết hợp đồng
  • Lễ bổ nhiệm
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Lễ ký kết hợp tác đào tạo và nghiên cứu khoa học giữa Viện Công nghệ thông tin và Học viện An ninh nhân dân
  • Viện CNTT làm việc với Công ty Cổ phần Mía đường Lam Sơn
  • NCS. Đào Văn Thành
  • Buổi gặp mặt đầu xuân Đinh Dậu 2017
  • Hội thảo Quốc Gia lần thứ XVIII về CNTT
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Ảnh 1
  • NCS. Trương Hải Hà
  • Lễ ký kết hợp tác đào tạo và nghiên cứu khoa học giữa Viện Công nghệ thông tin và Học viện An ninh nhân dân
  • Hội thảo “Giải pháp hạ tầng công nghệ thông tin cho mô hình kinh doanh mới”
  • Lễ ký kết hợp tác đào tạo và nghiên cứu khoa học giữa Viện Công nghệ thông tin và Học viện An ninh nhân dân
  • NCS. Đặng Thanh Chương
  • Viện Công nghệ thông tin ký kết hợp đồng
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội thảo Quốc Gia lần thứ XVIII về CNTT
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Viện Công nghệ thông tin hợp tác với đối tác ngoài nước
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Viện Công nghệ thông tin hợp tác với đối tác ngoài nước
  • Hội chợ Techmart 2016
  • Lễ ký kết hợp tác đào tạo và nghiên cứu khoa học giữa Viện Công nghệ thông tin và Học viện An ninh nhân dân
  • Ảnh 2
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Viện Công nghệ thông tin ký kết hợp đồng
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội thảo @ XX
  • Viện Công nghệ thông tin hợp tác với đối tác ngoài nước
  • NCS. Nguyễn Quỳnh Diệp
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Viện Công nghệ thông tin ký kết hợp đồng
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội thảo Quốc gia về Công nghệ thông tin lần thứ XVIII
  • Viện Công nghệ thông tin ký kết hợp đồng
  • Viện Công nghệ thông tin

Sản phẩm

Đề tài cơ sở
CS’14.13
Tên đề tài Kỹ thuật kiểm chứng mô hình trong các giao thức bảo mật trên môi trường mạng
Chủ nhiệm ThS. Đinh Quang Đạt
Thời gian thực hiện 2014 ~ 2014
Kết quả đạt được
-          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).