eprintid: 2319
rev_number: 9
eprint_status: archive
userid: 59
dir: disk0/00/00/23/19
datestamp: 2014-10-09 13:26:39
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-09 13:26:39
type: book_section
metadata_visibility: show
creators_name: Baltazar, Pedro
creators_name: Caires, Luis
creators_name: Vasconcelos, Vasco Thudichum
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: A type system for flexible role assignment in multiparty communicating systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
abstract: Communication protocols in distributed systems often specify the roles of the parties involved in the communications, namely for enforcing security policies or task assignment purposes. Ensuring that implementations follow role-based protocol specifications is challenging, especially in scenarios found, e.g., in business processes and web applications, where multiple peers are involved, single peers impersonate several roles, or single roles are carried out by several peers. We present a type-based analysis for statically verifying role-based multi-party interactions, based on a simple π-calculus model and prior work on conversation types. Our main result ensures that well-typed systems follow the role-based protocols prescribed by the types, including systems where roles are flexibly assigned to processes.
date: 2013
series: Lecture Notes in Computer Science
number: 8191
publisher: Springer
pagerange: 82-96
id_number: 10.1007/978-3-642-41157-1_6
refereed: TRUE
isbn: 978-3-642-41157-1
book_title: Trustworthy Global Computing
official_url: http://dx.doi.org/10.1007/978-3-642-41157-1_6
citation:   Baltazar, Pedro and Caires, Luis and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo   A type system for flexible role assignment in multiparty communicating systems.   In:  Trustworthy Global Computing.   Lecture Notes in Computer Science  (8191).  Springer, pp. 82-96.  ISBN 978-3-642-41157-1      (2013)  
document_url: http://eprints.imtlucca.it/2319/1/TorresVieira_LNCS_8191.pdf