Trang_thong_tin_luan_an_TV

TRANG THÔNG TIN VỀ LUẬN ÁN Tên đề tài luận án: Phát triển phương pháp chứng thực thông tin với thiết bị di động Ngành/Chuyên ngành: Khoa học máy tính Mã số: 62480101 Họ tên nghiên cứu sinh: Trương Tồn Thịnh Khóa đào tạo: 2013 Người hướng dẫn khoa học: PGS.TS Trần Minh Triết – PGS.TS Dương Anh Đức Cơ sở đào tạo: Trường Đại học Khoa học Tự nhiên – ĐHQG.HCM TÓM TẮT NỘI DUNG LUẬN ÁN: Trong luận án xây dựng quy trình chứng thực thơng tin với thiết bị di động môi trường khách – chủ đa máy chủ Mục tiêu việc phát triển giúp việc chứng thực người dùng an toàn trước thực giao dịch môi trường mạng Các quy trình phát triển dựa vào tốn khó thuộc đường cong elliptic đa thức Chebyshev, đồng thời đánh giá hình thức dựa vào mơ hình BAN – logic Random Oracle NHỮNG KẾT QUẢ MỚI CỦA LUẬN ÁN: Qua trình nghiên cứu phát triển, luận án có đóng góp sau: Luận án đề xuất quy trình tổng quát từ thực hóa bốn quy trình chứng thực hai môi trường đơn đa máy chủ với tốn khó ECC đa thức Chebyshev Luận án chứng minh hình thức tính đắn độ an tồn khóa phiên cách dùng mơ hình BAN – logic Random Oracle Bên cạnh đóng góp chính, luận án có số đóng góp nhỏ khảo sát phân tích cơng trình gần để từ đề giải pháp khắc phục nhận biết ưu/khuyết hướng tiếp cận CÁC ỨNG DỤNG/ KHẢ NĂNG ỨNG DỤNG TRONG THỰC TIỄN HAY NHỮNG VẤN ĐỀ CÒN BỎ NGỎ CẦN TIẾP TỤC NGHIÊN CỨU Trong tương lai, luận án cần tiếp tục thực công việc sau: - Tiếp tục khảo sát phân tích hướng tiếp cận (nếu có) để đưa vào quy trình chứng thực - Thiết kế thử nghiệm kiến trúc cho quy trình chứng thực với chi phí hợp lý - Thu nhỏ kích thước gói tin trao đổi trình chứng thực nhằm giảm thời gian chứng thực (trường hợp đường truyền kém) - Đề xuất trị chơi dựa vào mơ hình Random Oracle để chứng minh hình thức độ an tồn cho tình cơng - Đề xuất thêm định lý chứng minh hình thức tính đắn cho quy trình dựa vào mơ hình BAN – logic - Tìm kiếm thêm mơ hình khác nhằm tăng tính hình thức cho việc chứng minh quy trình Khả ứng dụng thực tiễn: Điện thoại thông minh hay máy tính bảng loại thiết bị di động quen thuộc, cho phép người dùng sử dụng tính ứng dụng đa dạng máy tính cá nhân đa nhỏ gọn dễ mang chuyển Trong đó, thiết bị đeo đồng hồ thơng minh, vịng đeo theo dõi luyện tập thể thao (activity tracker), kính đeo mắt thơng minh (smart eyeware)… thường cung cấp tính hay tiện ích đặc thù người dùng đeo thường xuyên để ghi nhận thơng tin, hoạt động Như vậy, nhờ tính phổ biến thiết bị di động tiềm ứng dụng rộng rãi tương lai thiết bị đeo, nhiều ứng dụng dịch vụ đa dạng phong phú phát triển Điều dẫn đến nhu cầu cấp thiết giải pháp để bảo vệ an tồn thơng tin cho người dùng tránh kẻ công, đặc biệt hệ thống dịch vụ trực tuyến, từ thiết bị di động hay thiết bị đeo Trong đó, chứng thực an tồn, thuận tiện hiệu tốn có ý nghĩa quan trọng, cần có hầu hết ứng dụng dịch vụ bước đầu thiết lập giao dịch trực tuyến Để phát triển quy trình chứng thực mang tính tổng quát phải dựa đánh giá hình thức mơ hình, từ độ an tồn quy trình ổn định lâu dài hạn chế tốt hình thức cơng phát sinh tương lai Vì vậy, vấn đề vừa có ý nghĩa khoa học, vừa có tiềm ứng dụng ý nghĩa thực tế cao CÁN BỘ HƯỚNG DẪN (Ký tên, họ tên) Trần Minh Triết NGHIÊN CỨU SINH (Ký tên, họ tên) Dương Anh Đức Trương Toàn Thịnh XÁC NHẬN CỦA CƠ SỞ ĐÀO TẠO PHÓ HIỆU TRƯỞNG Trần Lê Quan