Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/15610
Поље DC-а | Вредност | Језик |
---|---|---|
dc.contributor.author | Dezani-Ciancaglini M. | en |
dc.contributor.author | Gilezan, Silvia | en |
dc.contributor.author | Jakšić, Svetlana | en |
dc.contributor.author | Pantović, Jovanka | en |
dc.date.accessioned | 2020-03-03T15:00:38Z | - |
dc.date.available | 2020-03-03T15:00:38Z | - |
dc.date.issued | 2011-06-01 | en |
dc.identifier.isbn | 9783642207747 | en |
dc.identifier.issn | 3029743 | en |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/15610 | - |
dc.description.abstract | We introduce a role-based access control calculus for modelling dynamic web data and a corresponding type system. It is an extension of the Xdπ calculus proposed by Gardner and Maffeis. In our framework, a network is a parallel composition of locations, where each location contains processes with roles and a data tree whose edges are associated with roles. Processes can communicate, migrate from a location to another, use the data, change the data and the roles in the local tree. In this way, we obtain a model that controls process access to data. We propose a type system which ensures that a specified network policy is respected during computations. Finally, we show that our calculus obeys the following security properties: (1) all data trees and processes with roles in a location agree with the location policy; (2) a process can migrate only to a location with whose policy it agrees; (3) a process with roles can read and modify only data which are accessible to it; (4) a process with roles can enable and disable roles in agreement with the location policy. © 2011 Springer-Verlag. | en |
dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
dc.title | Types for role-based access control of dynamic web data | en |
dc.type | Conference Paper | en |
dc.identifier.doi | 10.1007/978-3-642-20775-4_1 | en |
dc.identifier.scopus | 2-s2.0-79957610787 | en |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/79957610787 | en |
dc.relation.lastpage | 29 | en |
dc.relation.firstpage | 1 | en |
dc.relation.volume | 6559 LNCS | en |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
crisitem.author.dept | Departman za opšte discipline u tehnici | - |
crisitem.author.dept | Departman za opšte discipline u tehnici | - |
crisitem.author.dept | Departman za opšte discipline u tehnici | - |
crisitem.author.orcid | 0000-0003-2253-8285 | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
Налази се у колекцијама: | FTN Publikacije/Publications |
SCOPUSTM
Навођења
10
проверено 09.09.2023.
Преглед/и станица
46
Протекла недеља
10
10
Протекли месец
0
0
проверено 10.05.2024.
Google ScholarTM
Проверите
Алт метрика
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.