Authors: Ghilezan, Silvia 
Jakšić, Svetlana
Pantović, Jovanka
Pérez, Jorge
Vieira, Hugo Torres
Title: Dynamic role authorization in multiparty conversations
Journal: Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume: 162
First page: 1
Last page: 8
Conference: 3rd Workshop on Behavioural Types, BEAT 2014; Rome; Italy; 1 September 2014
Issue Date: 1-Jan-2014
ISSN: 2075-2180
DOI: 10.4204/EPTCS.162.1
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 previouswork 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.
Publisher: Open Publishing Association

Show full item record


checked on Jul 17, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.