TAILIEUCHUNG - Giáo trình Mật mã và ứng dụng: Chương 10

Giáo trình Mật mã và ứng dụng - Chương 10: Các chứng minh không tiết lộ thông tin, trình bày các nội dung chính: các hệ thống chứng minh tương hỗ, các chứng minh không tiết lộ thông tin hoàn thiện, các cam kết bít, các chứng minh không tiết lộ thông tin về mặt tính toán,. Đây là tài liệu tham khảo dành cho sinh viên ngành Công nghệ thông tin. | Vietebooks Nguyễn Hoàng Cương CHƯƠNG 13 CÁC CHÚNG MINH KHÔNG TIẾT LỘ THÔNG TIN HỆ THỐNG CHÚNG MINH TƯƠNG Hỗ Một cách đơn giản một hệ thống chứng minh không tiết lô thông tin sẽ cho phép một đối tượng thuyết phục được một đối tượng khác tin một điều nào đó mà không để lộ một tý thông tin nào về phép chứng minh. Trước tiên ta sẽ thảo luận ý tưởng về một hệ thống chứng minh tương hỗ. Trong một hệ thống chứng minh tương hỗ có hai thành viên teggy và Vic. Teggy là người chứng minh và Vic là người kiểm tra. Teggy biết một điều gì đó và cô ta muốn chứng minh cho Vic rằng cô ta biết điều đó. Điều cần thiết là phải mô tả được các kiểu tính toán mà Peggy và Vic được phép thực hiện và các tác động qua lại xảy ra. Ta có thể coi các thuật toán mà Peggy và Vic thực hiện là các thuật toán xác suất. Peggy và Vic sẽ thực hiện các tính toán riêng và mỗi người đều có một bộ tạo số ngẫu nhiên riêng. Họ sẽ liên lạc với nhau qua một kênh truyền tin. Thoạt đầu cả Peggy và Vic đều có một giá trị x. mục đích của phép chứng minh tương hỗ là Peggy phải thuyết Vic rằng x có một tính chất xác đình nào đó. Chính xác hơn x là câu trả lời có của một bái toán quyết định xác định n. Phép chứng minh tương hỗ là một giao thức hỏi-đáp gồm một số vòng xác định. Trong mỗi vòng .Peggy và Vic luân phiên thực hiện các công việc sau 1. Nhận một thông báo từ nhóm khác . 2. Thực hiện một tính toán riêng. 3. Gửi một thông báo toiư nhóm khác Một vòng điển hình của giao thức sẽ gồm một yêu cầu của Vic và một đáp ứng của Peggy. Tới cuối phép chứng minh Vic hoặc sẽ chấp nhận hoặc từ chối tuỳ thuộc vào việc liệu Peggy có đáp ứng thành công các yêu câù của Vic hay không. Ta định nghĩa giao thức là một hệ thông chứng minh tương hỗ đối với vái toán quyết định n nếu hai tính chất sau được thoả mãn mỗi khi Vic tuân theo giao thức đó Tính đầy đủ Trang 1 Vietebooks Nguyễn Hoàng Cương Nếu x là câu trả lời có của hai bái toán quyết định n thì Vic sẽ luôn luôn chấp nhận chứng minh của Peggy. Tính đúng đắn Nếu x là .

• An ninh - Bảo mật
• Mật mã và ứng dụng Chương 10
• Các chứng minh không tiết lộ thông tin
• Hệ thống chứng minh tương hỗ
• Các cam kết bít
• Luận cứ không tiết lộ thông tin
• Tài liệu mật mã và ứng dụng
• Mật mã và ứng dụng
• Bài giảng Mật mã và ứng dụng
• Hệ mật mã cổ điển
• Mật mã học
• Mã hoán vị
• Mã đơn thế
• Hệ mật mã khóa công khai
• Số học đồng dư
• Thủ tục bình phương
• mã khóa công khai
• Quản lý khóa
• Giao thức mật mã
• Thống nhất khóa
• Xác thực mật mã
• Mật mã và ứng dụng Chương 1
• Mật mã cổ điển
• Mã dịch vòng
• Mã thay thế
• Mật mã Affine
• Mật mã Hill
• Quản lý khóa công khái
• Quản lý khóa đối xứng
• Ứng dụng mật mã
• Lịch sử ngành mật mã
• An toàn thông tin
• Hệ mật mã khóa đối xứng
• Mật mã và ứng dụng Chương 2
• Lý thuyết Sannon
• Độ mật hoàn thiện
• Tính chất của entropi
• Tài liệu mật mã
• Ứng dụng của mật mã
• Chữ ký số
• Nhu cầu toàn vẹn thông tin
• Hàm băm có khóa
• Hàm băm không khóa
• Kỹ thuật hàm băm
• Mật mã đối xứng
• Đề cương môn học
• Hệ thống thông tin
• An toàn hệ điều hành
• Chữ ký điện tử
• Lý thuyết mật mã
• Mật mã công khai
• Bảo mật thông tin
• Mật mã và ứng dụng Chương 4
• Hệ mật hóa RSA
• Phân tích thừa số
• Hệ mật Rsa
• Thực hiện hệ mật Rsa
• Phương pháp tấn công hệ mật Rsa
• An toàn cơ sở dữ liệu
• Mục tiêu an toàn cơ sở dữ liệu
• Cập nhật cơ sở dữ liệu
• Sự cố hệ thống
• Kiểm soát truy nhập
• Hệ điều hành
• Thiết kế Hệ điều hành
• An toàn phần mềm
• Lỗi phần mềm
• Biện pháp an toàn phần mềm
• Kiểm định hình thức
• An toàn mạng
• Mạng máy tính
• Phát hiện đột nhập
• Từ chối dịch vụ
• Phần mềm độc hại
• Phần mêm độc hại
• Ngăn chặn phần mềm độc hại
• An toàn Web
• Tấn công SQL injection
• Tấn công XSS
• Nguyn hiểm truy cập web
• mật mã khoá công khai
• ứng dụng mật mã khoá công khai
• luận văn
• thiết kế hệ thống
• kỹ thuật lập trình
• lập trình ứng dụng
• Mật mã và ứng dụng Chương 5
• Hệ mã hóa công khai
• Hệ mật Elgamal
• Các logarithm rời rạc
• Trường hữu hạn
• Hệ thống đường cong Elliptic
• Tạp chí Khoa học và Công nghệ
• Hệ mật McEliece
• Hệ mật Niederreiter
• Hệ mật dựa trên mã
• Phương pháp chuẩn syndrome
• Giải mã mã BCH
• Bài giảng Mật mã học
• Giao thức tầng ứng dụng
• Cơ sở hạ tầng khóa công khai
• Mật mã và ứng dụng Chương 3
• Chuẩn mã hóa dữ liệu
• Tranh luận về des
• Des trong thực tế
• Phép tối ưu hóa thời gian
• Thám mã vi sai
• Mã hóa thông tin
• Lịch sử mật mã
• Hệ thống mã hóa
• Bảo vệ thông tin
• Ứng dụng web
• Khái niệm hacker
• bảo mật dữ liệu
• bảo mật ứng dụng
• Mã hóa URL