<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Typed Model for Dynamic Authorizations"^^ . "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 pi-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."^^ . "2015" . . "203" . . "Open Publishing Association"^^ . . . "Electronic Proceedings in Theoretical Computer Science"^^ . . . "20752180" . . . . . . . . . . . . . . . . . . . "Hugo"^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "Silvia"^^ . "Ghilezan"^^ . "Silvia Ghilezan"^^ . . "Jorge A."^^ . "Pérez"^^ . "Jorge A. Pérez"^^ . . "Jovanka"^^ . "Pantović"^^ . "Jovanka Pantović"^^ . . "Svetlana"^^ . "Jakšić"^^ . "Svetlana Jakšić"^^ . . . . . . "A Typed Model for Dynamic Authorizations (PDF)"^^ . . . . . . "1602.03596.pdf"^^ . . . "A Typed Model for Dynamic Authorizations (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "A Typed Model for Dynamic Authorizations (Other)"^^ . . . . . . "preview.jpg"^^ . . . "A Typed Model for Dynamic Authorizations (Other)"^^ . . . . . . "medium.jpg"^^ . . . "A Typed Model for Dynamic Authorizations (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #3690 \n\nA Typed Model for Dynamic Authorizations\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .