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

Zbornik radova

Autori: Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Naslov: Progressing Collaborative Systems
Izvornik:
Skup: Workshop on Foundations of Security and Privacy (FCS-PrivMod 2010)
Mjesto i datum: Edinburg, Velika Britanija, 14.-15.07.2010.
Ključne riječi: collaborative systems; critical configurations; policy compliance; multiset rewriting; complexity; model checking; linear logic
Sažetak:
This paper builds on existing models for collaborative systems with confidentiality policies. The actions in these models are balanced, namely, they have an equal number of facts in their pre- and postconditions. Here we consider a further 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. We show that this problem is NP-complete when balanced actions do not involve fresh values and when the system is progressing. The same problem is shown to be PSPACE-complete when the system is not progressing, and PSPACE-hard when the system is progressing, but when actions may update values with fresh ones. The bounds hold even when balanced actions change only one fact in a configuration. We implement some examples in logic-based verification tools and model-check that they comply with certain policies.
Vrsta sudjelovanja: Predavanje
Vrsta prezentacije u zborniku: PP prezentacija
Vrsta recenzije: Međunarodna recenzija
Projekt / tema: 009-0091328-0941
Izvorni jezik: ENG
Kategorija: Znanstveni
Znanstvena područja:
Matematika
Puni text rada: 463895.fcs-PrivMod.pdf (tekst priložen 5. Lis. 2010. u 08:56 sati)
Upisao u CROSBI: trobok@ffri.hr (trobok@ffri.hr), 7. Tra. 2010. u 11:23 sati
Napomene:
http://www.loria.fr/~cortier/FCS-PrivMod10/



Verzija za printanje   za tiskati


upomoc
foot_4