Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 474332

Neodlučivost kriptografskih protokola

Popović, Siniša
Neodlučivost kriptografskih protokola, 2001., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb, Hrvatska

CROSBI ID: 474332 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Neodlučivost kriptografskih protokola
(Undecidability of cryptographic protocols)

Autori
Popović, Siniša

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Prirodoslovno-matematički fakultet - Matematički odjel

Mjesto
Zagreb, Hrvatska

Datum
30.11

Godina
2001

Stranica
63

Mentor
Rosenzweig, Dean

Ključne riječi
neodlučivost; kriptografski protokol; Hornove klauzule; Turingov stroj; problem zaustavljanja
(undecidability; cryptographic protocol; Horn clauses; Turing machine; halting problem)

Sažetak
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.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika, Računarstvo



POVEZANOST RADA

Ustanove:
Prirodoslovno-matematički fakultet, Zagreb

Profili:

Avatar Url Dean Rosenzweig (mentor)

Avatar Url Siniša Popović (autor)

Citiraj ovu publikaciju:

Popović, Siniša
Neodlučivost kriptografskih protokola, 2001., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb, Hrvatska
Popović, S. (2001) 'Neodlučivost kriptografskih protokola', diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb, Hrvatska.
@phdthesis{phdthesis, author = {Popovi\'{c}, Sini\v{s}a}, year = {2001}, pages = {63}, keywords = {neodlu\v{c}ivost, kriptografski protokol, Hornove klauzule, Turingov stroj, problem zaustavljanja}, title = {Neodlu\v{c}ivost kriptografskih protokola}, keyword = {neodlu\v{c}ivost, kriptografski protokol, Hornove klauzule, Turingov stroj, problem zaustavljanja}, publisherplace = {Zagreb, Hrvatska} }
@phdthesis{phdthesis, author = {Popovi\'{c}, Sini\v{s}a}, year = {2001}, pages = {63}, keywords = {undecidability, cryptographic protocol, Horn clauses, Turing machine, halting problem}, title = {Undecidability of cryptographic protocols}, keyword = {undecidability, cryptographic protocol, Horn clauses, Turing machine, halting problem}, publisherplace = {Zagreb, Hrvatska} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.