Làm cách nào để hiểu "Truy vấn kiểm tra () chỉ có thể được cấp cho một phiên mới" trong bằng chứng bảo mật dựa trên trò chơi?

Trong bằng chứng bảo mật dựa trên trò chơi cho các giao thức trao đổi khóa, có một truy vấn Kiểm tra. Các bài kiểm tra(bạn) truy vấn thường chỉ có sẵn cho đối thủ nếu phiên bản bị tấn công bạn là tươi. (U đại diện cho người tham gia hoặc nhà tiên tri)

Mới: Trước khi phiên hết hạn, không có truy vấn SSReveal(U), SKReveal(U) hoặc Corrupt(U) nào được yêu cầu bởi đối thủ. Cả hai bạn và phiên kết hợp của nó không được hiển thị cục bộ. Phiên như vậy được gọi là tươi.

SSReveal(U): truy vấn này cho phép đối thủ tìm hiểu thông tin trạng thái phiên cụ thể do U nắm giữ.

SKReveal(U): truy vấn này cho phép đối thủ tìm hiểu khóa phiên do U nắm giữ.

Tham nhũng(U): truy vấn này cho phép đối thủ tìm hiểu khóa bí mật dài hạn của U.

câu hỏi của tôi là: nếu Kiểm tra (U) chỉ có thể được cấp cho phiên mới, điều đó có nghĩa là "việc mạo danh những người tham gia giao thức (ví dụ: U) không xảy ra" là tiền đề để hỏi truy vấn này? Nếu vậy, chúng ta có cần chứng minh tính xác thực lẫn nhau trước khi đặt câu hỏi Kiểm tra (U) không?

Cảm ơn bạn.

nếu Kiểm tra (U) chỉ có thể được cấp cho phiên mới, điều đó có nghĩa là "việc mạo danh những người tham gia giao thức (ví dụ: U) không xảy ra" là tiền đề để hỏi truy vấn này?

Tôi hoàn toàn không hiểu từ ngữ trong câu hỏi của bạn, nhưng $\mathsf{Kiểm tra}(U)$ không có ý nghĩa nếu $U$ là một người dùng. Trong bảo mật trao đổi khóa (AKE) được xác thực, bạn gọi $\mathsf{Kiểm tra}$ chống lại một phiên họp không phải là người dùng, tức là, một phiên bản cụ thể của giao thức trao đổi khóa giữa hai người dùng. Cả người dùng tham gia vào phiên đang được thử nghiệm đó đều không thể bị hỏng vì điều đó sẽ mâu thuẫn với tính mới của phiên. Nếu kẻ thù không biết các khóa dài hạn, thì chúng sẽ không thể mạo danh người dùng (nếu kế hoạch này an toàn).