Điểm:1

Katz/Lindell - 2.10: Có cho phép tìm kiếm toàn diện trên không gian khóa ở trạng thái không thể phân biệt hoàn hảo không?

lá cờ fr

Tôi đang tự nghiên cứu bằng cách sử dụng "Giới thiệu về mật mã hiện đại (tái bản lần 2)"

Tôi đang cố gắng hiểu làm thế nào giải pháp cho vấn đề sau đây là hợp lệ:

Chứng minh rằng một lược đồ thỏa mãn Định nghĩa 2.5 phải có $|K| \geq |M|$ không sử dụng Bổ đề 2.4. Cụ thể, hãy để $\Pi$ là một sơ đồ mã hóa tùy ý với $|K| < |M|$ Hiển thị một $A$$Pr[PrivK^{eav}_{A,\Pi} = 1] > \frac{1}{2}$

Một số ký hiệu:

Định nghĩa 2.5 là:

sơ đồ mã hóa $\Pi = (Gen, Enc, Dec)$ với không gian tin nhắn $M$ là hoàn hảo không thể phân biệt nếu cho mọi $A$ nó giữ điều đó

$$ Pr[Priv^{eav}_{A,\Pi} = 1] = \frac{1}{2} $$

Ký hiệu nói rằng xác suất mà kẻ thù đoán chính xác thông báo đầu vào phải bằng $\frac{1}{2}$ cho sự hoàn hảo không thể phân biệt để nắm giữ.

Tuy nhiên, giải pháp không có ý nghĩa với tôi.

Giải pháp là:

Xem xét những điều sau đây $A$: đầu ra thống nhất $m_0, m_1 \in M$. Khi nhận được bản mã $c$, kiểm tra bằng cách (tìm kiếm mệt mỏi) xem có tồn tại khóa không $k$ như vậy mà $Dec_k(c) = m_0$. Nếu vậy xuất 0; đầu ra khác 1.

Giải pháp này có vẻ có vấn đề vì nó nói rằng nó hợp lệ để đối thủ thực hiện tìm kiếm toàn diện trên không gian khóa. Nhưng nếu đây là trường hợp, đối với bất kỳ thử nghiệm không thể phân biệt nào, chúng ta có thể có một đối thủ chỉ thực hiện tìm kiếm mệt mỏi trên không gian khóa để xác định văn bản mật mã giải mã thành gì.

Có ai hiểu chuyện gì đang xảy ra không?

kelalaka avatar
lá cờ in
Vâng, nó hợp lệ, ngay cả trong trường hợp này, nó có tính bí mật hoàn hảo. Cho dù đối thủ có sức mạnh như thế nào, họ không thể có lợi thế, Đối với người ngoài cuộc, lựa chọn của họ sẽ được coi là ngẫu nhiên cho dù họ áp dụng chiến lược nào.
kelalaka avatar
lá cờ in
Một lát sau, bạn sẽ thấy rằng chúng ta cần tính không thể phân biệt được trong tính toán khi chúng ta nói về các đối thủ đa thức..
kelalaka avatar
lá cờ in
Bạn có thấy điều này không `Chúng tôi nhấn mạnh rằng không có giới hạn nào đối với khả năng tính toán của A` ngay dưới 2,5?
Điểm:3
lá cờ in

Lý do này rất hấp dẫn nhưng không hợp lý: “Chúng ta có thể có một đối thủ chỉ thực hiện tìm kiếm mệt mỏi trên không gian khóa để xác định văn bản mật mã sẽ giải mã thành gì.”â

Vấn đề là khi kiểm tra mọi phím, nó có thể không rõ ràng cái nào là "chính xác", tức là bản rõ mà bản mã thực sự giải mã thành.

Để thấy điều này một cách cụ thể, hãy xem xét miếng đệm một lần, thứ hoàn toàn không thể phân biệt được. Cho một bản mã, khi giải mã bằng mọi khóa trong không gian khóa ta được mọi bản rõ có thể có (có cùng độ dài với bản mã). Điều này có thể bao gồm nhiều văn bản rõ vô nghĩaâ, nhưng nó cũng bao gồm tất cả các bản rõ âhợp lýâ (có độ dài phù hợp). Đối thủ không thể biết được bản rõ nào trong số các ứng cử viên này là bản rõ realâ. Trên thực tế, tính không thể phân biệt hoàn hảo ngụ ý rằng đối thủ không biết rõ hơn bản rõ chính xác là gì sau đó nhìn thấy bản mã hơn nó đã có trước nhìn thấy nó.

Vì vậy, tìm kiếm khóa toàn diện chắc chắn được cho phép trong bối cảnh không thể phân biệt hoàn hảo, nhưng ngay cả điều này cũng không giúp kẻ thù phá vỡ một hệ thống hoàn toàn không thể phân biệt.

Foobar avatar
lá cờ fr
Hiểu rồi. Vì vậy, tuyên bố đại khái là: Nếu chúng ta giải mã văn bản mật mã bằng mọi khóa có thể, nó sẽ luôn dẫn đến cả $m_0$ và $m_1$ trong đó $m_0$ và $m_1$ trong đó 2 thông điệp mà kẻ thù đưa vào không thể phân biệt hoàn hảo thí nghiệm
Chris Peikert avatar
lá cờ in
Điều đó đúng (nếu hệ thống hoàn toàn không thể phân biệt được).

Đăng câu trả lời

Hầu hết mọi người không hiểu rằng việc đặt nhiều câu hỏi sẽ mở ra cơ hội học hỏi và cải thiện mối quan hệ giữa các cá nhân. Ví dụ, trong các nghiên cứu của Alison, mặc dù mọi người có thể nhớ chính xác có bao nhiêu câu hỏi đã được đặt ra trong các cuộc trò chuyện của họ, nhưng họ không trực giác nhận ra mối liên hệ giữa câu hỏi và sự yêu thích. Qua bốn nghiên cứu, trong đó những người tham gia tự tham gia vào các cuộc trò chuyện hoặc đọc bản ghi lại các cuộc trò chuyện của người khác, mọi người có xu hướng không nhận ra rằng việc đặt câu hỏi sẽ ảnh hưởng—hoặc đã ảnh hưởng—mức độ thân thiện giữa những người đối thoại.