Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Neodlučivost kriptografskih protokola (CROSBI ID 359822)

Ocjenski rad | diplomski rad

Popović, Siniša Neodlučivost kriptografskih protokola / Rosenzweig, Dean (mentor); Zagreb, Hrvatska, Prirodoslovno-matematički fakultet, Zagreb, . 2001

Podaci o odgovornosti

Popović, Siniša

Rosenzweig, Dean

hrvatski

Neodlučivost kriptografskih protokola

U radu je proveden dokaz neodlučivosti određene klase kriptografskih protokola. Dokaz je proveden u dva koraka - prvo se pokazuje neodlučivost određene teorije Hornovih klauzula primjenom problema zaustavljanja, a zatim se pokazuje da se promatrana klasa kriptografskih protokola može kodirati u okviru dotične teorije Hornovih klauzula.

neodlučivost; kriptografski protokol; Hornove klauzule; Turingov stroj; problem zaustavljanja

nije evidentirano

engleski

Undecidability of cryptographic protocols

nije evidentirano

undecidability; cryptographic protocol; Horn clauses; Turing machine; halting problem

nije evidentirano

Podaci o izdanju

63

30.11.2001.

obranjeno

Podaci o ustanovi koja je dodijelila akademski stupanj

Prirodoslovno-matematički fakultet, Zagreb

Zagreb, Hrvatska

Povezanost rada

Računarstvo, Matematika