• 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”
  • 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
  • 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 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 ký kết hợp đồng
  • 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 Công nghệ thông tin ký kết hợp đồng
  • 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
  • Viện Công nghệ thông tin ký kết hợp đồng
  • 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
  • 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
  • Viện Công nghệ thông tin hợp tác với đối tác ngoài nước
  • Ảnh 1
  • Lễ bổ nhiệm
  • 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
  • NCS. Vũ Đức Quảng
  • Hội thảo Quốc gia về Công nghệ thông tin lần thứ XVIII
  • 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
  • NCS. Đặng Thanh Chương
  • NCS. Đào Văn Thành
  • Hội thảo Quốc Gia lần thứ XVIII về CNTT
  • Hội thảo Quốc Gia lần thứ XVIII về CNTT
  • Hội chợ Techmart 2016
  • NCS. Trương Hải Hà
  • Viện CNTT làm việc với Công ty Cổ phần Mía đường Lam Sơ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
  • 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
  • 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
  • Ảnh 2
  • Hội thảo Quốc Gia lần thứ XVIII về CNTT
  • Buổi gặp mặt đầu xuân Đinh Dậu 2017
  • 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).