engleski

Models of Abstract Criptography and Protocols

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.

criptography protocol; formal methods; abstract model

nije evidentirano