Napredna pretraga

Pregled bibliografske jedinice broj: 509692

Computational complexity of collaborative systems with nonce creation


Ban Kirigin, Tajana
Computational complexity of collaborative systems with nonce creation 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb


Naslov
Computational complexity of collaborative systems with nonce creation

Autori
Ban Kirigin, Tajana

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija

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

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.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Filozofija

Napomena
Naslov na hrvatskom jeziku: Složenost u sustavima suradnje koji mogu generirati nove vrijednosti



POVEZANOST RADA


Projekt / tema
009-0091328-0941 - Logika i stvarnost (Majda Trobok, )
120-1203164-3074 - Matematička logika i primjene (Zvonimir Šikić, )

Ustanove
Filozofski fakultet, Rijeka,
Prirodoslovno-matematički fakultet, Zagreb,
Fakultet strojarstva i brodogradnje, Zagreb,
Sveučilište u Rijeci - Odjel za matematiku

Autor s matičnim brojem:
Tajana Ban-Kirigin, (229313)