eprintid: 2720
rev_number: 7
eprint_status: archive
userid: 59
dir: disk0/00/00/27/20
datestamp: 2015-06-26 12:53:49
lastmod: 2015-06-30 08:21:38
status_changed: 2015-06-26 12:53:49
type: article
succeeds: 2321
metadata_visibility: show
creators_name: Ghilezan, Silvia
creators_name: Jakšić, Svetlana
creators_name: Pantović, Jovanka
creators_name: Pérez, Jorge A.
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: Dynamic role authorization in multiparty conversations
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: Proceedings of the Third Workshop on Behavioural Types (BEAT 2014, Rome, Italy, 1st September 2014
abstract: 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.
date: 2014
series: Electronic Proceedings in Theoretical Computer Science
publication: Electronic Proceedings in Theoretical Computer Science
volume: 162
publisher: Open Publishing Association
pagerange: 1-8
event_title: \rm Proceedings Third Workshop on Behavioural Types, \rm Rome, Italy, 1st September 2014
id_number: 10.4204/EPTCS.162.1
refereed: TRUE
issn: 2075-2180
official_url: http://eptcs.web.cse.unsw.edu.au/paper.cgi?BEAT2014.1
citation:   Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo   Dynamic role authorization in multiparty conversations.  Electronic Proceedings in Theoretical Computer Science, 162.  pp. 1-8.  ISSN 2075-2180      (2014)  
document_url: http://eprints.imtlucca.it/2720/1/TorresVieira_BEAT14.pdf