Dynamic Role Authorization in Multiparty Conversations
Protocol specifications often identify the roles involved in communications. In multiparty protocols that involve task delegation it is often useful to consider settings in which different sites may act on behalf of a single role. It is then crucial to control the roles that the different parties ar...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2014-08-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1408.5977v1 |
_version_ | 1811308099713105920 |
---|---|
author | Silvia Ghilezan Svetlana Jakšić Jovanka Pantović Jorge A. Pérez Hugo Torres Vieira |
author_facet | Silvia Ghilezan Svetlana Jakšić Jovanka Pantović Jorge A. Pérez Hugo Torres Vieira |
author_sort | Silvia Ghilezan |
collection | DOAJ |
description | Protocol specifications often identify the roles involved in communications. In multiparty protocols that involve task delegation it is often useful to consider settings in which different sites may act on behalf of a single role. It is then crucial to control the roles that the different parties are authorized to represent, including the case in which role authorizations are determined only at runtime. Building on previous work on conversation types with flexible role assignment, here we report initial results on a typed framework for the analysis of multiparty communications with dynamic role authorization and delegation. In the underlying process model, communication prefixes are annotated with role authorizations and authorizations can be passed around. We extend the conversation type system so as to statically distinguish processes that never incur in authorization errors. The proposed static discipline guarantees that processes are always authorized to communicate on behalf of an intended role, also covering the case in which authorizations are dynamically passed around in messages. |
first_indexed | 2024-04-13T09:16:04Z |
format | Article |
id | doaj.art-d933a5e035b44d61b3100f3db1701b4a |
institution | Directory Open Access Journal |
issn | 2075-2180 |
language | English |
last_indexed | 2024-04-13T09:16:04Z |
publishDate | 2014-08-01 |
publisher | Open Publishing Association |
record_format | Article |
series | Electronic Proceedings in Theoretical Computer Science |
spelling | doaj.art-d933a5e035b44d61b3100f3db1701b4a2022-12-22T02:52:44ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-08-01162Proc. BEAT 20141810.4204/EPTCS.162.1:8Dynamic Role Authorization in Multiparty ConversationsSilvia Ghilezan0Svetlana Jakšić1Jovanka Pantović2Jorge A. Pérez3Hugo Torres Vieira4 Univerzitet u Novom Sadu, Serbia Univerzitet u Novom Sadu, Serbia Univerzitet u Novom Sadu, Serbia University of Groningen, The Netherlands LaSIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal Protocol specifications often identify the roles involved in communications. In multiparty protocols that involve task delegation it is often useful to consider settings in which different sites may act on behalf of a single role. It is then crucial to control the roles that the different parties are authorized to represent, including the case in which role authorizations are determined only at runtime. Building on previous work on conversation types with flexible role assignment, here we report initial results on a typed framework for the analysis of multiparty communications with dynamic role authorization and delegation. In the underlying process model, communication prefixes are annotated with role authorizations and authorizations can be passed around. We extend the conversation type system so as to statically distinguish processes that never incur in authorization errors. The proposed static discipline guarantees that processes are always authorized to communicate on behalf of an intended role, also covering the case in which authorizations are dynamically passed around in messages.http://arxiv.org/pdf/1408.5977v1 |
spellingShingle | Silvia Ghilezan Svetlana Jakšić Jovanka Pantović Jorge A. Pérez Hugo Torres Vieira Dynamic Role Authorization in Multiparty Conversations Electronic Proceedings in Theoretical Computer Science |
title | Dynamic Role Authorization in Multiparty Conversations |
title_full | Dynamic Role Authorization in Multiparty Conversations |
title_fullStr | Dynamic Role Authorization in Multiparty Conversations |
title_full_unstemmed | Dynamic Role Authorization in Multiparty Conversations |
title_short | Dynamic Role Authorization in Multiparty Conversations |
title_sort | dynamic role authorization in multiparty conversations |
url | http://arxiv.org/pdf/1408.5977v1 |
work_keys_str_mv | AT silviaghilezan dynamicroleauthorizationinmultipartyconversations AT svetlanajaksic dynamicroleauthorizationinmultipartyconversations AT jovankapantovic dynamicroleauthorizationinmultipartyconversations AT jorgeaperez dynamicroleauthorizationinmultipartyconversations AT hugotorresvieira dynamicroleauthorizationinmultipartyconversations |