Hrvatska znanstvena bibliografija (CROSBI)



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