Làm cách nào để hiểu "Tính xác thực" và "Quyền riêng tư" của sơ đồ mã hóa chế độ CCM?

Chế độ CCM đề cập đến chế độ mã hóa CTR+ CBC-MAC.

Dựa trên tờ giấy này, lợi thế của đối thủ so với tính xác thực của CCM là:

phương trình(1)

xác thực: kẻ thù sẽ không thể giả mạo một bản mã hợp lệ mà không biết khóa bí mật.

và lợi thế của đối thủ đối với quyền riêng tư của CCM là:

phương trình(2)

Sự riêng tư: Sẽ là không khả thi đối với một kẻ thù để lấy bất kỳ thông tin nào từ các bản mã mà không cần biết khóa bí mật.

Tôi bối rối về việc "lấy bất kỳ thông tin nào từ bản mã" trong định nghĩa về quyền riêng tư được hiển thị ở trên. Điều đó có nghĩa là nếu quyền riêng tư bị phá vỡ, kẻ thù có thể lấy được thông tin văn bản gốc từ bản mã? Nếu vậy, thông tin đầy đủ về bản rõ hay chỉ một phần thông tin về bản rõ? Nhưng tôi cũng cảm thấy rằng Eq(2) mô tả khả năng phân biệt bản mã của CCM với chuỗi bit ngẫu nhiên của đối thủ, vì vậy chúng tôi không thể biết bản rõ ngay cả khi quyền riêng tư bị phá vỡ.

Câu hỏi thứ hai của tôi là về tính xác thực. Sẽ phá vỡ tính xác thực dẫn đến rò rỉ bản rõ? Nói cách khác, nếu chúng ta muốn chứng minh tính riêng tư của bản rõ, chúng ta có cần xem xét trường hợp tính xác thực bị phá vỡ không?

Cảm ơn bạn trước.

Lưu ý: Adv_E^prp(B) là lợi thế của đối thủ trên hoán vị giả ngẫu nhiên (prp).

Ý nghĩa dự định của định nghĩa về quyền riêng tư là

Sự riêng tư: Kẻ thù không thể lấy được từ bản mã bất kỳ thông tin nào về bản rõ tương ứng, ngoại trừ độ dài của chúng, mà không biết khóa bí mật.

Điều đó ngăn cản kẻ thù có thể tìm thấy thậm chí một phần thông tin về các bản rõ (ví dụ: nếu chúng giống hệt nhau đối với một số bản mã hoặc nếu một bản rõ chứa các byte lặp lại), ngoại trừ độ dài của chúng.

Nếu chúng ta muốn chứng minh tính riêng tư của bản rõ, chúng ta có cần xem xét trường hợp tính xác thực bị phá vỡ không?

Điều đó phụ thuộc vào mô hình mà chúng tôi muốn chứng minh quyền riêng tư. Dưới Tấn công bằng văn bản đã biết (và chỉ tấn công bằng bản mã), không. Ở dưới cái Tấn công bản rõ được chọn (rất được mong đợi đối với chế độ mã hóa hiện đại và có thể áp dụng cho CCM), vâng. Đó là bởi vì mô hình tấn công giả định rằng kẻ thù có thể chọn bất kỳ bản rõ nào và mã hóa nó, bao gồm bất cứ điều gì làm cho bản mã đó hợp lệ và vượt qua kiểm tra tính toàn vẹn ở phía người nhận. Bảo mật CPA của mã hóa được xác thực yêu cầu quyền riêng tư vẫn còn ngay cả khi các điều kiện sử dụng mật mã không thể bảo đảm tính xác thực.