crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 509692

Disertacija

Autor: Ban Kirigin, Tajana
Naslov: Computational complexity of collaborative systems with nonce creation
Vrsta: doktorska disertacija
Fakultet: Prirodoslovno-matematički fakultet, Matematički odjel
Sveučilište: Sveučilište u Zagrebu
Mjesto: Zagreb
Datum: 21.2.
Godina: 2011
Stranica: 139
Mentor: Scedrov, Andre
Neposredni voditelj: Šikić, Zvonimir
Ključne riječi: multiset rewriting; collaborative systems; confidentiality; nonce; complexity; linear logic; protocol security; Dolev-Yao intruder
Sažetak:
In this thesis we consider existing models for collaborative systems with confidentiality policies. We extend these systems with nonce creation. We also consider a restriction that each instance of an action is used at most once in a process. Administrative processes usually involve such progressing behavior, that is, whenever a transaction is performed, it does not need to be repeated. We investigate the complexity of the decision problem whether there exists a sequence of transitions from an initial state to a final state that avoids any critical states, e.g., states which conflict with the given confidentiality policies. Collaborative systems allow modeling of the protocols and the relevant security problems. We model systems with limited resources to allow a new view on the standard Dolev-Yao intruder, namely, an intruder with bounded memory. The power of such an intruder is analyzed.
Projekt / tema: 120-1203164-3074, 009-0091328-0941
Izvorni jezik: ENG
Znanstvena područja:
Matematika,Filozofija
Puni text rada: 509692.phd_TBK_feb.pdf (tekst priložen 23. Stu. 2011. u 14:43 sati)
Upisao u CROSBI: bank@uniri.hr (bank@uniri.hr), 10. Tra. 2011. u 12:52 sati
Napomene:
naslov na hrvatskom jeziku: Složenost u sustavima suradnje koji mogu generirati nove vrijednosti



Verzija za printanje   za tiskati


upomoc
foot_4