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