Electronic Voting. Verification and Composition of Security Protocols

Ștefan Ciobâcă

Descriere Sumar Despre autori

Volum în limba engleză.
În această carte sunt prezentate metode pentru verificarea formală a protocoalelor criptografice, cu un accent deosebit asupra protocoalelor de vot electronic. Protocoalele criptografice sunt mici programe care asigură diverse proprietăţi de securitate ale comunicaţiilor, cum ar fi anonimatul utilizatorului sau confidenţialitatea datelor transmise. Prezenţa erorilor de concepţie într-un astfel de protocol poate compromite complet securitatea comunicaţiei. Din acest motiv este important ca ele să fie verificate formal, pentru a stabili matematic absenţa oricărei erori. Cartea conţine rezultatele obţinute în timpul cercetării doctorale a autorului în domeniul verificării formale a protocoalelor criptografice (protocoalelor de securitate).

Introduction; Preliminaries; The Strong Finite Variant Property; A Decision Procedure for Static Equivalence; Automated Verification of Trace Equivalence; Composability

Ștefan Ciobâcă (n. 1984, Suceava) este conferențiar la Facultatea de Informatică a Universității ”Alexandru Ioan Cuza” din Iași, autor al mai multor studii, individuale sau colective, apărute în publicații de specialitate, indexate în bazele de date internaționale.