Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/4847
Title: | A typed model for dynamic authorizations | Authors: | Gilezan, Silvia Jakšić, Svetlana Pantović, Jovanka Pérez J. Vieira H. |
Issue Date: | 10-Feb-2016 | Journal: | Electronic Proceedings in Theoretical Computer Science, EPTCS | 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. | URI: | https://open.uns.ac.rs/handle/123456789/4847 | ISSN: | 20752180 | DOI: | 10.4204/EPTCS.203.6 |
Appears in Collections: | FTN Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
2
checked on May 3, 2024
Page view(s)
45
Last Week
11
11
Last month
0
0
checked on May 3, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.