Neodlučivost kriptografskih protokola (CROSBI ID 359822)
Ocjenski rad | diplomski rad
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