Domenii
Filosofie şi Ştiinţe sociale
Istorie
Litere
Ştiinţe ale naturii
Ştiinţe economice
Ştiinţe exacte
Ştiinţe juridice
Educaţie fizică
Diverse
Colecții
Academia Practică
Antiqua et Mediaevalia
Bibliografica
Biblioteca de Istorie Literară
Bibliotheca Archaeologica Iassiensis
Bibliotheca Archaeologica Moldaviae
Bibliotheca Classica Iassiensis
Bibliotheca Patristica Iassiensis
BusinessLike
Cicero
Colecția Medico-chirurgicală
Contribuţii Ieşene de Germanistică
D.E.U. (Dicţionarele Editurii Universităţii)
Documenta
Economie şi Societate Liberă
Economikon
Ethnos
Excellentia 150
Exercitium
FIBAS
Fontes Traditionis
Geographia
Historica
Historica Dagesh
In Honorem
Logos
Monumenta Linguae Dacoromanorum
Observatorul Social
Patrimonium
Personalităţi ale Universităţii "Al.I. Cuza" din Iaşi
Proiecte Europene în Ştiinţele Sociale
Psihologie Socială şi Aplicată
Publicațiile Institutului Român de Genealogie și Heraldică „Sever Zotta”
Restitutio Historiographica
Scripta Archaeologica et Historica Dacoromaniae
Sophia
Sport și Societate
Ştiinţele Educaţiei
Studii de Geografie Politică
Studii Europene
Thesaurus
Traditio
Periodice
Analele științifice ale Universității "Al.I. Cuza" din Iași (Serie nouă)
Alte reviste și periodice științifice

Pagina principală / Domeniul Ştiinţe exacte /

Electronic Voting. Verification and Composition of Security Protocols

Ștefan Ciobâcă

Data apariției: 05.10.2015

Domeniu: Ştiinţe exacte / Informatică

Colecție: ---

ISBN: 978-606-714-146-7

Nr. pagini: 309

Format: 17 x 24 cm.

18.90 LEI

preț de producție

ADAUGĂ ÎN COȘ

Poșta Română 3-4 zile lucrătoare livrare gratuită Curier rapid 24-48 ore + taxe de livrare Suport clienți 0232.314.947

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.