Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/4847
Pоljе DC-а | Vrеdnоst | Јеzik |
---|---|---|
dc.contributor.author | Gilezan, Silvia | en_US |
dc.contributor.author | Jakšić, Svetlana | en_US |
dc.contributor.author | Pantović, Jovanka | en_US |
dc.contributor.author | Pérez J. | en_US |
dc.contributor.author | Vieira H. | en_US |
dc.date.accessioned | 2019-09-30T08:42:35Z | - |
dc.date.available | 2019-09-30T08:42:35Z | - |
dc.date.issued | 2016-02-10 | - |
dc.identifier.issn | 20752180 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/4847 | - |
dc.description.abstract | © Ghilezan, Jakšić, Pantović, Pérez, Vieira. Security requirements in distributed software systems are inherently dynamic. In the case of authorization policies, resources are meant to be accessed only by authorized parties, but the authorization to access a resource may be dynamically granted/yielded. We describe ongoing work on a model for specifying communication and dynamic authorization handling. We build upon the π-calculus so as to enrich communication-based systems with authorization specification and delegation; here authorizations regard channel usage and delegation refers to the act of yielding an authorization to another party. Our model includes: (i) a novel scoping construct for authorization, which allows to specify authorization boundaries, and (ii) communication primitives for authorizations, which allow to pass around authorizations to act on a given channel. An authorization error may consist in, e.g., performing an action along a name which is not under an appropriate authorization scope. We introduce a typing discipline that ensures that processes never reduce to authorization errors, even when authorizations are dynamically delegated. | en |
dc.relation.ispartof | Electronic Proceedings in Theoretical Computer Science, EPTCS | en |
dc.title | A typed model for dynamic authorizations | en_US |
dc.type | Conference Paper | en_US |
dc.identifier.doi | 10.4204/EPTCS.203.6 | - |
dc.identifier.scopus | 2-s2.0-84992670255 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/84992670255 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 84 | en |
dc.relation.firstpage | 73 | en |
dc.relation.volume | 203 | en |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
crisitem.author.dept | Fakultet tehničkih nauka, Departman za opšte discipline u tehnici | - |
crisitem.author.dept | Fakultet tehničkih nauka, Departman za opšte discipline u tehnici | - |
crisitem.author.dept | Fakultet tehničkih nauka, 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 | - |
Nаlаzi sе u kоlеkciјаmа: | FTN Publikacije/Publications |
SCOPUSTM
Nаvоđеnjа
2
prоvеrеnо 10.05.2024.
Prеglеd/i stаnicа
45
Prоtеklа nеdеljа
11
11
Prоtеkli mеsеc
0
0
prоvеrеnо 10.05.2024.
Google ScholarTM
Prоvеritе
Аlt mеtrikа
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.