Naslov
Modeli apstraktne kriptografije i protokoli
(Models of Abstract Criptography and Protocols)

Autori
Slani, Neva

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, magistarski rad

Fakultet
PMF-Matematički odjel

Mjesto
Zagreb

Datum
09.07

Godina
2004

Stranica
92

Mentor
Rosenzweig, Dean

Ključne riječi
kriptografski protokol; formalne metode; apstraktni modeli
(criptography protocol; formal methods; abstract model)

Sažetak
U radu su predstavljena tri apstraktna modela kriptografskih protokola: model transformacija multiskupova, model niti i model struna. Svaki je detaljno opisan, te je pokazana eksplicitna veza modela transformacija multiskupova i modela niti. Modeli su istog nivoa apstrakcije i uspijevaju modelirati jednaka svojstva protokola, jedino se mehanizmi rasuđivanja o tim svojstvima razlikuju, pa se nameće zaključak, iako neformalan, o njihovoj međusobnoj korespondenciji.

Izvorni jezik
Engleski

Znanstvena područja
Matematika

POVEZANOST RADA