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: 839557

Zbornik radova

Autori: Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Naslov: Collaborative Systems with Nonce Updates
Izvornik:
Skup: NATO-ASI Information Security and Related Combinatorics
Mjesto i datum: Opatija, HR, 31.5-11.6.2010.
Ključne riječi: multiset rewriting; collaborative systems; nonce; complexity
Sažetak:
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.
Vrsta sudjelovanja: Predavanje
Vrsta prezentacije u zborniku: Nije objavljen
Vrsta recenzije: Međunarodna recenzija
Izvorni jezik: ENG
Kategorija: Ostalo
Znanstvena područja:
Matematika,Arhitektura i urbanizam,Brodogradnja
Upisao u CROSBI: Tajana Ban Kirigin (bank@math.uniri.hr), 18. Lis. 2016. u 12:45 sati



Verzija za printanje   za tiskati


upomoc
foot_4