Puncte:0

Partajare secretă Shamir în instrumente automate de verificare

drapel tr

Schema de partajare secretă (SSS) Shamir poate fi verificată folosind instrumente de verificare automată precum AVISPA? Am citit în manualul HLPSL că nu putem folosi operații aritmetice sau relative precum +,-,< ...etc în descrierea HLPSL a protocolului. Astfel, nu putem implementa formula de interpolare a lui LaGrange?!! Toate verificările de protocol au această limitare?

(Există și alte instrumente de verificare a protocolului, dar recent, m-am familiarizat cu AVISPA)

Aaqib Bashir avatar
drapel kr
Te-ai uitat la Verifpal?
Vadym Fedyukovych avatar
drapel in
Arxiv 1805.12482 „..Spre dovezi formale pentru calcularea securizată cu mai multe părți”
Mona avatar
drapel tr
@VadymFedyukovych Vă mulțumesc pentru împărtășirea acestei lucrări, o citesc acum.
Mona avatar
drapel tr
@AaqibBashir Este Verifpal diferit de AVISPA?
Aaqib Bashir avatar
drapel kr
Verifpal este unul dintre instrumentele de ultimă generație pentru verificarea protocoalelor criptografice. Pentru mai multe înțelegeri puteți citi https://eprint.iacr.org/2019/971.pdf

Postează un răspuns

Majoritatea oamenilor nu înțeleg că a pune multe întrebări deblochează învățarea și îmbunătățește legătura interpersonală. În studiile lui Alison, de exemplu, deși oamenii își puteau aminti cu exactitate câte întrebări au fost puse în conversațiile lor, ei nu au intuit legătura dintre întrebări și apreciere. În patru studii, în care participanții au fost implicați în conversații ei înșiși sau au citit transcrieri ale conversațiilor altora, oamenii au avut tendința să nu realizeze că întrebarea ar influența – sau ar fi influențat – nivelul de prietenie dintre conversatori.