Napredna pretraga

Pregled bibliografske jedinice broj: 839557

Collaborative Systems with Nonce Updates


Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Collaborative Systems with Nonce Updates // NATO-ASI Information Security and Related Combinatorics
Opatija, HR, 2010. (predavanje, međunarodna recenzija, neobjavljeni rad, ostalo)


Naslov
Collaborative Systems with Nonce Updates

Autori
Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, neobjavljeni rad, ostalo

Skup
NATO-ASI Information Security and Related Combinatorics

Mjesto i datum
Opatija, HR, 31.5-11.6.2010

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

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.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Arhitektura i urbanizam, Brodogradnja



POVEZANOST RADA


Ustanove
Sveučilište u Rijeci - Odjel za matematiku

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