Рейтинг:0

Обмен секретами Шамира в инструментах автоматической проверки

флаг tr

Можно ли проверить схему обмена секретами Shamir (SSS) с помощью инструментов автоматической проверки, таких как AVISPA? Я прочитал в руководстве по HLPSL, что мы не можем использовать арифметические или относительные операции, такие как +,-,< ... и т. д. в описании протокола HLPSL. Таким образом, мы не можем реализовать интерполяционную формулу Лагранжа?!! Все ли проверки протокола имеют это ограничение?

(Есть и другие инструменты проверки протокола, но недавно я познакомился с AVISPA)

Aaqib Bashir avatar
флаг kr
Вы смотрели на Verifpal?
Vadym Fedyukovych avatar
флаг in
Arxiv 1805.12482 «.. На пути к формальным доказательствам для безопасных многосторонних вычислений»
Mona avatar
флаг tr
@VadymFedyukovych Спасибо, что поделились этой статьей, я сейчас ее читаю.
Mona avatar
флаг tr
@AaqibBashir Отличается ли Verifpal от AVISPA?
Aaqib Bashir avatar
флаг kr
Verifpal — один из самых современных инструментов для проверки криптографических протоколов. Для большего понимания вы можете прочитать https://eprint.iacr.org/2019/971.pdf

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.