Điểm:0

Chia sẻ bí mật của Shamir trong các công cụ xác minh tự động

lá cờ tr

Có thể xác minh sơ đồ chia sẻ bí mật Shamir (SSS) bằng các công cụ xác minh tự động như AVISPA không? Tôi đã đọc trong hướng dẫn sử dụng HLPSL rằng chúng tôi không thể sử dụng các phép toán số học hoặc tương đối như +,-,< ...etc trong phần mô tả HLPSL của giao thức. Như vậy, chúng ta không thể thực hiện công thức nội suy LaGrange?!! Có phải tất cả xác minh giao thức đều có giới hạn này không?

(Có các công cụ xác minh giao thức khác, nhưng gần đây tôi đã làm quen với AVISPA)

Aaqib Bashir avatar
lá cờ kr
Bạn đã xem Verifpal chưa?
Vadym Fedyukovych avatar
lá cờ in
Arxiv 1805.12482 "..Hướng tới bằng chứng chính thức để tính toán an toàn cho nhiều bên"
Mona avatar
lá cờ tr
@VadymFedyukovych Cảm ơn bạn đã chia sẻ bài báo này, tôi đang đọc nó.
Mona avatar
lá cờ tr
@AaqibBashir Verifpal có khác gì AVISPA không?
Aaqib Bashir avatar
lá cờ kr
Verifpal là một trong những công cụ tiên tiến nhất để xác minh các giao thức mật mã. Để hiểu rõ hơn, bạn có thể đọc https://eprint.iacr.org/2019/971.pdf

Đă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.